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

МУЛЬТИМЕДІЙНИЙ РЕДАКТОР ВІРТУАЛЬНОЇ ФІЗИЧНОЇ ЛАБОРАТОРІЇ В СИСТЕМІ ДИСТАНЦІЙНОГО НАВЧАННЯ «ХЕРСОНСЬКИЙ ВІРТУАЛЬНИЙ УНІВЕРСИТЕТ»

Розглядаються питання моделювання структури об'єктів системи, проектування модулів програмного забезпечення і технології створення редактора віртуальної лабораторії. Актуальність дослідження зумовлена відсутністю в існую...

НАВЧАННЯ ІНФОРМАЦІЙНО-КОМУНІКАЦІЙНИМ ТЕХНОЛОГІЯМ СТУДЕНТІВ ПЕДАГОГІЧНИХ ВНЗ

У статті виділено та обґрунтовано інформаційно-змістові, операційно-діяльнісні навички та вміння майбутніх учителів, необхідні для оволодіння інформаційно-комунікаційними технологіями у професійній діяльності.

THE CONCEPT OF VOCATIONAL TRAINING OF FUTURE ELEMENTARY SCHOOL TEACHER TO INFORMATICS TRAINING

In the article the problem of professional training of future elementary school teacher to teach Informatics of junior schoolchild is revealed. Rapid development of information and communication technologies actualizes t...

ЕФЕКТИВНІСТЬ ВІРТУАЛЬНИХ ЛАБОРАТОРНИХ ПРАКТИКУМІВ З ФІЗІОЛОГІЇ ЛЮДИНИ І ТВАРИН У СТРУКТУРІ ПІДГОТОВКИ ФАХІВЦЯ-БІОЛОГА

У статті розглядається питання ефективності використання віртуального лабораторного практикуму з фізіології людини і тварин у структурі підготовки майбутнього фахівця-біолога замість реального модельного об’єкта на лабор...

FORMATION OF METHODICAL COMPETENCE OF FUTURE PRIMARY SCHOOL TEACHERS USING THE MULTIMEDIA METHODOLOGICAL COMPLEX

The future primary school teachers training to teach mathematics is carried out by means of the academic discipline «Methods of Teaching of Educational Branch «Mathematics»». The aim and result of the training is methodi...

Download PDF file
  • EP ID EP272557
  • DOI 10.14308/ite000304
  • Views 72
  • Downloads 0

How To Cite

I. O. Blynov (2012). PROPAGATION-BASED CONSTRAINT SOLVER IN IMS. Інформаційні технології в освіті, 1(11), 78-82. https://europub.co.uk/articles/-A-272557