Введение
ГЛАВА 1. Теоретические основы дедуктивной подготовки будущих учителей математики
1.1. Дедуктивная подготовка будущих учителей математики 17
1.2. Профессиональная направленность обучения основам теории доказательств и дедуктивной подготовки будущих учителей математики 31
1.3. Пути повышения эффективности обучения основам теории доказательств студентов математических факультетов педвузов 59
ГЛАВА 2. Содержание и методические особенности обучения основам теории доказательств на базе.натурального вывода 80
2.1. Многоуровневый подход при обучении основам теории доказательств на базе натурального вывода в курсе математической логики и на спецкурсах 84
2.2. Методика введения основных понятий 92
2.3. Методика доказательств наиболее важных теорем 118
2.4. Методологическое значение сопоставления двух логических систем (классической и интуиционистской) при изложении основ теории доказательств 132
2.5. Описание экспериментальной части исследования 150
Заключение 165
Библиография 167
Приложения 186
