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

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

Читать онлайн Аннотация

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

УДК

510.6+510.5

Предметные рубрики

• Математическая логика - Учебники и пособия
• Алгоритмы - Учебники и пособия

Авторы МГТУ

• Бояринцева Татьяна Евгеньевна
• Золотова Наталия Викторовна
• Исмагилов Раис Сальманович

Общее кол-во в фондах

51 экз.

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