Тригонометрические вычисления в системах компьютерной математики учебного назначения
В работе изложены алгоритмы тригонометрических вычислений, основанные на построениях канонических форм. Эти алгоритмы используются при программировании стандартных задач школьного курса тригонометрии: задачи упрощения выражения, доказательства тождества, решения уравнения и неравенства. У роботі роз...
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: (2009)
by: Федорук, П.І.
Published: (2009)
Роль телекомунікаційних технологій у системах автоматизації підприємств гірничодобувного комплексу
by: Турупалов, В.В.
Published: (2012)
by: Турупалов, В.В.
Published: (2012)
Модели адаптивной навигации в учебной гиперсреде
by: Шибут, М.С.
Published: (2008)
by: Шибут, М.С.
Published: (2008)
Реализация вычислений в алгебрах числовых множеств в математических системах учебного назначения
by: Львов, М.С.
Published: (2010)
by: Львов, М.С.
Published: (2010)
Объективизация нечетких классификационных моделей формирования межпредметных связей
by: Ватлин, С.И., et al.
Published: (2010)
by: Ватлин, С.И., et al.
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: Селякова, С.М.
Published: (2013)
by: Селякова, С.М.
Published: (2013)
Разработка учебных программ с элементами искусственного интеллекта для обучения в области информационной безопасности и защиты персональных данных
by: Блохина, С.В., et al.
Published: (2009)
by: Блохина, С.В., et al.
Published: (2009)
Метод поиска ключевого узла словообразовательного дерева для экспертной обучающей системы
by: Вороной, С.М., et al.
Published: (2010)
by: Вороной, С.М., et al.
Published: (2010)
Словообразовательная база знаний экспертной обучающей системы
by: Вороной, С.М., et al.
Published: (2009)
by: Вороной, С.М., et al.
Published: (2009)
Классификация систем управления содержимым web-ресурсов и их использование для разработки сайта дистанционного обучения
by: Курилов, М.А., et al.
Published: (2010)
by: Курилов, М.А., et al.
Published: (2010)
Электронные учебники и средства их реализации
by: Иванова, С.Б., et al.
Published: (2009)
by: Иванова, С.Б., et al.
Published: (2009)
Линейные логические преобразования в задачах семантической разметки текста
by: Вечирская, И.Д., et al.
Published: (2013)
by: Вечирская, И.Д., et al.
Published: (2013)
Метод точной квадратичной регуляризации в задачах кластеризации данных
by: Косолап, А.И.
Published: (2013)
by: Косолап, А.И.
Published: (2013)
Признак сравнения с параметром в теории числовых рядов
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: (2011)
by: Ручкин, К.А., et al.
Published: (2011)
Реализация общедоступного миварного универсального решателя задач на основе адаптивного активного логического вывода с линейной сложностью и облачных технологий
by: Чибирова, М.О., et al.
Published: (2013)
by: Чибирова, М.О., et al.
Published: (2013)
Использование принципов нечеткой логики в экспертной системе технической диагностики судовых двигателей внутреннего сгорания
by: Варбанец, Р.А., et al.
Published: (2010)
by: Варбанец, Р.А., et al.
Published: (2010)
Агентно-ориентированная система извлечения знаний из распределенных источников информации
by: Грунский, И.С., et al.
Published: (2009)
by: Грунский, И.С., et al.
Published: (2009)
Виртуальная организация агентов для разработки онтологической базы знаний системы компьютерного обучения
by: Вороной, А.С.
Published: (2010)
by: Вороной, А.С.
Published: (2010)
Неитеративный синтез нейро-нечетких диагностических экспертных систем
by: Субботин, С.А.
Published: (2009)
by: Субботин, С.А.
Published: (2009)
Визуализация данных для анализа программного обеспечения с использованием экспертной системы
by: Пригожев, А.С.
Published: (2009)
by: Пригожев, А.С.
Published: (2009)
Операции пересечения и объединения нечеткого множества нечетких множеств
by: Мащенко, С.О.
Published: (2012)
by: Мащенко, С.О.
Published: (2012)
Оценка интерфейсов тестовых систем электронных учебников
by: Звенигородский, А.С., et al.
Published: (2011)
by: Звенигородский, А.С., et al.
Published: (2011)
О концепции создания интеллектуальных тестирующих систем
by: Ковтун, С.А., et al.
Published: (2009)
by: Ковтун, С.А., et al.
Published: (2009)
Оцінювання прогнозів при моделюванні зсувних процесів Південного берега Криму
by: Таран, В.М.
Published: (2011)
by: Таран, В.М.
Published: (2011)
Синтез модели оптимальной фильтрации сигнала для принятия решений на рынке ценных бумаг на основе модуляции его полезности
by: Новиков, М.В.
Published: (2011)
by: Новиков, М.В.
Published: (2011)
Проблемно-ситуационный подход к построению автоматизированного тренажёра оператора
by: Петренко, Т.Г., et al.
Published: (2008)
by: Петренко, Т.Г., et al.
Published: (2008)
До питання про цифрові моделі ґрунтів
by: Крячок, О.С., et al.
Published: (2014)
by: Крячок, О.С., et al.
Published: (2014)
Розрахунки оптимальних параметрів спрямованого хвилевідного відгалужувача і похибок перетворення низькоінтенсивних НЗВЧ-сигналів
by: Куценко, В.П., et al.
Published: (2013)
by: Куценко, В.П., et al.
Published: (2013)
Similar Items
-
Математические тесты в системах компьютерной математики учебного назначения
by: Львов, М.С.
Published: (2011) -
Интеллектуальные свойства систем компьютерной математики учебного назначения и методы их реализации
by: Львов, М.С.
Published: (2011) -
Інтелектуальний механізм побудови індивідуальної навчальної траєкторії в адаптивних системах дистанційного навчання
by: Федорук, П.І., et al.
Published: (2010) -
Використання адаптивних тестів в інтелектуальних системах контролю знань
by: Федорук, П.І.
Published: (2008) -
Технологія побудови навчального процесу в адаптивних системах дистанційного навчання та контролю знань
by: Федорук, П.І.
Published: (2009)