Математическая логика и теория алгоритмов

Министерство образования и науки Российской Федерации Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования «МАТИ — Российский государственный технологический университет имени К. Э. Циолковского»

О . Ю. Агарева, Ю. В. Селиванов

МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ

Учебное пособие

Рекомендовано УМС МАТИ в качестве учебного пособия для студентов и аспирантов МАТИ всех форм обучения , изучающих дисциплины: «Математическая логика и теория алгоритмов» и «Дискретная математика»

Москва 2011

Made with