Книга: Дискретный анализ. Формальные системы и алгоритмы

Эта книга является учебным пособием по математической логике и теории алгоритмов. Она написана на основе материалов курса 'Дискретный анализ', читаемого многие годы для студентов факультета управления и прикладной математики Московского физико-технического института. Для студентов, специализирующихся на прикладной математике.