Введение
Глава I. Теоретические основы логической подготовки будущих учителей математики 22
1.1. Логическая подготовка студентов педвузов как предмет исследования 22
1.2. Психолого-педагогические аспекты логической подготовки студентов 51
1.3. Методологические аспекты обучения математической логике в педвузе 80
1.4. Профессиональная направленность логической подготовки будущих учителей математики 108
Глава II. Концепция инновационного курса математической логики на основе естественного вывода и ее реализация 120
2.1. Дидактические преимущества построения курса математической логики на основе естественного вывода по сравнению с традиционным построением 123
2.2. Цели и содержание инновационного курса математической логики 154
2.3. Разработка понятийного аппарата, теорем и доказательств. Методика формирования основных понятий 181
2.4. Система задач по математической логике. Методические особенности проведения практических занятий 215
2.5. Учебно-методическое обеспечение курса 237
2.6. Описание экспериментальной части исследования 248
Глава III. Применение средств естественного вывода в обучении доказательству 269
3.1. Доказательства и дедуктивная деятельность в обучении математике 269
3.2. Дидактические модели понятия доказательства 280
3.3. Анализ методов доказательства средствами естественного вывода , 305
3.4. Применение средств естественного вывода в обучении построению доказательств 322
Заключение 345
