Подробное описание документа

Бояринцева Т. Е., Золотова Н. В., Исмагилов Р. С.
   Математическая логика и теория алгоритмов : метод. указания к выполнению типового расчета / Бояринцева Т. Е., Золотова Н. В., Исмагилов Р. С. ; МГТУ им. Н. Э. Баумана. - М. : Изд-во МГТУ им. Н. Э. Баумана, 2011. - 43 с. : ил. - Библиогр. в конце брош.

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

https://press.bmstu.ru/catalog/item/578/

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