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

Министерство образования Российской Федерации КАЗАНСКИЙ ГОСУДАРСТВЕННЫЙ ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ им. А. Н, ТУПОЛЕВА Ш. И. г АЛИЕВ МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ Учебное пособие Допущено УМО вузов по университетскому политехническому образованию в качестве учебного пособия для студентов, обучающихся по специальностям 220100 и 220200 Казань 2004