Eлектронний посібник
"Елементи математичної логіки з комп'ютерною підтримкою"

Завантажити електронний посібник

Даний електронний посібник забезпечує інтерактивну взаємодію користувача з комп'ютером при навчанні питань, що розглядаються, шляхом виконання запропонованих прикладів за допомогою інструментально-контролюючої програми Master of Logic.

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

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

Приклад

Для розв'язання задач необхідно двічі натиснути ліву кнопку миші на цих даних.