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

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

Издательство: Московский государственный технический университет имени Н.Э. Баумана

Приведены основные понятия и факты, относящиеся к языку высказываний, языку предикатов, теории алгоритмов, теории нечетких множеств и нечеткой логике. Наряду с традиционными разделами математической логики изложен метод резолюций, полезный для приложений. Рассмотрены типовые задачи. Для студентов, изучающих математическую логику, а также для преподавателей. Рекомендовано Учебно-методической комиссией НУК ФН МГТУ им. Н.Э. Баумана.