Аннотация:
В статье рассказано о курсе, который знакомит школьников с элементами теории множеств и математической логики. Описана компьютерная программа, помогающая учащимся в освоении курса, в частности, в решении ряда типовых задач. Приведен пример задачи исследовательского характера с подробным решением. Показано, как знание элементов математической логики и теории множеств способствует критическому отношению к математическим моделям реальности.
Ключевые слова:
Теория множеств, математическая логика, математическая модель.