Математическая логика. Конспект лекций
Примеры тождественно истинных формул высказываний
0351
Закон тождества. «Всякое высказывание является логическим
Логика - доступно для всех
Конспекты лекций по математической логике
Исчисления высказывания (ИВ)
0273
Определения.   Опр: V – словом в алфавите А, называется
Логика - доступно для всех
Вопросы и ответы на экзамен по математической логике
МАШИНА ТЬЮРИНГА.
0302
В 1935 г. возникло такое положение: свойства, обнаруженные
Логика - доступно для всех
Математическая логика. Конспект лекций
Полные системы функций. Система функций {}
0289
Теорема. Всякая булева функция порождается некоторой
Логика - доступно для всех
Вопросы и ответы на экзамен по математической логике
Теоремы для двух и трех переменных
0326
Теоремы для двух и трех переменных 7. Коммутативные
Логика - доступно для всех
Математическая логика. Конспект лекций
Разрешимые и неразрешимые задачи математики
0316
Проблема останова заключается в том, чтобы по любой
Логика - доступно для всех
Ответы по МАТЕМАТИЧЕСКОЙ ЛОГИКЕ.
Операторные алгоритмы Ван Хао.
0401
Операторный алгоритм Ван Хао задается последовательностью
Логика - доступно для всех
Вопросы и ответы на экзамен по математической логике
Основные законы алгебры логики. Постулаты алгебры логики
0327
В алгебре логики введена система аксиом, определяющая
Логика - доступно для всех
Ответы по МАТЕМАТИЧЕСКОЙ ЛОГИКЕ.
Таблицы истинности, общезначимость.
0349
В этой главе мы ограничиваемся изучением логики высказываний.
Логика - доступно для всех
Ответы по МАТЕМАТИЧЕСКОЙ ЛОГИКЕ.
Теорема о дедукции
0319
Докажем теперь теорему о дедукции для исчисления предикатов.
Логика - доступно для всех