Математическая логика и теория алгоритмов. Для изучающих компьютерные науки

Упражнения ……………………………………………………………… 323 Приложения ………………………………………………………………….. 325 1. Варианты типового задания ……………………………………................ 325 2. Тесты для самоконтроля ………………………………………………….. 340 Ответы к тестам самоконтроля …………………………………………... 356 Список литературы ………………………………………………….. ……... 357 ГАЛИЕВ Шамиль Ибрагимович МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ ДЛЯ ИЗУЧАЮЩИХ КОМПЬЮТЕРНЫЕ НАУКИ Учебное пособие Ответственный за выпуск В.Н. Милёхин Компьютерная верстка – А.А. Золина Подписано в печать 10.11.14. Формат 60 84 1/16. Бумага офсетная. Печать цифровая. Усл. печ. л. 15,34. Тираж 100 экз. Заказ Г101. Издательство КНИТУ-КАИ 420111, Казань, К. Маркса, 10