Open AccessВикористання програми Master of Logic для розв’язування задачі складання розкладу
Author(s) -
Костянтин Миколайович Любченко
Publication year - 2014
Publication title -
teorìâ ta metodika elektronnogo navčannâ
Language(s) - Ukrainian
Resource type - Journals
ISSN - 2309-1495
DOI - 10.55056/e-learn.v4i1.388
Subject(s) - computer science
У статті розглядаються два способи розв’язування задачі складання розкладу, які засновані на використанні апарату математичної логіки, зокрема алгебри висловлень і булевих функцій, та інструментально-контролюючої програми Master of Logic.