Математическая логика. Конспект лекций
Примеры тождественно истинных формул высказываний
0287
Закон тождества. «Всякое высказывание является логическим
Логика - доступно для всех
Конспекты лекций по математической логике
Исчисления высказывания (ИВ)
0222
Определения.   Опр: V – словом в алфавите А, называется
Логика - доступно для всех
Вопросы и ответы на экзамен по математической логике
МАШИНА ТЬЮРИНГА.
0249
В 1935 г. возникло такое положение: свойства, обнаруженные
Логика - доступно для всех
Математическая логика. Конспект лекций
Полные системы функций. Система функций {}
0235
Теорема. Всякая булева функция порождается некоторой
Логика - доступно для всех
Вопросы и ответы на экзамен по математической логике
Теоремы для двух и трех переменных
0269
Теоремы для двух и трех переменных 7. Коммутативные
Логика - доступно для всех
Математическая логика. Конспект лекций
Разрешимые и неразрешимые задачи математики
0250
Проблема останова заключается в том, чтобы по любой
Логика - доступно для всех
Ответы по МАТЕМАТИЧЕСКОЙ ЛОГИКЕ.
Операторные алгоритмы Ван Хао.
0320
Операторный алгоритм Ван Хао задается последовательностью
Логика - доступно для всех
Вопросы и ответы на экзамен по математической логике
Основные законы алгебры логики. Постулаты алгебры логики
0264
В алгебре логики введена система аксиом, определяющая
Логика - доступно для всех
Ответы по МАТЕМАТИЧЕСКОЙ ЛОГИКЕ.
Таблицы истинности, общезначимость.
0292
В этой главе мы ограничиваемся изучением логики высказываний.
Логика - доступно для всех
Ответы по МАТЕМАТИЧЕСКОЙ ЛОГИКЕ.
Теорема о дедукции
0261
Докажем теперь теорему о дедукции для исчисления предикатов.
Логика - доступно для всех