Математична логіка
Для вибору у 2022-2023 навчальному році
Всього годин: 150
Дисципліна знайомить з основними поняттями математичної логіки, що використовуються при прийнятті рішень за невизначеності ситуації, для логічного аналізу взаємодії суб’єктів та об’єктів дослідження і знаходження причин виникаючих порушень певних правил. Детально розглядаються питання: інтуїтивна та формальна логіки; розв’язування логічних задач у словесній, формальній та предикатній формах; пошук логічних закономірностей та викривлень логічного характеру в діяльності людини в усіх галузях (освіта, мистецтво, наука, мова, соціальні комунікації та ін.)
Мета курсу
Мета – формування компетентного спеціаліста в області математичної логіки, здатного застосовувати i розвивати основні положення дисципліни у науковій i навчальній діяльності, застосовувати апарат дисципліни у різних прикладних задачах математики, а також формування логічного, критичного, аналітичного мислення студентів.
Програмні результати навчання
У результаті вивчення навчальної дисципліни студенти повинні знати: основні поняття i теореми з математичної логіки; вмiти: користуватися конструктивними методами математичної логіки при побудові та реалізації формальних математичних моделей; користуватися ефективними алгоритмами доведення теорем; та досягти наступних програмних результатів навчання: 1. Володіння основними принципами та прийомами математичної логіки; уміння та здатність провадити логічний аналіз предметних задач та будувати логічні оцінки результатів досліджень, бачити помилки й огріхи в логіці міркувань.2. Розуміти можливості сучасних наукових методів пізнання, їх особливості й володіти ними на рівні, необхідному для вирішення нестандартних завдань та проблем в діяльності фахівця математики; уміння застосовувати теоретичні знання та практичні навички до розв’язування типових олімпіадних та конкурсних задач.
Автори курсу
Прошкін Володимир ВадимовичПідрозділ
Кафедра комп`ютерних наук і математики,Факультет інформаційних технологій та управління
Викладачі
Прошкін Володимир ВадимовичПризначення
(Бакалавр)
111.00.01 Математика
Період навчання
2-й рік
Розподіл
Курс / рік навчання | II | III | IV | |||
Семестр | 3 | 4 | 5 | 6 | 7 | 8 |
Розподіл кредитів (5) | 5 | 0 | 0 | 0 | 0 | 0 |
Години (150) | ||||||
Лекції | 30 | 0 | 0 | 0 | 0 | 0 |
...з них дистанційно | 30 | 0 | 0 | 0 | 0 | 0 |
Семінарські, практичні, лабораторні | 40 | 0 | 0 | 0 | 0 | 0 |
...з них дистанційно | 20 | 0 | 0 | 0 | 0 | 0 |
Модульний контроль | 10 | 0 | 0 | 0 | 0 | 0 |
...з них дистанційно | 10 | 0 | 0 | 0 | 0 | 0 |
Самостійна робота | 70 | 0 | 0 | 0 | 0 | 0 |
Кількість учасників
Одиниця | Студенти | Групи | Підгрупи |
Мінімальна кількість | 12 | 1 | 0 |
Максимальна кількість | 25 | 1 | 0 |