Математическая логика и теория алгоритмов: метод. указания к выполнению типового расчета
АвторыТ.Е. Бояринцева, Н.В. Золотова, Р.С. Исмагилов
ИздательствоМГТУ им. Н.Э. Баумана
Год издания2011
Приведены основные понятия и факты, относящиеся к языку высказываний, языку предикатов, теории алгоритмов, теории нечетких множеств и нечеткой логике. Наряду с традиционными разделами математической логики изложен метод резолюций, полезный для приложений. Рассмотрены типовые задачи. Для студентов, изучающих математическую логику, а также для преподавателей. Рекомендовано Учебно-методической комиссией НУК ФН МГТУ им. Н.Э. Баумана. ...
Загружено
2015-03-27