Automatic Verification of Transformation Chains of Symbolic Inequalities Based on Logical Rules Search

Source: Приборы и системы. Управление, контроль, диагностика.

Subject Terms: преобразование символьных неравенств, игрофикация, education, automated solution verification, transformations of symbolic inequalities, gamification, образование, правила преобразований, автоматическая проверка решений, transformation rules

Задачи по программированию с трекингом решений

Authors: Бондарев, В. М., Черепанова, Ю. Ю.

Subject Terms: обучение программированию, трекинг решения, автоматическая проверка решений, контроль знаний

File Description: application/pdf

Relation: https://openarchive.nure.ua/handle/document/16165

Availability: https://openarchive.nure.ua/handle/document/16165

К АВТОМАТИЗИРОВАННОЙ ПРОВЕРКЕ РЕШЕНИЙ ОДНОГО КЛАССА ЗАДАЧ В СЛЕДЯЩИХ ИНТЕЛЛЕКТУАЛЬНЫХ ОБУЧАЮЩИХ СИСТЕМАХ

Authors: Смирнова, Наталия

Subject Terms: СЛЕДЯЩАЯ ИНТЕЛЛЕКТУАЛЬНАЯ ОБУЧАЮЩАЯ СИСТЕМА, АВТОМАТИЗИРОВАННАЯ ОБУЧАЮЩАЯ СИСТЕМА, АВТОМАТИЧЕСКАЯ ПРОВЕРКА РЕШЕНИЙ, ДЕРЕВО И/ИЛИ, СИМВОЛЬНЫЕ ВЫЧИСЛЕНИЯ, AND/OR GRAPH

File Description: text/html

Availability: http://cyberleninka.ru/article/n/k-avtomatizirovannoy-proverke-resheniy-odnogo-klassa-zadach-v-sledyaschih-intellektualnyh-obuchayuschih-sistemah
http://cyberleninka.ru/article_covers/15702215.png

К автоматизированной проверке решений одного класса задач в следящих интеллектуальных обучающих системах

Source: Управление большими системами: сборник трудов.

Subject Terms: СЛЕДЯЩАЯ ИНТЕЛЛЕКТУАЛЬНАЯ ОБУЧАЮЩАЯ СИСТЕМА, АВТОМАТИЗИРОВАННАЯ ОБУЧАЮЩАЯ СИСТЕМА, АВТОМАТИЧЕСКАЯ ПРОВЕРКА РЕШЕНИЙ, ДЕРЕВО И/ИЛИ, СИМВОЛЬНЫЕ ВЫЧИСЛЕНИЯ, AND/OR GRAPH

File Description: text/html

Access URL: http://cyberleninka.ru/article/n/k-avtomatizirovannoy-proverke-resheniy-odnogo-klassa-zadach-v-sledyaschih-intellektualnyh-obuchayuschih-sistemah
http://cyberleninka.ru/article_covers/15702215.png

Веб-портал для обучения программированию ; Web Portal for Teaching Programming

Authors: Бондарев, В. М., Черепанова, Ю. Ю.

Subject Terms: обучение программированию, контроль знаний, автоматическая проверка решений, teaching of programming, knowledge control, automatic testing

File Description: application/pdf

Relation: https://openarchive.nure.ua/handle/document/16379

Availability: https://openarchive.nure.ua/handle/document/16379

Портал для дистанционного обучения программированию

Authors: Бондарев, В. М., Черепанова, Ю. Ю.

Subject Terms: обучение программированию, автоматическая проверка решений, контроль знаний

File Description: application/pdf

Relation: https://openarchive.nure.ua/handle/document/16380

Availability: https://openarchive.nure.ua/handle/document/16380

Решение задач как основа обучения программированию в университете ; Solving Tasks as a Basis for Learning Programming in the University

Authors: Бондарев, В. М., Черепанова, Ю. Ю.

Subject Terms: обучение программированию, контроль знаний, автоматическая проверка решений, teaching of programming, knowledge control, automatic testing

File Description: application/pdf

Relation: https://openarchive.nure.ua/handle/document/16378

Availability: https://openarchive.nure.ua/handle/document/16378