Книжкові видання та компакт-диски Журнали та продовжувані видання Автореферати дисертацій Реферативна база даних Наукова періодика України Тематичний навігатор Авторитетний файл імен осіб
|
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Пошуковий запит: (<.>ID=20081124021557<.>) |
Загальна кількість знайдених документів : 1
|
| Песчаненко В.С. Методи комп'ютерної алгебри та символьних перетворень при проектуванні математичних систем учбового призначення : Автореф. дис... канд. фіз.-мат. наук: 01.05.03 / В.С. Песчаненко ; Ін-т кібернетики ім. В.М.Глушкова НАН України. — К., 2007. — 20 с. — укp.Описано методи комп'ютерної алгебри та технології символьних перетворень, що використовуються для розробки математичних систем учбового призначення. Розглянуто причини обмеженого використання професійних систем комп'ютерної алгебри у школах, висунуто системні, функціональні та технологічні вимоги до даних систем. Створено математичну систему учбового призначення Tep й обговорено її відмінності від існуючих професійних математичних систем. Розглянуто формальні методи специфікації програм і логіко-алгебричні специфікації. Описано загальні відомості про систему алгебричного програмування APS і наведено сучасну стандартизацію типів даних. Запропоновано математичний метод побудови багатосортних алгебр у термінах структур розширень, гомоморфізмів і спадкування багатосортних алгебр. Описано основні системні, функціональні та технологічні вимоги до технології реалізації математичних алгоритмів таких систем. Обгрунтовано вибір APS як системи прототипування та реалізації. Зазначено її основні відмінності від інших систем програмування та висвітлено процес реалізації математичних систем учбового призначення. Розглянуто математичну модель об'єкта "алгебрична задача" та модель логічного виводу у такій системі. Наведено алгоритми розв'язання задач генерації та перевірки розв'язання певного кроку алгебричної задачі. Завантажити Індекс рубрикатора НБУВ: З973-018.121 Шифр НБУВ: РА348419
Рубрики:
|
|
|