RUSSIAN

Математическая логика

By Поляков В.И. , Зыков А.Г. , Скорубский В.И.

Book information

Publisher
механики и оптики, Санкт-Петербургский национальный исследовательский университет информационных технологий
Year
2013
Language
russian
Format
PDF
Filesize
2 MB (2607839 bytes)
Pages
131\131
Time added
2017-04-20 00:00:00
Дискретная математика и математическая логика;Мате

Description

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

Similar books