Математическая логика. Конспект лекций
Примеры тождественно истинных формул высказываний
0162
Закон тождества. «Всякое высказывание является логическим
Логика - доступно для всех
Конспекты лекций по математической логике
Исчисления высказывания (ИВ)
0135
Определения.   Опр: V – словом в алфавите А, называется
Логика - доступно для всех
Вопросы и ответы на экзамен по математической логике
МАШИНА ТЬЮРИНГА.
0157
В 1935 г. возникло такое положение: свойства, обнаруженные
Логика - доступно для всех
Математическая логика. Конспект лекций
Полные системы функций. Система функций {}
0142
Теорема. Всякая булева функция порождается некоторой
Логика - доступно для всех
Вопросы и ответы на экзамен по математической логике
Теоремы для двух и трех переменных
0170
Теоремы для двух и трех переменных 7. Коммутативные
Логика - доступно для всех
Математическая логика. Конспект лекций
Разрешимые и неразрешимые задачи математики
0144
Проблема останова заключается в том, чтобы по любой
Логика - доступно для всех
Ответы по МАТЕМАТИЧЕСКОЙ ЛОГИКЕ.
Операторные алгоритмы Ван Хао.
0201
Операторный алгоритм Ван Хао задается последовательностью
Логика - доступно для всех
Вопросы и ответы на экзамен по математической логике
Основные законы алгебры логики. Постулаты алгебры логики
0159
В алгебре логики введена система аксиом, определяющая
Логика - доступно для всех
Ответы по МАТЕМАТИЧЕСКОЙ ЛОГИКЕ.
Таблицы истинности, общезначимость.
0190
В этой главе мы ограничиваемся изучением логики высказываний.
Логика - доступно для всех
Ответы по МАТЕМАТИЧЕСКОЙ ЛОГИКЕ.
Теорема о дедукции
0149
Докажем теперь теорему о дедукции для исчисления предикатов.
Логика - доступно для всех