Викладач: Карабін Оксана Йосифівна  – кандидат педагогічних наук, доцент.
Науковець ТНПУ ім. Володимира Гнатюка: http://www.library.tnpu.edu.ua/index.php/naukometriia/naukovtsi-tnpu/313-alfavitnyi-filtr/k/2975-karabin-oksana-yosyfivna
Електронний курс призначено для студентів фізико-математичного факультету спеціальності 014 Середня освіта (Інформатика).
Метаформування здатності студентів до логічного та математичного мислення, вирішення спеціалізованих та практичних завдань за допомогою аксіоматичних теорій, формальних моделей алгоритмів, що передбачає застосування відповідних теорій й методів та підходів математичної логіки для розв’язання теоретичних і прикладних завдань, які характеризується комплексністю оволодіння професійних знань і практичних навичок до майбутньої фахової діяльності.

Ключові слова:  пропозиційна логіка,  пропозиційне числення, теорема тавтології,  метод резолюцій, секвенційне числення, виразимість в АС, класичні алгебраїчні системи, теорія 1-го порядку.