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

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

Перечень практических занятий соответствует рабочей программе по дисциплине «Элементы математической логики»