Одним из главных принципов уникальной «системы Физтеха», заложенной в основу образования в МФТИ, является тщательный отбор одаренных и склонных к творческой работе представителей молодежи. Абитуриентами Физтеха становятся самые талантливые и высокообразованные выпускники школ всей России и десятков стран мира.

Студенческая жизнь в МФТИ насыщенна и разнообразна. Студенты активно совмещают учебную деятельность с занятиями спортом, участием в культурно-массовых мероприятиях, а также их организации. Администрация института всячески поддерживает инициативу и заботится о благополучии студентов. Так, ведется непрерывная работа по расширению студенческого городка и улучшению быта студентов.

Адрес e-mail:

Краткое описание программы "Теормат"

Программа ТеорМат

Программа ТеорМат является средством для активного и глубокого изучения теоретических основ математического анализа. В отличие от любого традиционного учебника, который предполагает чтение (пассивное изучение), программа ТеорМат предполагает самостоятельное доказательство теорем и самостоятельное решение теоретических задач (активное изучение). Для этого программа ТеорМат создает среду, удобную для доказательства теорем и следит за корректностью доказательства. Среда для доказательства теорем состоит из следующих элементов

Язык ТеорМат близок к общепринятой форме записи математических выражений. В частности, элементами языка являются кванторы, символы математических операций, математические понятия "сходимость", "ограниченность" и т.п. Например, теорема о пределе суммы двух последовательностей на языке ТеорМат записывается в следующем виде:

Все математические утверждения (определения, аксиомы, теоремы и т.д.), записанные на языке ТеорМат, составляют книгу математических утверждений.

Поле доказательства - это визуальное представление текущего состояния доказательства в терминах "дано" и "требуется доказать". Поле доказательства состоит из четырех разделов: "Данные объекты", "Данные условия", "Искомые объекты", "Доказываемые условия". Поле доказательства служит не только для визуализации состояния доказательства, оно также является рабочим столом для действий пользователя.

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

  • определить объект;
  • применить утверждение;
  • рассмотреть случаи;
  • доказать вспомогательное условие;
  • метод доказательства от противного;
  • метод математической индукции.

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

Действие компьютера - это автоматические преобразования поля доказательства и преобразования, выполняемые по требованию пользователя.

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

В ходе доказательства компьютер следит за корректностью и выполняет тривиальные автоматические преобразования, облегчающие процесс доказательства. Пользователь может посмотреть, какие автоматические преобразования выполнил компьютер на данном шаге.

Если доказаны все условия раздела "Доказываемые условия" или получено противоречие, доказательство считается успешно завершенным. Протокол доказательства можно сохранить в файл, по которому компьютер может воспроизвести доказательство в демонстрационном режиме.

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

Программа ТеорМат имеет обширную базу доказанных математических утверждений, содержащую все основные теоремы и многие теоретические задачи, изучаемые в МФТИ в темах "предел последовательности", "предел и непрерывность функции".

Программа ТеорМат разрабатывается преподавателями кафедры высшей математики Московского физико-технического института. Автор алгоритмической части программы - Григорий Евгеньевич Иванов, автор интерфейсной части программы - Роман Викторович Константинов. © ТеорМат.

Программу ТеорМат можно бесплатно получить на сайте кафедры. Для работы с программой ТеорМат достаточно распаковать TeorMat.zip и выполнить TeorMat.exe.

Если вы заметили в тексте ошибку, выделите её и нажмите Ctrl+Enter.

© 2001-2016 Московский физико-технический институт
(государственный университет)

Техподдержка сайта

МФТИ в социальных сетях

soc-vk soc-fb soc-tw soc-li soc-li
Яндекс.Метрика