0
Математическая логика и теория алгоритмов
Информация о книге:

Издательство: Издательство МГТУ им. Н.Э. Баумана

Год: 2011

Кол-во страниц: 48

Формат: pdf

Математическая логика и теория алгоритмов : Методические указания к выполнению типового расчета: методические указания

Бояринцева Т. Е. , Золотова Н. В. , Исмагилов И. Р.

(0)

Порекомендовать в соцсетях

Аннотация

Приведены основные понятия и факты, относящиеся к языку высказываний, языку предикатов, теории алгоритмов, теории нечетких множеств и нечеткой логике. Наряду с традиционными разделами математической логики изложен метод резолюций, полезный для приложений. Рассмотрены типовые задачи.
Для студентов, изучающих математическую логику, а также для преподавателей.