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

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

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

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

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