Изучить книгу "Вычислимость и логика". Авторы Дж. Булос, Р. Джеффри
Изучение в данном случае не предполагает проникновение в глубины математических формул и зазубривание доказательств теорем. Не сильно интересующие разделы книги нужно бегло просматривать, обращая внимание на примеры применения математических моделей, описанных в книге.
Вопрос "Что такое исчисление предикатов(вроде бы предикативная логика)" можно перефразировать как "Что позволяет делать исчисление предикатов?". Как это можно применять в реальной жизни?
Нет никакой гарантии, что книга даст ответы на эти вопросы. Потому что по факту это учебник. С другой стороны, авторы - американцы, а не русские(никакого русофобства, просто зарубежные книги ... легче воспринимаются, что ли), что позволяет надеяться на лучшее :3
После изучения книгу необходимо сдать в библиотеку
Критерий завершения
Я знаю, что такое "Исчисление предикатов", "Исчисление высказываний" и могу объяснить на примерах.
Я знаю, чем отличается логика второго порядка от обычной логики.
Могу рассказать о следующих разделах логики: диадическая, монадическая, модальная.
Личные ресурсы
Время на чтение
-
Прочитать книгу
На чтение выделять не менее часа в день
-
Сдать книгу в библиотеку
Крайний срок: 29-го апреля
- 1532
- 15 апреля 2015, 20:34
Не пропустите новые записи!
Подпишитесь на цель и следите за ее достижением