Герб МГТУ им. Н.Э. БауманаНаучно-техническая библиотека МГТУ им. Н.Э. Баумана

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

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

Скачать документ
Электронная версия, предоставленная издательством
Издательство МГТУ им. Н.Э. Баумана

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

50 экз.
Вы можете получить данный документ в одном из следующих отделов
  1. Абонемент младших курсов №1, УЛК, ауд. 247л
  2. Абонемент младших курсов №2, УЛК, ауд. 205л
  3. Преподавательский абонемент ауд.305л, УЛК, ауд. 305л
  4. Преподавательский абонемент ауд.313, ГУК, ауд. 313
  5. Читальный зал ауд.305л, УЛК, ауд. 305л
  6. Читальный зал ауд.313, ГУК, ауд. 313