Найдено научных статей и публикаций: 2, для научной тематики: Проверка решений
1.
Смирнова Н.В. Душкин Д.Н.
, 2012
-...
-
Современные технологии, материалы,оборудование и ускоренное
восстановление квалифицированного кадрового потенциала - ключевые
звенья в возрождении отечественного авиа- и ракетостроения: Сборник
докладов международной научно-практической конференции. Т.IV. Казань,
14-16 августа 2012 года. - Казань: Изд-во "Вертолет", 2012.- 608 c.558-564 с.
2.
Васильев С.Н., Смирнова Н.В., Суконнова А.А., Душкин Д.Н., Абраменков А.Н.
, 2012
Предлагаются методы интеллектуализации следящих систем обучения предметам естественно-научного цикла. Подробно описываются логические методы автоматизации решения задач и планирования действий, а также эвристические методы проверки решений задач с привлечением инструментов символьных вычислений....
Предлагаются методы интеллектуализации следящих систем обучения предметам естественно-научного цикла. Подробно описываются логические методы автоматизации решения задач и планирования действий, а также эвристические методы проверки решений задач с привлечением инструментов символьных вычислений.
Современные информационные технологии и ИТ-образование. Сборник избранных трудов VII Международной научно-практической конференции. Под ред. проф. В.А. Сухомлина. - М.: ИНТУИТ.РУ, 2012. 1050 c. -ISBN 978-5-9556-0140-3. c. 503-519