Название:Математическая логика и теория алгоритмов Автор:Судоплатов С.В., Овчинникова Б.В. Формат:PDF Размер: 20.4 Мб Год:2004 Качество: Нормальное Язык:Русский Страниц:224 ISBN:5-16-001975-8, 5-7782-0458-2
В книге излагаются основные исчисления математической логики: исчисления высказываний и исчисления предикатов; основы теории моделей и теории алгоритмов, а также элементы неклассических логик. Для студентов младших курсов технических вузов, изучающих математическую логику и теорию алгоритмов.
Оглавление
Предисловие Введение Исчисление высказываний Определение формальногo исчисления Исчисление высказываний генценовскоro типа Эквивалентность формул Нормальные формы Семантика исчислении секвенций Исчисление высказываний гильбертовского типа Алгоритмы проверки общезначимости и противоречивости в ИB Логические задачи Задачи и упражнения Логика и исчисления предикатов Формулы сигнатуры ?. Истинность формулы на aлгебраической системе Секвенциальное исчисление предикатов Эквивалентность формул в ИПС? Нормальные формы Теорема о существовании модели Исчисление предикатов гильбертовского типа Скулемизация алгебраических систем Meтoд резолюций в исчислении предикатов Логические программы Задачи и упражнении Элементы теории моделей Элементарная эквивалентность. Teopeмы Лёвенгейма-Скулема Элементарные теории Типы. Основные классы моделей Категоричность. Спектры моделей полных теорий Система аксиом арифметики Пеано Нестандартные модели арифметики Задачи и упражнения Элементы теории алгоритмов Машины Тьюринга Рекурсивные функции и отношении Эквивалентность моделей алгоритмов Универсальныe частично рекурсивные фyнкции. Теорема Райса Рекурсивно пepeчислимые отношения Неразрешимость исчисления предикатов. Теорема Гёделя о неполноте. Разрешимые и неразрешимые теории. Xapaктepистики сложности aлгoритмов Переборные задачи Aлгоpитмы сортировки Конечные автоматы Задачи и упражнения Нeклaccичecкие логики Пропозициональные логики Предикатные лoгики Предикатные временные логики и их приложение к программированию Aлгоpитмичecкиe логики Список литeратуры Предметный указатель
Изложены темы, традиционно изучаемые в курсе математической логики и теории алгоритмов: алгебра логики и исчисление высказываний, логика и исчисление предикатов, формальные аксиоматические теории, теория алгоритмов и теория вычислительной сложности.
Введение в математическую логику — В книге дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены также теория моделе ...
В пособии содержится материал основного курса «Введение в математическую логику», читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-математических языков 1-го порядка, исчисление предикатов и теорема о его полноте, дается введение в теорию алгор ...
В учебном пособии содержится материал основного курса «Введение в математическую логику», читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-математических языков первого порядка, исчисление предикатов и теорема о его полноте, дается введение в т ...
Данный материал НЕ НАРУШАЕТ авторские права никаких физических или юридических лиц. Если это не так - свяжитесь с администрацией сайта. Материал будет немедленно удален. Электронная версия этой публикации предоставляется только в ознакомительных целях. Для дальнейшего её использования Вам необходимо будет приобрести бумажный (электронный, аудио) вариант у правообладателей.
Название: 
Распечатать
