Тригонометрические вычисления в системах компьютерной математики учебного назначения
В работе изложены алгоритмы тригонометрических вычислений, основанные на построениях канонических форм. Эти алгоритмы используются при программировании стандартных задач школьного курса тригонометрии: задачи упрощения выражения, доказательства тождества, решения уравнения и неравенства. У роботі роз...
Збережено в:
| Опубліковано в: : | Штучний інтелект |
|---|---|
| Дата: | 2011 |
| Автор: | |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
Інститут проблем штучного інтелекту МОН України та НАН України
2011
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/60488 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Тригонометрические вычисления в системах компьютерной математики учебного назначения / М.С. Львов // Штучний інтелект. — 2011. — № 4. — С. 417-423. — Бібліогр.: 9 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of UkraineСхожі ресурси
Математические тесты в системах компьютерной математики учебного назначения
за авторством: Львов, М.С.
Опубліковано: (2011)
за авторством: Львов, М.С.
Опубліковано: (2011)
Интеллектуальные свойства систем компьютерной математики учебного назначения и методы их реализации
за авторством: Львов, М.С.
Опубліковано: (2011)
за авторством: Львов, М.С.
Опубліковано: (2011)
Інтелектуальний механізм побудови індивідуальної навчальної траєкторії в адаптивних системах дистанційного навчання
за авторством: Федорук, П.І., та інші
Опубліковано: (2010)
за авторством: Федорук, П.І., та інші
Опубліковано: (2010)
Використання адаптивних тестів в інтелектуальних системах контролю знань
за авторством: Федорук, П.І.
Опубліковано: (2008)
за авторством: Федорук, П.І.
Опубліковано: (2008)
Технологія побудови навчального процесу в адаптивних системах дистанційного навчання та контролю знань
за авторством: Федорук, П.І.
Опубліковано: (2009)
за авторством: Федорук, П.І.
Опубліковано: (2009)
Роль телекомунікаційних технологій у системах автоматизації підприємств гірничодобувного комплексу
за авторством: Турупалов, В.В.
Опубліковано: (2012)
за авторством: Турупалов, В.В.
Опубліковано: (2012)
Модели адаптивной навигации в учебной гиперсреде
за авторством: Шибут, М.С.
Опубліковано: (2008)
за авторством: Шибут, М.С.
Опубліковано: (2008)
Реализация вычислений в алгебрах числовых множеств в математических системах учебного назначения
за авторством: Львов, М.С.
Опубліковано: (2010)
за авторством: Львов, М.С.
Опубліковано: (2010)
Объективизация нечетких классификационных моделей формирования межпредметных связей
за авторством: Ватлин, С.И., та інші
Опубліковано: (2010)
за авторством: Ватлин, С.И., та інші
Опубліковано: (2010)
Модель представлення знань в адаптивній системі дистанційного навчання та контролю знань «EduPRO»
за авторством: Федорук, П.І., та інші
Опубліковано: (2011)
за авторством: Федорук, П.І., та інші
Опубліковано: (2011)
Оптимізація параметрів вхідних вузлів НЗВЧ-радарних систем в умовах низькоінтенсивних сигналів
за авторством: Куценко, В.П., та інші
Опубліковано: (2012)
за авторством: Куценко, В.П., та інші
Опубліковано: (2012)
Типы заданий в тестовой форме
за авторством: Курилов, М.А., та інші
Опубліковано: (2012)
за авторством: Курилов, М.А., та інші
Опубліковано: (2012)
Закон двойного отрицания и правило преобразования разности в табличных алгебрах
за авторством: Сенченко, А.С.
Опубліковано: (2013)
за авторством: Сенченко, А.С.
Опубліковано: (2013)
Аспекти формування тестів для контролю знань в системі адаптивного навчання
за авторством: Кравченко, О.В., та інші
Опубліковано: (2010)
за авторством: Кравченко, О.В., та інші
Опубліковано: (2010)
Синтез экспертной системы оценки тяжести протекания вирусного гепатита
за авторством: Селякова, С.М.
Опубліковано: (2013)
за авторством: Селякова, С.М.
Опубліковано: (2013)
Разработка учебных программ с элементами искусственного интеллекта для обучения в области информационной безопасности и защиты персональных данных
за авторством: Блохина, С.В., та інші
Опубліковано: (2009)
за авторством: Блохина, С.В., та інші
Опубліковано: (2009)
Метод поиска ключевого узла словообразовательного дерева для экспертной обучающей системы
за авторством: Вороной, С.М., та інші
Опубліковано: (2010)
за авторством: Вороной, С.М., та інші
Опубліковано: (2010)
Словообразовательная база знаний экспертной обучающей системы
за авторством: Вороной, С.М., та інші
Опубліковано: (2009)
за авторством: Вороной, С.М., та інші
Опубліковано: (2009)
Классификация систем управления содержимым web-ресурсов и их использование для разработки сайта дистанционного обучения
за авторством: Курилов, М.А., та інші
Опубліковано: (2010)
за авторством: Курилов, М.А., та інші
Опубліковано: (2010)
Электронные учебники и средства их реализации
за авторством: Иванова, С.Б., та інші
Опубліковано: (2009)
за авторством: Иванова, С.Б., та інші
Опубліковано: (2009)
Линейные логические преобразования в задачах семантической разметки текста
за авторством: Вечирская, И.Д., та інші
Опубліковано: (2013)
за авторством: Вечирская, И.Д., та інші
Опубліковано: (2013)
Метод точной квадратичной регуляризации в задачах кластеризации данных
за авторством: Косолап, А.И.
Опубліковано: (2013)
за авторством: Косолап, А.И.
Опубліковано: (2013)
Признак сравнения с параметром в теории числовых рядов
за авторством: Мироненко, Л.П., та інші
Опубліковано: (2012)
за авторством: Мироненко, Л.П., та інші
Опубліковано: (2012)
Нечеткое управление впрысками в пароводяной тракт прямоточного котла ТЭС
за авторством: Шушура, А.Н., та інші
Опубліковано: (2012)
за авторством: Шушура, А.Н., та інші
Опубліковано: (2012)
Механизм ускорения вычислений в методе Литтла для решения задач класса коммивояжера
за авторством: Левченко, А.Ю., та інші
Опубліковано: (2012)
за авторством: Левченко, А.Ю., та інші
Опубліковано: (2012)
Разработка многоагентной системы для прогнозирования поведения динамической системы в режиме реального времени
за авторством: Ручкин, К.А., та інші
Опубліковано: (2011)
за авторством: Ручкин, К.А., та інші
Опубліковано: (2011)
Реализация общедоступного миварного универсального решателя задач на основе адаптивного активного логического вывода с линейной сложностью и облачных технологий
за авторством: Чибирова, М.О., та інші
Опубліковано: (2013)
за авторством: Чибирова, М.О., та інші
Опубліковано: (2013)
Использование принципов нечеткой логики в экспертной системе технической диагностики судовых двигателей внутреннего сгорания
за авторством: Варбанец, Р.А., та інші
Опубліковано: (2010)
за авторством: Варбанец, Р.А., та інші
Опубліковано: (2010)
Агентно-ориентированная система извлечения знаний из распределенных источников информации
за авторством: Грунский, И.С., та інші
Опубліковано: (2009)
за авторством: Грунский, И.С., та інші
Опубліковано: (2009)
Виртуальная организация агентов для разработки онтологической базы знаний системы компьютерного обучения
за авторством: Вороной, А.С.
Опубліковано: (2010)
за авторством: Вороной, А.С.
Опубліковано: (2010)
Неитеративный синтез нейро-нечетких диагностических экспертных систем
за авторством: Субботин, С.А.
Опубліковано: (2009)
за авторством: Субботин, С.А.
Опубліковано: (2009)
Визуализация данных для анализа программного обеспечения с использованием экспертной системы
за авторством: Пригожев, А.С.
Опубліковано: (2009)
за авторством: Пригожев, А.С.
Опубліковано: (2009)
Операции пересечения и объединения нечеткого множества нечетких множеств
за авторством: Мащенко, С.О.
Опубліковано: (2012)
за авторством: Мащенко, С.О.
Опубліковано: (2012)
Оценка интерфейсов тестовых систем электронных учебников
за авторством: Звенигородский, А.С., та інші
Опубліковано: (2011)
за авторством: Звенигородский, А.С., та інші
Опубліковано: (2011)
О концепции создания интеллектуальных тестирующих систем
за авторством: Ковтун, С.А., та інші
Опубліковано: (2009)
за авторством: Ковтун, С.А., та інші
Опубліковано: (2009)
Оцінювання прогнозів при моделюванні зсувних процесів Південного берега Криму
за авторством: Таран, В.М.
Опубліковано: (2011)
за авторством: Таран, В.М.
Опубліковано: (2011)
Синтез модели оптимальной фильтрации сигнала для принятия решений на рынке ценных бумаг на основе модуляции его полезности
за авторством: Новиков, М.В.
Опубліковано: (2011)
за авторством: Новиков, М.В.
Опубліковано: (2011)
Проблемно-ситуационный подход к построению автоматизированного тренажёра оператора
за авторством: Петренко, Т.Г., та інші
Опубліковано: (2008)
за авторством: Петренко, Т.Г., та інші
Опубліковано: (2008)
До питання про цифрові моделі ґрунтів
за авторством: Крячок, О.С., та інші
Опубліковано: (2014)
за авторством: Крячок, О.С., та інші
Опубліковано: (2014)
Розрахунки оптимальних параметрів спрямованого хвилевідного відгалужувача і похибок перетворення низькоінтенсивних НЗВЧ-сигналів
за авторством: Куценко, В.П., та інші
Опубліковано: (2013)
за авторством: Куценко, В.П., та інші
Опубліковано: (2013)