Желтым фоном выделены новые условия и объекты, т. е. те, которых не было на предыдущем шаге доказательства, красным цветом — переменные, локальные для данного условия.
Докажем, например, теорему о пределе суммы двух последовательностей. Она гласит: «Если последовательности {an}, {bn} имеют конечные пределы A и B, то предел последовательности {an + bn} существует и равен A+B». В начале процесса поле доказательства имеет вид
Во время доказательства теоремы на экране появляется поле доказательства, содержащее полную информацию о том, что дано (или уже доказано) на данный момент и что требуется доказать.
Невозможно освоить высшую математику по-настоящему, не овладев навыками доказательства теорем. Решающую роль здесь играет самостоятельная работа. Программный продукт «ТеорМат» — средство для активного и глубокого изучения теоретических основ математического анализа. «ТеорМат» создает среду для доказательства теорем и позволяет следить за их корректностью.
Невозможно освоить высшую математику по-настоящему, не овладев навыками доказательства теорем. Решающую роль здесь играет самостоятельная работа.
«ТеорМат» - программа, обучающая доказательству теорем
Поиск: Весь сервер Новости Computerworld Мир ПК Открытые системы Windows IT Pro LAN Сети Директор ИС Следите за нами: Авторизоваться с помощью:
«ТеорМат» - программа, обучающая доказательству теорем - 01, 2004 | Мир ПК | Издательство «Открытые системы»
Комментариев нет:
Отправить комментарий