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

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

Пруцков А. В.
   Курс математической логики и теории алгоритмов с примерами и практическими заданиями : учебник / Пруцков А. В. - М. : КУРС, 2025. - 183 с. : граф. - Библиогр.: с. 176-180. - ISBN 978-5-907352-36-0.

Содержит теоретический материал, практические задания и вопросы к экзамену или зачёту по дисциплине "Математическая логика и теория алгоритмов".
Материалы подготовлены с учётом более чем десятилетнего опыта преподавания этой дисциплины в высших и средних учебных заведениях.
Предназначен для студентов, изучающих дисциплину "Математическая логика и теория алгоритмов", и для всех желающих изучить эту интересную дисциплину.

510.6 Математическая логика
3 экз.
Вы можете получить данный документ в одном из следующих отделов
  1. Преподавательский абонемент ауд.221л, УЛК, ауд. 221л
  2. Преподавательский абонемент ауд.313, ГУК, ауд. 313
  3. Читальный зал ауд.305л, УЛК, ауд. 305л
  4. Читальный зал ауд.313, ГУК, ауд. 313