1

Etapa 1

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

2

Etapa 2

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

1

Etapa 1

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

2

Etapa 2

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

15 abril 2015 29 abril 2015
Objetivo completado 2 junio 2015
General

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

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

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

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

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

 Criterio del fin

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

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

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

 Recursos personales

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

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

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

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

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

  • 1530
  • 15 abril 2015, 20:34
Registración

Las posibilidades
están ilimitadas.
Es la hora
de descubrir las suyas

Уже зарегистрированы?
Entrada al sitio

Entre.
Está abierto.

¿Aún no está registrado?
 
Conéctese a cualquiera de sus cuentas, sus datos se tomarán de la cuenta.
¿Ha olvidado la contraseña?