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

Авторы: Мачикина Е.П.

Издательство: Сибирский государственный университет телекоммуникаций и информатики

В пособии приведен необходимый теоретический материал, примеры решения задач и упражнения для решения на практических занятиях и во время самостоятельной работы по всем разделам дисциплины «Математическая логика и теория алгоритмов» для студентов второго курса факультета ИВТ, направление 09.03.01 Информатика и вычислительная техника, профили «Программное обеспечение средств вычислительной техники и автоматизированных систем», «Электронно-вычислительные машины, комплексы, системы и сети», «Распределённые автоматизированные системы».