1

Step 1

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

2

Step 2

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

1

Step 1

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

2

Step 2

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

15 April 2015 29 April 2015
Goal completed 2 June 2015
General

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

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

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

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

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

 Goal Accomplishment Criteria

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

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

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

 Personal resources

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

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

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

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

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

  • 1538
  • 15 April 2015, 20:34
Sign up

Signup

Уже зарегистрированы?
Quick sign-up through social networks.
Sign in

Sign in.
Allowed.

Not registered yet?
 
Log in through social networks
Forgot your password?