Логика высказываний и исчисление высказываний - учебный курс | ИСТИНА – Интеллектуальная Система Тематического Исследования НАукометрических данных

Автор: Маркин В.И.
Год создания: 2025
Организация: МГУ имени М.В. Ломоносова
Описание: Спецкурс для бакалавров, специализирующихся на кафедре логики. В рамках курса рассматриваются следующие вопросы: язык логики высказываний, табличное построение логики высказываний, исчисление высказываний гильбертовского типа, теорема дедукции, теоремы о корректности и семантической полноте исчисления высказываний, теорема об замене эквивалентных, конъюнктивные и дизъюнктивные, совершенные и сокращенные нормальные формы, булева алгебра, алгебра Жегалкина, проблема полноты системы функций истинности, предполные классы функций истинности, теорема Поста.
Добавил в систему: Маркин Владимир Ильич

	ИСТИНА	Войти в систему Регистрация
	ФНКЦ РР
	Главная Поиск Статистика О проекте Помощь

ИСТИНА