Расширенный поиск
Все разделы
Корзина
у вас нет товаров

Зыков А.Г.
Поляков В.И.

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

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

Авторы:
Издательство: НИУ ИТМО (Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики)
2013 г.
Кол-во страниц: 131

Положить в корзину

О книге:

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

Вверх