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

Математическая логика. Учебное пособие по дисциплине «Математическая логика и теория алгоритмов»
Математика, Учебники и пособия ВУЗов
Год: 2013
Добавил: Admin 21 Фев 22
Проверил: Admin 21 Фев 22
Формат:  PDF (4023 Kb)
  • Currently 0/5

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

Аннотация

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

Похожие книги

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

Комментарий не найдено. Будьте первыми!
Чтобы оставить комментарий или поставить оценку книге Вам нужно зайти на сайт или зарегистрироваться