1

Этап 1

Прочитать книгу

2

Этап 2

Сдать книгу в библиотеку

1

Этап 1

Прочитать книгу

2

Этап 2

Сдать книгу в библиотеку

15 апреля 2015 29 апреля 2015
Цель завершена 2 июня 2015
Общая

Изучить книгу "Вычислимость и логика". Авторы Дж. Булос, Р. Джеффри

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

Вопрос "Что такое исчисление предикатов(вроде бы предикативная логика)" можно перефразировать как "Что позволяет делать исчисление предикатов?". Как это можно применять в реальной жизни?

Нет никакой гарантии, что книга даст ответы на эти вопросы. Потому что по факту это учебник. С другой стороны, авторы - американцы, а не русские(никакого русофобства, просто зарубежные книги ... легче воспринимаются, что ли), что позволяет надеяться на лучшее :3

После изучения книгу необходимо сдать в библиотеку

 Критерий завершения

Я знаю, что такое "Исчисление предикатов", "Исчисление высказываний" и могу объяснить на примерах.

Я знаю, чем отличается логика второго порядка от обычной логики.

Могу рассказать о следующих разделах логики: диадическая, монадическая, модальная.

 Личные ресурсы

Время на чтение

  1. Прочитать книгу

    На чтение выделять не менее часа в день

  2. Сдать книгу в библиотеку

    Крайний срок: 29-го апреля

  • 1532
  • 15 апреля 2015, 20:34
Регистрация

Регистрация

Уже зарегистрированы?
Быстрая регистрация через соцсети
Вход на сайт

Входите.
Открыто.

Еще не зарегистрированы?
 
Войти через соцсети
Забыли пароль?