61

tango пишет:

Но упёрся в откровенную нелогичность логики предикатов первого порядка.
Вроде разобрался, но есть маленькая неприятность - подскажите, пожалуйста, чем можно заменить универсальную алгебру - при построении интерпретаций.

а зачем её менять? просто используйте свою реализацию этой алгебры.

tango пишет:

Если есть непонятные слова - спросите учительницу математики в любой средней школе.

слова-то понятны. только я смысла не вижу. извольте конкретизировать.

Карусель разнесло по цепочке за час
Всех известий — конец
Да, весна началась!
(всё к лицу подлецу, как родному отцу, не рассказывай, батя, и так всё пройдёт)

62

Termo пишет:

1. ассоциативная алгебра
2. абстрактная алгебра
3. ??????
4. profit

drBatty пишет:

а зачем её менять? просто используйте свою реализацию этой алгебры.

drBatty пишет:

слова-то понятны. только я смысла не вижу. извольте конкретизировать.

Уважаемые коллеги!
Благодарю за вашу самоотверженную готовность отвечать на тупые вопросы - это дорогого стоит!
В знак моей признательности, и не сочтите за очередную неучтивость,
позвольте вам сообщить о существовании теоремы Стоуна, которую в хорошем пту на первом курсе сообщают,
об изоморфизме универсальной алгебры и "сообразной случаю" алгебры множеств. Точка.
Поспешу конкретизировать: разницу между алгеброй множеств и теорией множеств
объяснит училка по математике в средней школе. А именно - АМ - полная и непротиворечивая система.
Обеспечивающая для логики высказываний и логики одноместных предикатов, а практикующему программисту больше ведь и не надо (?!),
работать, не опасаясь ни влететь в логический парадокс, ни в бесконечный цикл интерпретатора на ровном месте.
В отличие от прологов, дейталогов, и прочей популистской шняги.
Мдя! Пока формулировал ответ, хотел было пошутить про "бгг из-под фейспалма".
Но в процессе осмысления ситуации стало настолько грустно, что шутить - не хочется.
И о ЧСВ и речи нет - мне действительно грусто. Рассчитывал на гораздо большее.

Я - дурак официально, у меня и справка есть.
С печатями.
А ssd - такой же расходник, как и батарейка для ночного прицела.

63

Да, вот такая я сволочь и провокатор, но хочется же иногда и со знающими людьми пообщаться.
Впредь постараюсь сдерживать свои желания.

Я - дурак официально, у меня и справка есть.
С печатями.
А ssd - такой же расходник, как и батарейка для ночного прицела.

64

+ открыть спойлер

Каков вопрос, таков ответ
Какая боль, такая радуга, такая радуга
Да будет свят Господь распят
Да будет свет, да будет облако, да будет яблоко

На неведомой поляне тает одуванчик
А в оскаленном сердце зреет...

Невыносимая легкость бытия
Невыносимая легкость бытия
Невыносимая легкость бытия
Невыносимая легкость бытия

Кроты гудят, кроты плывут
В сырой земле тепло и солнечно, легко и солнечно
Звезда чадит, звезда поет, звезда горит
Шальная весточка, слепая ласточка

На израненной ладони сохнет подорожник
А в разорванной глотке зреет...

Невыносимая легкость бытия
Невыносимая легкость бытия
Невыносимая легкость бытия
Невыносимая легкость бытия

По пустым полям, по сухим морям
По родной грязи, по весенней живой воде
По земной глуши, по небесной лжи
По хмельной тоске и смерительным бинтам

По печной золе, по гнилой листве
По святым хлебам и оскаленным капканам
По своим следам, по своим слезам
По своей вине, да по вольной своей крови

Лишь одна дорожка, да на всей Земле
Лишь одна тебе тропинка -
Твой белый свет, весь твой белый свет
Твой белый свет, весь твой белый свет

Небо злых ветров, золотых дождей
Ядовитых зорь и отравленных ручьев
Мимо пышных фраз, мимо лишних нас
Заводных зверей и резиновых подруг

Мимо потных лбов, мимо полных ртов
Мимо жадных глаз и распахнутых объятий
Сквозь степной бурьян, сквозь хмельной туман
Проливным огнем по кромешной синеве

Лишь одна дорожка, да на всей Земле
Лишь одна тебе тропинка -
Твой белый свет, весь твой белый свет
Твой белый свет, весь твой белый свет

Ни смолистых дров, ни целебных трав
Ни кривых зеркал, ни прямых углов
Ни колючих роз, ни гремучих гроз
Ни дремучих снов, ни помойных ям

Никаких обид, никаких преград
Никаких невзгод, никаких соплей
Никаких грехов, никаких богов
Никакой судьбы, никакой надежды

Лишь одна дорожка, да на всей Земле
Лишь одна тебе тропинка -
Твой белый свет, весь твой белый свет
Твой белый свет, весь твой белый свет

Солдат устал, солдат уснул, солдат остыл
Горячий камешек, багряный колышек
Кому - медаль, кому - костыль, кому - постель
Колеса вертятся, колеса катятся
Катятся, катятся прочь

На покинутой планете стынет колокольчик
А в обугленном небе зреет...

Невыносимая легкость бытия
Невыносимая легкость бытия
Невыносимая легкость бытия
Невыносимая легкость бытия

Карусель разнесло по цепочке за час
Всех известий — конец
Да, весна началась!
(всё к лицу подлецу, как родному отцу, не рассказывай, батя, и так всё пройдёт)

65

drBatty
Продолжим наш поход!
Про программирование - тему закрыли, за бесполезностью. А вот с лирикой - если вас не затруднит, и найдется свободная минутка:
к Игорю Растеряеву какое ваше отношение?

Я - дурак официально, у меня и справка есть.
С печатями.
А ssd - такой же расходник, как и батарейка для ночного прицела.

66

tango пишет:

Уважаемые коллеги!
Благодарю за вашу самоотверженную готовность отвечать на тупые вопросы - это дорогого стоит!
В знак моей признательности, и не сочтите за очередную неучтивость,
позвольте вам сообщить о существовании теоремы Стоуна, которую в хорошем пту на первом курсе сообщают,
об изоморфизме универсальной алгебры и "сообразной случаю" алгебры множеств. Точка.
Поспешу конкретизировать: разницу между алгеброй множеств и теорией множеств
объяснит училка по математике в средней школе. А именно - АМ - полная и непротиворечивая система.
Обеспечивающая для логики высказываний и логики одноместных предикатов, а практикующему программисту больше ведь и не надо (?!),
работать, не опасаясь ни влететь в логический парадокс, ни в бесконечный цикл интерпретатора на ровном месте.
В отличие от прологов, дейталогов, и прочей популистской шняги.
Мдя! Пока формулировал ответ, хотел было пошутить про "бгг из-под фейспалма".
Но в процессе осмысления ситуации стало настолько грустно, что шутить - не хочется.
И о ЧСВ и речи нет - мне действительно грусто. Рассчитывал на гораздо большее.

фуга идеарум

ПатреГ не любит Gnome...

67

Termo пишет:

фуга идеарум

Ещё склонность к истерике явно выражена.
Вы не могли бы тоже ответить на вопрос про Игоря Растеряева - как вы относитесь к его песням?

Я - дурак официально, у меня и справка есть.
С печатями.
А ssd - такой же расходник, как и батарейка для ночного прицела.

68

tango пишет:

к Игорю Растеряеву какое ваше отношение?

впервые слышу.
нагуглил

@SunlightyMusic

дурак ты.
784563 1 день назад

http://www.youtube.com/watch?v=NdTMa1r_RR4

Карусель разнесло по цепочке за час
Всех известий — конец
Да, весна началась!
(всё к лицу подлецу, как родному отцу, не рассказывай, батя, и так всё пройдёт)

69

tango пишет:

Вы не могли бы тоже ответить на вопрос про Игоря Растеряева - как вы относитесь к его песням?

никак не отношусь
в настоящее время я слушаю Free
и пытаюсь компилить иксы в gentoo
дурацкое занятие...

ПатреГ не любит Gnome...

70

tango пишет:

Вы не могли бы тоже ответить на вопрос про Игоря Растеряева - как вы относитесь к его песням?

Хто такой?
P.S. В гугле забанен ae

71

Klim пишет:

Хто такой?

на ютубе тоже? идите, послушайте... Я не знаток, по моему мнению - х-ня какая-то...

Карусель разнесло по цепочке за час
Всех известий — конец
Да, весна началась!
(всё к лицу подлецу, как родному отцу, не рассказывай, батя, и так всё пройдёт)

72

drBatty пишет:

по моему мнению - х-ня какая-то...

+100500

73

Благодарю всех-всех-всех за реплики и содержательные ответы!
А напоследок - было очень забавно, когда "специалисты", вместо того, чтобы уточнить формулировку теоремы Стоуна, полезли смотреть на мальчика
с гармошкой. Спасибо, поржал! Всех с праздником!
И успехов в составлении пошаговых инструкций со скриншотами, и чтоб на русском!

Я - дурак официально, у меня и справка есть.
С печатями.
А ssd - такой же расходник, как и батарейка для ночного прицела.

74

tango пишет:

А напоследок - было очень забавно, когда "специалисты", вместо того, чтобы уточнить формулировку теоремы Стоуна

я даже как-то и не пытался распарсить ваш бред. Всё равно никаких "мальчиков" там заведомо нету.

tango пишет:

И успехов в составлении пошаговых инструкций со скриншотами, и чтоб на русском!

спасибо. когда книжка будет в продаже?

Карусель разнесло по цепочке за час
Всех известий — конец
Да, весна началась!
(всё к лицу подлецу, как родному отцу, не рассказывай, батя, и так всё пройдёт)

75

tango пишет:

Всех с праздником!

Неофициальный праздник математиков.

Про Игоря, мне нравится песня, а точнее смысл, о Георгиевской ленте.

А, что про Стоуна, то кому интересно развивать дискуссию об уравнениях? И могу заметить, что совсем не стыдно теорему эту не знать и вообще в математике не разбираться.
Никогда не понимал людей, которые осведомлены в каком-то узком кругу знаний и этим гордятся и всем тыкают нос, что те этого, к их стыду не знают.
Кроме математики, к этому можно отнести историю, правда в интернете историей не потроллить в полную меру, с наличием гугла, но какой кайф это может доставить в нормальной повседневной жизни, где нет под рукой у глупого собеседника справочника. У всех есть недостатки и положительные черты. Нет дураков и умных. Глупо показывать свои недостатки, но еще хуже, в глазах других, показывать свои плюсы.

Смысл вышесказанного в том, что нет ничего умного в превосходстве.

На мясокомбинате я работаю свиньёй.

76

drBatty
Но тем не менее, как вы любите выражаться - слив засчитан.
http://window.edu.ru/window/library?p_rid=59134 - вот тут есть, на русском языке, доспутное восьмикласснику.
Когда осилите - с удовольствием с вами поболтаю на предмет дальнейшего продвижения, что вам ещё стоит почитать.
Ну не посягаю я на ваш светлый образ - вы самый умный!!! Просто многого - не знаете. Так и на солнце есть пятна.

Sonic
Если доктор - математик, то я - чемпионка мира по танцам у шеста.
Теорема Стоуна была приведена в искажённой формулировке именно как провокация.
Если поинтересоваться предметом - то аналогом универсальной алгебры является алгебра кортежей. И если интересно, то это отдельный предметный разговор.

PS Отчего провокация - так практикующие программисты как правило и печатный текст легко воспринимают, и несуразности в нём видят.
Соответственно, для сложной технической системы требуется четырёхкратное дублирование каналов управления,
но в заурядном общении, чтобы выявить трепло и невежду - достаточно всего лишь трёх последовательных небольших искажений информации
в трёх последовательных постах.
Да расслабьтесь, ребята, у меня так сегодня профессиональный праздник, и выходной день.

Я - дурак официально, у меня и справка есть.
С печатями.
А ssd - такой же расходник, как и батарейка для ночного прицела.

77

tango, на все ответить не могу, не тот я собеседник, чтобы такими терминами сыпать. А вот вопросик задать хочу еще, почему именно _трех_ сообщений?

На мясокомбинате я работаю свиньёй.

78

Sonic! Достаточно и одного, но для надёжности - три.

Я - дурак официально, у меня и справка есть.
С печатями.
А ssd - такой же расходник, как и батарейка для ночного прицела.

79

CENSORED

ПатреГ не любит Gnome...

80

Termo пишет:

...2. абстрактная алгебра
...
CENSORED

Вы об этом?
Книжка с картинками, похожими на те, что рисовал Рассел Кроу в к/ф "Игры разума" - Фрид, Абстрактная алгебра, хороша и сама по себе,
и соответствующий курс читается первокурам. Но чаще при этом называется "Общая алгебра", или просто "Алгебра".
Расчитывать на то, что википедия выручит всегда, быстро и качественно - не стоит. Если долько для Дня Дурака - тогда нормально.
Чтобы повеселиться как следует, по примеру drBatty сделайте вид, что отвечали, "не читая чужой позорной писанины"!
Ещё раз всех с праздником!

Я - дурак официально, у меня и справка есть.
С печатями.
А ssd - такой же расходник, как и батарейка для ночного прицела.

81

tango пишет:

Ещё раз всех с праздником!

тебя мы за неделю поздравлять начали...
бгг

ПатреГ не любит Gnome...

82

tango пишет:

Ну не посягаю я на ваш светлый образ - вы самый умный!!! Просто многого - не знаете. Так и на солнце есть пятна.

я когда-нить говорил, что знаю всё? Не всё. Да и знать не хочу. А с вами теорему Стоуна я не буду обсуждать не поэтому. По другой причине: я не знаю, сможете-ли вы мне сказать, сколько будет x-- - --x, если x=17? Вот как решите эту сравнительно простенькую задачку, так и порассуждаем о более сложных вещах. Например о делении по модулю два.

tango пишет:

Если доктор - математик

я не математик. большинство разделов математики я благополучно забыл. Ибо - не нужно.

tango пишет:

но в заурядном общении, чтобы выявить трепло и невежду - достаточно всего лишь трёх последовательных небольших искажений информации
в трёх последовательных постах.

дык я уже после первого поста в ваш бред не вчитывался, и его не анализировал - ибо лень. вам интересно - анализируйте...

tango пишет:

Чтобы повеселиться как следует, по примеру drBatty сделайте вид, что отвечали, "не читая чужой позорной писанины"!

я особо не вчитывался. я вообще слабо воспринимаю псевдонаучный бред. мне его по делу много читать приходится. Знаете? Торсионные поля, теория жёлтого круга, доказательство теоремы Ферма... Её ведь до сих пор доказывают ac Если в ваших постах и есть какой-то смысл, то вы его от меня надёжно скрыли bx

Карусель разнесло по цепочке за час
Всех известий — конец
Да, весна началась!
(всё к лицу подлецу, как родному отцу, не рассказывай, батя, и так всё пройдёт)

83

Termo пишет:

тебя мы за неделю поздравлять начали...

Когда мы с вами перейдём на ты, дам более содержательный ответ. Не волнуйтесь - у меня профессиональная память. Будет вам конкретный ответец!
А пока - если вас не затруднит, потерпите. А если кратко - "соблюдай дистанцию на марше!"

drBatty пишет:

сколько будет x-- - --x, если x=17?

drBatty
Вот с этого и надо было начинать! А не ёрзать там, где вы ... ну, не буду терзать ранимую душу своими сомнениями в её ого-го-качествах.
Не, вы только не уходите никуда. Ну пожалуйста!
Наконец-то мы перешли к конкретному разговору. А то я уж беспокоится начал - куда я попал, приличное ли это место?!
Итак, поехали! Вот за такую дешёвку, а именно компайлерозависимый порядок вычисления подвыражений, и вылетают
с собеседования с дверью на шее. Даже те, кто, в отличие от вас, умеет топологически сортировать функционалы (частичные применения функций,
иначе говоря). Потому что нефиг гадить в исходном коде на Си подобными небрежностями.
Встречный вопрос: а в рамках функциональной или логической парадигмы можете своё выражение воспроизвести?
Вы только хладнокровие сохраняйте, ну хотя бы попробуйте его сохранять, и мы тут очень мило поразвлекаемся!

ЗЫ Извините, меня ждут водка и бабы, так что до завтра. Питаю искреннюю надежду, что с вами может быть интересно! Ну вы хотя бы попробуйте.
А то ж, ей-богу, как игрушку у ребёнка отнимете. А это - нехорошо будет.

Я - дурак официально, у меня и справка есть.
С печатями.
А ssd - такой же расходник, как и батарейка для ночного прицела.

84

tango пишет:

Итак, поехали! Вот за такую дешёвку, а именно компайлерозависимый порядок вычисления подвыражений, и вылетают
с собеседования с дверью на шее. Даже те, кто, в отличие от вас, умеет топологически сортировать функционалы (частичные применения функций,
иначе говоря).

и правильно вылетают. потому как умение и знание топологической сортировки IRL не нужно (в том смысле, что не нужно умение, а знание таки нужно конечно). Я вот - не умею, но знаю. При желании, открою умную книжку, и сумею  ae

tango пишет:

Встречный вопрос: а в рамках функциональной или логической парадигмы можете своё выражение воспроизвести?

в рамках ЯП C конечно.

И вы не поняли мой вопрос - я не спрашивал "можно/нельзя", всем известно, что нельзя. Я спрашивал сколько будет, и почему получается именно столько?. То, что нельзя - всем известно. Сколько получится - любой может посчитать. Вопрос: почему-же?

Карусель разнесло по цепочке за час
Всех известий — конец
Да, весна началась!
(всё к лицу подлецу, как родному отцу, не рассказывай, батя, и так всё пройдёт)

85

Водки было в самый раз - но девки страшны-и-и-ие! Не только утечка мозгов происходит - но и красивых девок тоже.
Ну и надо бы сделать некоторую отбивку в треде - drBatty,
называть вас [нецензурная лексика и оскорбление] не вижу ни малейшей причины, это во-первых (ну и вы просто не слышали, как меня мои бывшие жёны называют, особено в суде),
а если по существу проблеы - то в рамках ЛП предлагаю Пролог, а для ФП - Хаскель.  Императивщина - Си.Возможно, что экзерцис будет занятен.
Как вам возможность пообмениваться задачами и их решениями на таких условиях. Без всякой злобы, не более чем лекарство от скуки.
Не будете ли вы согласны принять сторону императивщины? И идите к чёрту с поисками тройного дна в моём вопросе -
это реально может быть презанятно.

Я - дурак официально, у меня и справка есть.
С печатями.
А ssd - такой же расходник, как и батарейка для ночного прицела.

86

drBatty
Четыре раза дублировать не буду, но один - запросто. И с уточнением - будучи в здравом уме, и "трезвой памяти". Ну, как умею.
Как подтверждение суръёзных намерений - "и чтоб вас так вставило тоже!"

Я - дурак официально, у меня и справка есть.
С печатями.
А ssd - такой же расходник, как и батарейка для ночного прицела.

87

tango пишет:

Как вам возможность

никак. задача стоит уже...

Карусель разнесло по цепочке за час
Всех известий — конец
Да, весна началась!
(всё к лицу подлецу, как родному отцу, не рассказывай, батя, и так всё пройдёт)

88

//       (-)          порядок обхода этого дерева стандарты С/C++ не определяют
//     /     \        результатом будет 0, если справа налево
// (a--)   (--a)     или 2, если слева направо

Я - дурак официально, у меня и справка есть.
С печатями.
А ssd - такой же расходник, как и батарейка для ночного прицела.

89

- Петров! Ты чего во втором классе сидишь, тебя же в четвёртый перевели?
- Уйди нафиг, дура, я здесь самый умный!!!

Я - дурак официально, у меня и справка есть.
С печатями.
А ssd - такой же расходник, как и батарейка для ночного прицела.

90

tango, может хватит показывать из себя умного ah