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