Электронное пособие
"Елементи математичної логіки з комп'ютерною підтримкою"
(на украинском языке)

Загрузить электронное пособие

Данное электронное пособие обеспечивает интерактивное взаимодействие пользователя с компьютером при изучении рассматриваемых вопросов посредством выполнения предложенных примеров с помощью инструментально-контролирующей программы Master of Logic.

Для успешного осуществления данного взаимодействия необходимо иметь установленную на компьютере программу Master of Logic (http://lkn.univer.cherkassy.ua).

В пособии содержатся примеры задач, которые можно успешно решить, используя инструментально-контролирующую программу Master of Logic. Для этого необходимо нажать левой кнопкой мыши на тексте, который подчеркнут синей линией. В результате программа загрузится вместе с соответствующими данными, которые будут расположены в таблице внизу главного окна Master of Logic, например:

Пример

Для решения задач необходимо дважды нажать левую кнопку мыши на этих данных.