Дисциплина Математическая логика и теория алгоритмов изучается по учебному пособию: 1. Сафьянова Е.Н. Дискретная математика. Часть 2.-Томск,2000 - 99 с. По дисциплине "Математическая логика и теория алгоритмов" в течение семестра необходимо выполнить следующие контрольные работы: 1. 2 текстовые контрольные работы по заданиям в учебном пособии Контрольная работа №1 состоит из 10 вариантов по 3 задания в каждом (стр. 91-95). Контрольная работа №2 состоит из 10 вариантов по 2 заданий в каждом (стр. 95-98).