Математическая логика. Учебное пособие по дисциплине «Математическая логика и теория алгоритмов» из жанра Учебники и пособия ВУЗов

Математическая логика. Учебное пособие по дисциплине «Математическая логика и теория алгоритмов»

Математика, Учебники и пособия ВУЗов

Автор: Зыков Анатолий Геннадьевич

Год: 2013

Добавил: Admin 21 Фев 22

Проверил: Admin 21 Фев 22

Формат: PDF (4023 Kb)

Currently 0/5

Рейтинг: 0/5 (Всего голосов: 0)

Аннотация

В пособии описывается история возникновения логики как науки. Рассматриваются основные положения логики высказываний и логики предикатов. Обосновываются принципы логического вывода, применяемые в логике предикатов и ее приложениях к искусственному интеллекту и базам знаний. Приводятся примеры применения многозначной логики в моделировании логических схем. Рассматриваются методы решения задач в логике высказываний и логике предикатов. В приложении приводится именной указатель ученых, внесших значительный вклад в развитии логики как науки.
Пособие предназначено для студентов, обучающихся по направлениям 230100 «Информатика и вычислительная техника» и 231000 «Программная инженерия».