Тригонометрические вычисления в системах компьютерной математики учебного назначения
В работе изложены алгоритмы тригонометрических вычислений, основанные на построениях канонических форм. Эти алгоритмы используются при программировании стандартных задач школьного курса тригонометрии: задачи упрощения выражения, доказательства тождества, решения уравнения и неравенства. У роботі роз...
Saved in:
| Published in: | Штучний інтелект |
|---|---|
| Date: | 2011 |
| Main Author: | Львов, М.С. |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут проблем штучного інтелекту МОН України та НАН України
2011
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/60488 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Тригонометрические вычисления в системах компьютерной математики учебного назначения / М.С. Львов // Штучний інтелект. — 2011. — № 4. — С. 417-423. — Бібліогр.: 9 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineSimilar Items
Математические тесты в системах компьютерной математики учебного назначения
by: Львов, М.С.
Published: (2011)
by: Львов, М.С.
Published: (2011)
Интеллектуальные свойства систем компьютерной математики учебного назначения и методы их реализации
by: Львов, М.С.
Published: (2011)
by: Львов, М.С.
Published: (2011)
Інтелектуальний механізм побудови індивідуальної навчальної траєкторії в адаптивних системах дистанційного навчання
by: Федорук, П.І., et al.
Published: (2010)
by: Федорук, П.І., et al.
Published: (2010)
Дидактическая составляющая моделей, обучаемых в автоматизированных обучающих системах
by: Коляда, М.Г.
Published: (2008)
by: Коляда, М.Г.
Published: (2008)
Використання адаптивних тестів в інтелектуальних системах контролю знань
by: Федорук, П.І.
Published: (2008)
by: Федорук, П.І.
Published: (2008)
Технологія побудови навчального процесу в адаптивних системах дистанційного навчання та контролю знань
by: Федорук, П.І.
Published: (2009)
by: Федорук, П.І.
Published: (2009)
Роль телекомунікаційних технологій у системах автоматизації підприємств гірничодобувного комплексу
by: Турупалов, В.В.
Published: (2012)
by: Турупалов, В.В.
Published: (2012)
Модели адаптивной навигации в учебной гиперсреде
by: Шибут, М.С.
Published: (2008)
by: Шибут, М.С.
Published: (2008)
Объективизация нечетких классификационных моделей формирования межпредметных связей
by: Ватлин, С.И., et al.
Published: (2010)
by: Ватлин, С.И., et al.
Published: (2010)
Реализация вычислений в алгебрах числовых множеств в математических системах учебного назначения
by: Львов, М.С.
Published: (2010)
by: Львов, М.С.
Published: (2010)
Модель представлення знань в адаптивній системі дистанційного навчання та контролю знань «EduPRO»
by: Федорук, П.І., et al.
Published: (2011)
by: Федорук, П.І., et al.
Published: (2011)
Оптимізація параметрів вхідних вузлів НЗВЧ-радарних систем в умовах низькоінтенсивних сигналів
by: Куценко, В.П., et al.
Published: (2012)
by: Куценко, В.П., et al.
Published: (2012)
Типы заданий в тестовой форме
by: Курилов, М.А., et al.
Published: (2012)
by: Курилов, М.А., et al.
Published: (2012)
Закон двойного отрицания и правило преобразования разности в табличных алгебрах
by: Сенченко, А.С.
Published: (2013)
by: Сенченко, А.С.
Published: (2013)
Аспекти формування тестів для контролю знань в системі адаптивного навчання
by: Кравченко, О.В., et al.
Published: (2010)
by: Кравченко, О.В., et al.
Published: (2010)
Реализация эффективной обработки, кодирования и передачи данных в промышленных мониторинговых сетях
by: Резаи, В., et al.
Published: (2014)
by: Резаи, В., et al.
Published: (2014)
Синтез экспертной системы оценки тяжести протекания вирусного гепатита
by: Селякова, С.М.
Published: (2013)
by: Селякова, С.М.
Published: (2013)
Разработка учебных программ с элементами искусственного интеллекта для обучения в области информационной безопасности и защиты персональных данных
by: Блохина, С.В., et al.
Published: (2009)
by: Блохина, С.В., et al.
Published: (2009)
Правило Лопиталя в интегральной форме
by: Мироненко, Л.П.
Published: (2012)
by: Мироненко, Л.П.
Published: (2012)
Эквивалентность стандартных пределов в теории пределов
by: Мироненко, Л.П.
Published: (2012)
by: Мироненко, Л.П.
Published: (2012)
Метод поиска ключевого узла словообразовательного дерева для экспертной обучающей системы
by: Вороной, С.М., et al.
Published: (2010)
by: Вороной, С.М., et al.
Published: (2010)
Словообразовательная база знаний экспертной обучающей системы
by: Вороной, С.М., et al.
Published: (2009)
by: Вороной, С.М., et al.
Published: (2009)
Электронные учебники и средства их реализации
by: Иванова, С.Б., et al.
Published: (2009)
by: Иванова, С.Б., et al.
Published: (2009)
Классификация систем управления содержимым web-ресурсов и их использование для разработки сайта дистанционного обучения
by: Курилов, М.А., et al.
Published: (2010)
by: Курилов, М.А., et al.
Published: (2010)
Управление взаимодействием агентов в системе электронного обучения
by: Мазурок, Т.Л.
Published: (2009)
by: Мазурок, Т.Л.
Published: (2009)
Метод точной квадратичной регуляризации в задачах кластеризации данных
by: Косолап, А.И.
Published: (2013)
by: Косолап, А.И.
Published: (2013)
Линейные логические преобразования в задачах семантической разметки текста
by: Вечирская, И.Д., et al.
Published: (2013)
by: Вечирская, И.Д., et al.
Published: (2013)
Мікрохвильова експертна система контролю температури в скловарильній печі
by: Куценко, В.П.
Published: (2014)
by: Куценко, В.П.
Published: (2014)
Признак сравнения с параметром в теории числовых рядов
by: Мироненко, Л.П., et al.
Published: (2012)
by: Мироненко, Л.П., et al.
Published: (2012)
Нечеткое управление впрысками в пароводяной тракт прямоточного котла ТЭС
by: Шушура, А.Н., et al.
Published: (2012)
by: Шушура, А.Н., et al.
Published: (2012)
Механизм ускорения вычислений в методе Литтла для решения задач класса коммивояжера
by: Левченко, А.Ю., et al.
Published: (2012)
by: Левченко, А.Ю., et al.
Published: (2012)
Реализация общедоступного миварного универсального решателя задач на основе адаптивного активного логического вывода с линейной сложностью и облачных технологий
by: Чибирова, М.О., et al.
Published: (2013)
by: Чибирова, М.О., et al.
Published: (2013)
Разработка многоагентной системы для прогнозирования поведения динамической системы в режиме реального времени
by: Ручкин, К.А., et al.
Published: (2011)
by: Ручкин, К.А., et al.
Published: (2011)
Использование принципов нечеткой логики в экспертной системе технической диагностики судовых двигателей внутреннего сгорания
by: Варбанец, Р.А., et al.
Published: (2010)
by: Варбанец, Р.А., et al.
Published: (2010)
Застосування нечіткого логічного виводу для визначення місцезнаходження нелегальних мігрантів та «гастролерів» в інформаційному забезпеченні ОВС
by: Маркарян, Г.О.
Published: (2013)
by: Маркарян, Г.О.
Published: (2013)
Агентно-ориентированная система извлечения знаний из распределенных источников информации
by: Грунский, И.С., et al.
Published: (2009)
by: Грунский, И.С., et al.
Published: (2009)
Виртуальная организация агентов для разработки онтологической базы знаний системы компьютерного обучения
by: Вороной, А.С.
Published: (2010)
by: Вороной, А.С.
Published: (2010)
Неитеративный синтез нейро-нечетких диагностических экспертных систем
by: Субботин, С.А.
Published: (2009)
by: Субботин, С.А.
Published: (2009)
Операции пересечения и объединения нечеткого множества нечетких множеств
by: Мащенко, С.О.
Published: (2012)
by: Мащенко, С.О.
Published: (2012)
Визуализация данных для анализа программного обеспечения с использованием экспертной системы
by: Пригожев, А.С.
Published: (2009)
by: Пригожев, А.С.
Published: (2009)
Similar Items
-
Математические тесты в системах компьютерной математики учебного назначения
by: Львов, М.С.
Published: (2011) -
Интеллектуальные свойства систем компьютерной математики учебного назначения и методы их реализации
by: Львов, М.С.
Published: (2011) -
Інтелектуальний механізм побудови індивідуальної навчальної траєкторії в адаптивних системах дистанційного навчання
by: Федорук, П.І., et al.
Published: (2010) -
Дидактическая составляющая моделей, обучаемых в автоматизированных обучающих системах
by: Коляда, М.Г.
Published: (2008) -
Використання адаптивних тестів в інтелектуальних системах контролю знань
by: Федорук, П.І.
Published: (2008)