Название: Дискретный анализ. Формальные системы и алгоритмы Автор: Журавлев Ю.И., Флеров Ю.А., Вялый М.Н. Издательство: Контакт Плюс Год: 2010 ISBN: 978–5–86567–092–1 Формат: pdf Страниц: 336 Размер: 11,3 Мб Язык: русский
Эта книга является учебным пособием по математической логике и теории алгоритмов. Она написана на основе материалов курса «Дискретный анализ», читаемого многие годы для студентов факультета управления и прикладной математики Московского физико-технического института. Для студентов, специализирующихся на прикладной математике.