Open AccessВикористання програми Master of Logic для розв’язування задачі складання розкладу
Author(s) -
Костянтин Миколайович Любченко
Publication year - 2014
Publication title -
theory and methods of e-learning
Language(s) - Ukrainian
Resource type - Journals
ISSN - 2309-1495
DOI - 10.55056/e-learn.v4i1.388
Subject(s) - computer science
У статті розглядаються два способи розв’язування задачі складання розкладу, які засновані на використанні апарату математичної логіки, зокрема алгебри висловлень і булевих функцій, та інструментально-контролюючої програми Master of Logic.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom