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