Настоящее учебное пособие представляет собой почти точную запись лекций по первой части курса ''Теория алгоритмов и математическая логика'', который автор читает для студентов 3-его курса механико-математического факультета, обучающихся по специальности ''Математика''. Пособие содержит следующие разделы: введение в логику, язык логики предикатов и его интерпретации, исчисление предикатов и формальные теории.