Главная Сайт МБУ "МИБС" Инструкция по поиску в WEB-ИРБИС Видеоуроки по поиску в WEB-ИРБИС
Авторизация
Фамилия
№ читательского билета
 

Базы данных


Статьи- результаты поиска

Вид поиска
Электронный каталог
Периодика МИБС
Периодика Новокузнецка
Статьи
Краеведческие статьи
Списанные книги
Область поиска
Поисковый запрос: (<.>A=Иванов, Иванов Григорий$<.>)
Общее количество найденных документов : 1
1.


    Иванов, Иванов Григорий.
    "ТеорМат" - программа, обучающая доказательству теорем / Г. Иванов // Мир ПК. - 2004. - № 1. - С. 58-59 : ил. - (Программное обеспечение) )
. - ISSN 0235-3520
УДК
^A004.4
ББК 32.97
Рубрики: Вычислительная техника
   Программное обеспечение персональных компьютеров
Кл.слова (ненормированные):
высшая математика -- математика -- математический анализ -- обучающие программы -- программное обеспечение -- теоремы
Аннотация: Автор рассказывает о разработанном им в соавторстве с Р. Константиновым программном обучающем комплексе. Это средство для глубокого и активного изучения теоретических основ математического анализа, он создает среду для доказательства теорем и позволяет следить за их корректностью.


Доп.точки доступа:
Константинов, Р.
Прямая ссылка
Найти похожие
 
Стандартный
Расширенный
Профессиональный
По словарю
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)