PROPAGATION-BASED CONSTRAINT SOLVER IN IMS
Journal Title: Інформаційні технології в освіті - Year 2012, Vol 1, Issue 11
Abstract
Article compiling the main ideas of creating propagation-based constraint solver, theoretical basis of constraint programming and its implementation in IMS (Insertion Modeling System)
Authors and Affiliations
I. O. Blynov
Keywords
Related Articles
- EP ID EP272557
- DOI 10.14308/ite000304
- Views 76
- Downloads 0
ПЕДАГОГИЧЕСКАЯ ДИАГНОСТИКА ПРИ ОРГАНИЗАЦИИ САМОСТОЯТЕЛЬНОЙ РАБОТЫ СТУДЕНТОВ СРЕДСТВАМИ ДИСТАНЦИОННОГО ОБУЧЕНИЯ
Рассмотрено сущность педагогической диагностики, ее функции в учебном процессе. Проанализировано применение педагогической диагностики в дистанционном обучении для помощи обучаемому в выборе целесообразного для него вари...
ОСОБЛИВОСТІ ПІДГОТОВКИ ВИКЛАДАЧІВ І СТУДЕНТІВ ДО ВИКОРИСТАННЯ ІНФОРМАЦІЙНИХ ТЕХНОЛОГІЙ НАВЧАННЯ МАТЕМАТИКИ У ВИЩИХ НАВЧАЛЬНИХ ЗАКЛАДАХ
У статті розглядаються актуальні питання вдосконалення навчального процесу у вищій школі на основі впровадження інформаційно-комунікаційних технологій навчання. Основна увага приділяється проблемі визначення умов і психо...
ВИКОРИСТАННЯ ІНФОРМАЦІЙНИХ ТЕХНОЛОГІЙ У ПРОЦЕСІ ФОРМУВАННЯ ЕКОЛОГІЧНОЇ КОМПЕТЕНТНОСТІ УЧНІВ НА УРОКАХ ФІЗИКИ
У статті розглянуто підходи до визначення поняття «компетентність», «екологічна компетентність» та на їх основі визначено роль, значення та шляхи формування екологічної компетентності школярів у процесі навчання фізики в...
МОДЕЛЮВАННЯ У СЕРЕДОВИЩІ MAPLE ЯК ЗАСІБ ДОСЛІДЖЕННЯ ФУНДАМЕНТАЛЬНИХ ПОНЯТЬ І ПРОЦЕДУР ЛІНІЙНОЇ АЛГЕБРИ
Стаття присвячена технології бінарного і «технології фундаментального навчання». Під бінарним навчанням розуміється одночасне навчання математики і інформатики, наприклад, диференціальних рівнянь і Maple, лінійної алгебр...
ФОРМУВАННЯ МАТЕМАТИЧНОЇ КОМПЕТЕНТНОСТІ У МАЙБУТНІХ ПРОГРАМІСТІВ ЗАСОБАМИ ІКТ
У статті розглядаються питання формування математичної компетенції в майбутніх програмістів за допомогою впровадження в процес навчання математичних дисциплін педагогічних програмних засобів, що передбачають використання...