Предметом предлагаемой вниманию работы является один из аспектов современной фундаментальной подготовки будущих учителей математики и информатики – обучение в области дисциплин дискретной математики. Именно эти разделы математической науки в последней трети XX в. – начале XXI в. приобрели первостепенное значение в сфере многочисленных и разнообразных практических приложений. Дана характеристика модели математического образования педагогов в вузе, включающая курсы математической логики, дискретной математики и теории алгоритмов. Поскольку в высшей школе сейчас принята двухступенчатая система подготовки специалистов, модель содержит три модификации (уровня): общее обучение и углубленное обучение в бакалавриате и обучение в магистратуре. Модель сконструирована на основе всестороннего анализа той роли, которую в обучении математике играет логика, и тех идей и методов дискретной математики, которые к настоящему времени проникли в школьные курсы математики и информатики.

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