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