Учебное пособие содержит  указания по выполнению внеаудиторных самостоятельных работ по «Элементы математической логики», являющейся естественно-научной дисциплиной. Методические указания составлены  в соответствии с рабочей программой  по дисциплине «Элементы математической логики»и предназначены для студентов 2-го курса, обучающихся по специальности 230115 Программирование в компьютерных системах.

Перед выполнением студентами внеаудиторной самостоятельной работы преподаватель проводит инструктаж по выполнению задания, который включает цель задания, его содержание, сроки выполнения, ориентировочный объем работы, основные требования к результатам работы, критерии оценки. В процессе инструктажа преподаватель предупреждает студентов о возможных типичных ошибках, встречающихся при выполнении задания.