Герб МГТУ им. Н.Э. БауманаНаучно-техническая библиотека МГТУ им. Н.Э. Баумана
Личный кабинет
Расширенный поиск по каталогам
Поиск электронных учебников

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

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

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

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

510.6+510.5
50 экз.
Заказать на абонемент
Заказать в читальный зал
Вы можете получить данный документ в одном из следующих отделов
  1. Абонемент младших курсов №1, УЛК, ауд. 247л
  2. Абонемент младших курсов №2, УЛК, ауд. 205л
  3. Преподавательский абонемент ауд.305л, УЛК, ауд. 305л
  4. Преподавательский абонемент ауд.313, ГУК, ауд. 313
  5. Читальный зал ауд.305л, УЛК, ауд. 305л
  6. Читальный зал ауд.313, ГУК, ауд. 313
© НТБ МГТУ им. Н.Э. Баумана, 2003 – 2025
© МГТУ им. Н.Э. Баумана, 2003 – 2025

Используя сайт Библиотеки МГТУ им. Н. Э. Баумана, Вы соглашаетесь с использованием файлов cookie и сервисов сбора и анализа статистики посещений для обеспечения работоспособности сайта и улучшения качества обслуживания. Подробнее о файлах cookie.