1

Етап 1

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

2

Етап 2

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

1

Етап 1

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

2

Етап 2

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

15 квітня 2015 29 квітня 2015
Мета завершена % date%
Загальна

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

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

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

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

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

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

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

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

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

 Особисті ресурси

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

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

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

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

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

  • 1539
  • 15 квітня 2015, 20:34

Реєстрація

Можливості
безмежні.
Настав час
відкрити свої.

Уже зарегистрированы?
Вхід на сайт

Заходьте.
Відкрито.

Ще не зареєстровані?
 
Підключіться до будь-якого з ваших акаунтів, ваші дані будуть взяті з акаунту.
Забули пароль?