Как стать автором
Обновить
0
Карма
0
Рейтинг
Danil Zakharov @DanylZ

Analyst

  • Подписчики
  • Подписки

Увидеть истинное лицо продукта и выжить. Данные о пользовательских переходах как повод написать пару новых сервисов

Спасибо! Про непредсказуемый результат в точку!) Подумаем над тем, чем продолжить рассказ.

Циничное решение логических задач

Позволю себе заметить, что употреблять в обсуждении слова: «бред», «глупости» и т.п. некорректно. Это хамство. Даже, если, Вы, не согласны с точкой зрения автора.

Циничное решение логических задач

Боги мне вообще ничего не обязаны и их ответов на вопросы не требуется. Развеселившая Вас формула – это формальная запись вопроса Богу А «Не является ли бог С богом случая», составленная с учетом возможных его ответов «да» (True – логическая константа) и «нет»» (False – тоже логическая константа). Формула упрощена с применением свойств логических связок «конъюнкция» и «импликация».

Циничное решение логических задач

Это не я жгу, а Э.Кодд (E.Codd). В конце 60, начале 70 обосновывая языки запросов к РБД, Кодд доказал, что выражения реляционной алгебры редуцируемы к формулам исчисления отношений. Там же доказано, формулы определённого вида редуцируемы к выражениям реляционной алгебры. См., например, Codd E.F. Relational completeness of data base sublanguages. IBM Research Laboratory, San Jose, California. КО 987 (#170041), March 6, 1972, Computer Sciences.

Циничное решение логических задач

Ну вот и развлеклись.

Циничное решение логических задач

Думаю, что в дополнении ответ на этот комментарий есть.

Циничное решение логических задач

С тезисом о первопорядковой логике согласен. В прикладном плане у сочетания РБД и SQL есть новое качество. Формулы там записываются в виде реляционных таблиц и диалоговых форм для обзора и редактирования реляционных запросов. А это новое более ориентированное на человека по сравнению с текстами представление формул.
Для логических задач, которые требуют итеративности при построении решения, есть рекурсивные запросы.

Циничное решение логических задач

Задача решена. Из 27 возможных комплектов значений переменных системе уравнений и неравенств удовлетворяет один комплект значений переменных.

Циничное решение логических задач

В дополнении этот аспект пояснен. Виноват, забыл представить этот аспект в первом варианте статьи.

Циничное решение логических задач

Ответы богов зафиксированы в виде логических констант TRUE и FALSE (см. дополнение), а их тарабарские обозначения не интересны.
Феномен магии вопросов объясняется очень просто. Не нужны нам вопросы. Нам нужна система логических уравнений и неравенств.
Приписка «EQV TRUE» возникла из методических соображений. В условии логической задачи нам интересны данные о причинно-следственных связях (A IMP B) и об эквиваленциях. A EQV B это данные о двух причинно-следственных связях (A IMP B) AND (B IMP F)

Циничное решение логических задач

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

Циничное решение логических задач

По этому случаю ничего не могу пояснить.

Циничное решение логических задач

В прикладном плане у сочетания РБД и SQL есть новое качество. Формулы там записываются в виде реляционных таблиц и диалоговых форм для обзора и редактирования реляционных запросов. А это новое более ориентированное на человека по сравнению с текстами представление формул.

Циничное решение логических задач

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

Информация

В рейтинге
Не участвует
Откуда
Иркутск, Иркутская обл., Россия
Дата рождения
Зарегистрирован
Активность