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

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

Фотография обложки

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

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

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

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

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