- В основе учебного пособия лежит курс лекций по математической логике, читавшийся на математико-механическом факультете СПбГУ. В учебном пособии излагаются основы классической математической логики как средства формализации и проверки правильности рассуждений, сформулированных на естественном (русском) языке. Подробно обсуждаются и снабжены разобранными примерами вопросы соответствия логических связок и структур предикатных формул общепринятым оборотам речи. Изложены процедуры построения вывода в исчислениях, ориентированных на реализацию на компьютере. Учебное пособие рассчитано, в первую очередь, на студентов, обучающихся по направлению 010500 "Математическое обеспечение и администрирование информационных систем", а также на широкий круг интересующихся математической логикой, начиная со школьников.