Но упёрся в откровенную нелогичность логики предикатов первого порядка.
Вроде разобрался, но есть маленькая неприятность - подскажите, пожалуйста, чем можно заменить универсальную алгебру - при построении интерпретаций.
а зачем её менять? просто используйте свою реализацию этой алгебры.
Если есть непонятные слова - спросите учительницу математики в любой средней школе.
слова-то понятны. только я смысла не вижу. извольте конкретизировать.
1. ассоциативная алгебра
2. абстрактная алгебра
3. ??????
4. profit
а зачем её менять? просто используйте свою реализацию этой алгебры.
слова-то понятны. только я смысла не вижу. извольте конкретизировать.
Уважаемые коллеги!
Благодарю за вашу самоотверженную готовность отвечать на тупые вопросы - это дорогого стоит!
В знак моей признательности, и не сочтите за очередную неучтивость,
позвольте вам сообщить о существовании теоремы Стоуна, которую в хорошем пту на первом курсе сообщают,
об изоморфизме универсальной алгебры и "сообразной случаю" алгебры множеств. Точка.
Поспешу конкретизировать: разницу между алгеброй множеств и теорией множеств
объяснит училка по математике в средней школе. А именно - АМ - полная и непротиворечивая система.
Обеспечивающая для логики высказываний и логики одноместных предикатов, а практикующему программисту больше ведь и не надо (?!),
работать, не опасаясь ни влететь в логический парадокс, ни в бесконечный цикл интерпретатора на ровном месте.
В отличие от прологов, дейталогов, и прочей популистской шняги.
Мдя! Пока формулировал ответ, хотел было пошутить про "бгг из-под фейспалма".
Но в процессе осмысления ситуации стало настолько грустно, что шутить - не хочется.
И о ЧСВ и речи нет - мне действительно грусто. Рассчитывал на гораздо большее.
Да, вот такая я сволочь и провокатор, но хочется же иногда и со знающими людьми пообщаться.
Впредь постараюсь сдерживать свои желания.
drBatty
Продолжим наш поход!
Про программирование - тему закрыли, за бесполезностью. А вот с лирикой - если вас не затруднит, и найдется свободная минутка:
к Игорю Растеряеву какое ваше отношение?
Уважаемые коллеги!
Благодарю за вашу самоотверженную готовность отвечать на тупые вопросы - это дорогого стоит!
В знак моей признательности, и не сочтите за очередную неучтивость,
позвольте вам сообщить о существовании теоремы Стоуна, которую в хорошем пту на первом курсе сообщают,
об изоморфизме универсальной алгебры и "сообразной случаю" алгебры множеств. Точка.
Поспешу конкретизировать: разницу между алгеброй множеств и теорией множеств
объяснит училка по математике в средней школе. А именно - АМ - полная и непротиворечивая система.
Обеспечивающая для логики высказываний и логики одноместных предикатов, а практикующему программисту больше ведь и не надо (?!),
работать, не опасаясь ни влететь в логический парадокс, ни в бесконечный цикл интерпретатора на ровном месте.
В отличие от прологов, дейталогов, и прочей популистской шняги.
Мдя! Пока формулировал ответ, хотел было пошутить про "бгг из-под фейспалма".
Но в процессе осмысления ситуации стало настолько грустно, что шутить - не хочется.
И о ЧСВ и речи нет - мне действительно грусто. Рассчитывал на гораздо большее.
фуга идеарум
Ещё склонность к истерике явно выражена.фуга идеарум
к Игорю Растеряеву какое ваше отношение?
впервые слышу.
нагуглил
@SunlightyMusic
дурак ты.
784563 1 день назад
Вы не могли бы тоже ответить на вопрос про Игоря Растеряева - как вы относитесь к его песням?
никак не отношусь
в настоящее время я слушаю Free
и пытаюсь компилить иксы в gentoo
дурацкое занятие...
Вы не могли бы тоже ответить на вопрос про Игоря Растеряева - как вы относитесь к его песням?
Хто такой?
P.S. В гугле забанен :P
Хто такой?
на ютубе тоже? идите, послушайте... Я не знаток, по моему мнению - х-ня какая-то...
по моему мнению - х-ня какая-то...
+100500
Благодарю всех-всех-всех за реплики и содержательные ответы!
А напоследок - было очень забавно, когда "специалисты", вместо того, чтобы уточнить формулировку теоремы Стоуна, полезли смотреть на мальчика
с гармошкой. Спасибо, поржал! Всех с праздником!
И успехов в составлении пошаговых инструкций со скриншотами, и чтоб на русском!
А напоследок - было очень забавно, когда "специалисты", вместо того, чтобы уточнить формулировку теоремы Стоуна
я даже как-то и не пытался распарсить ваш бред. Всё равно никаких "мальчиков" там заведомо нету.
И успехов в составлении пошаговых инструкций со скриншотами, и чтоб на русском!
спасибо. когда книжка будет в продаже?
Всех с праздником!
Неофициальный праздник математиков.
Про Игоря, мне нравится песня, а точнее смысл, о Георгиевской ленте.
А, что про Стоуна, то кому интересно развивать дискуссию об уравнениях? И могу заметить, что совсем не стыдно теорему эту не знать и вообще в математике не разбираться.
Никогда не понимал людей, которые осведомлены в каком-то узком кругу знаний и этим гордятся и всем тыкают нос, что те этого, к их стыду не знают.
Кроме математики, к этому можно отнести историю, правда в интернете историей не потроллить в полную меру, с наличием гугла, но какой кайф это может доставить в нормальной повседневной жизни, где нет под рукой у глупого собеседника справочника. У всех есть недостатки и положительные черты. Нет дураков и умных. Глупо показывать свои недостатки, но еще хуже, в глазах других, показывать свои плюсы.
Смысл вышесказанного в том, что нет ничего умного в превосходстве.
drBatty
Но тем не менее, как вы любите выражаться - слив засчитан.
http://window.edu.ru/window/library?p_rid=59134 - вот тут есть, на русском языке, доспутное восьмикласснику.
Когда осилите - с удовольствием с вами поболтаю на предмет дальнейшего продвижения, что вам ещё стоит почитать.
Ну не посягаю я на ваш светлый образ - вы самый умный!!! Просто многого - не знаете. Так и на солнце есть пятна.
Sonic
Если доктор - математик, то я - чемпионка мира по танцам у шеста.
Теорема Стоуна была приведена в искажённой формулировке именно как провокация.
Если поинтересоваться предметом - то аналогом универсальной алгебры является алгебра кортежей. И если интересно, то это отдельный предметный разговор.
PS Отчего провокация - так практикующие программисты как правило и печатный текст легко воспринимают, и несуразности в нём видят.
Соответственно, для сложной технической системы требуется четырёхкратное дублирование каналов управления,
но в заурядном общении, чтобы выявить трепло и невежду - достаточно всего лишь трёх последовательных небольших искажений информации
в трёх последовательных постах.
Да расслабьтесь, ребята, у меня так сегодня профессиональный праздник, и выходной день.
tango, на все ответить не могу, не тот я собеседник, чтобы такими терминами сыпать. А вот вопросик задать хочу еще, почему именно _трех_ сообщений?
Sonic! Достаточно и одного, но для надёжности - три.
хрень
...2. абстрактная алгебра
...
хрень
Вы об этом?
Книжка с картинками, похожими на те, что рисовал Рассел Кроу в к/ф "Игры разума" - Фрид, Абстрактная алгебра, хороша и сама по себе,
и соответствующий курс читается первокурам. Но чаще при этом называется "Общая алгебра", или просто "Алгебра".
Расчитывать на то, что википедия выручит всегда, быстро и качественно - не стоит. Если долько для Дня Дурака - тогда нормально.
Чтобы повеселиться как следует, по примеру drBatty сделайте вид, что отвечали, "не читая чужой позорной писанины"!
Ещё раз всех с праздником!
