Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики

Учебные издания

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

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

Зыков А.Г., Поляков В.И., Скорубский В.И. Математическая логика. - Санкт-Петербург: НИУ ИТМО, 2013. - 131 с. - экз.

Аннотация :

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

Описание :

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

PDF :

Название : Зыков А.Г., Поляков В.И., Скорубский В.И. Математическая логика. – СПб: НИУ ИТМО, 2013. – 131 с. Скачать PDF (4023.04 Кб)