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