0 / 0 / 0
Регистрация: 26.12.2013
Сообщений: 14
|
|
1 | |
Логические суждения формулами логики предикатов, выбрав подходящую предметную область и предикаты на ней12.01.2014, 17:32. Показов 896. Ответов 3
Метки нет (Все метки)
Здравствуйте!
Есть задача по мат. логике. Звучит она следующим образом: Записать следующие логические суждения формулами логики предикатов, выбрав подходящую предметную область и предикаты на ней. "Все методисты заняты полезным делом. Некоторые птицы методисты." Не могли бы Вы подсказать, как решать ее? Или где можно найти примеры решения похожих задач? Я искала сама, но не наткнулась ни на что подобное. Заранее спасибо!
0
|
12.01.2014, 17:32 | |
Ответы с готовыми решениями:
3
Какие из следующих выражений являются формулами логики предикатов? Проверить истинность формулы логики предикатов. Формулы логики предикатов. Область истинности формулы Выбрав сигнатуру на языке логики предикатов записать определение нигде не плотного подмножества множества вещ. чисел Сформулировать теоремы. Ввести необходимые предикаты и записать их в виде формулы логики предикатов |
13.01.2014, 02:28 | 2 |
Смотря какими методами вам нужно ее решать. Если можно популярными (для понимания), могу посоветовать книгу Льюиса Кэррола "История с узелками". У меня она в бумажном виде, но только что нашел ссылку : http://www.smekalka.pp.ru/download/carroll_02.html
и скачал по ней. Глава "Символическая логика", стр. 191 и дальше. Разжевывается подробно и интересно. Силлогизмы, сориты.. Но, повторюсь, это занимательная математика.
2
|
Ушел с форума
16276 / 7601 / 1064
Регистрация: 11.11.2010
Сообщений: 13,616
|
|
13.01.2014, 04:47 | 3 |
jogano,
огромное спасибо за книгу!
0
|
0 / 0 / 0
Регистрация: 26.12.2013
Сообщений: 14
|
|
13.01.2014, 08:19 [ТС] | 4 |
Спасибо большое за книгу! Действительно очень подробно и понятно!
0
|
13.01.2014, 08:19 | |
13.01.2014, 08:19 | |
Помогаю со студенческими работами здесь
4
Составить программу с запросами LINQ. Выбрать любую предметную область и по ней составить запросы Искать еще темы с ответами Или воспользуйтесь поиском по форуму: |