Лекции по дисциплине «Математическая логика»
Математическая логика. Конспект лекций
Пусть С1 и С2 – предложения в исчислении высказываний.
Вопросы и ответы на экзамен по математической логике
Булевыми функциями (или функциями алгебры логики или
Математическая логика. Конспект лекций
Рассмотрим логику высказываний, которая лежит в основе
Ответы по МАТЕМАТИЧЕСКОЙ ЛОГИКЕ.
Определение общезначимости дает нам автоматическую
Ответы по МАТЕМАТИЧЕСКОЙ ЛОГИКЕ.
Одной из особенностей абстрактной теории алгоритмов
Ответы по МАТЕМАТИЧЕСКОЙ ЛОГИКЕ.
Математическая логика (называемая также символической
Конспекты лекций по математической логике
Теорема об эквивалентности понятия вычислимой функции.
Математическая логика. Конспект лекций
Класс функций F называется полным, если его замыкание