Лекции по дисциплине «Математическая логика»

 Основные определения.  —

Ответы по МАТЕМАТИЧЕСКОЙ ЛОГИКЕ.   Фильтр по заголовку 

Конспекты лекций по математической логике  

Функция  называется функцией алгебры логики.

В основе МР лежит идея доказательства от противного.

Всякий алгоритм однозначно ставит в соответствие исходным

Формула логики предикатов является только схемой высказывания.

Исчисление высказываний £ достаточно богатая формальная

Точное описание класса частично рекурсивных функций

Имеется устройство просматривающее бесконечную ленту