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

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

Для студентов, специализирующихся на прикладной математике.