Математична логіка
Для вивчення у 2026-2027 навчальному році
Всього годин: 120
Логіка як уміння мислити завжди привертала увагу філософів минулих часів та вчених на всіх етапах розвитку науки. Але на чіткий рівень сучасних вимог вона змогла піднятись тільки останнім часом у зв’язку з наявністю багатьох проблем у обгрунтуванні висновків багатьох досліджень. Все це формувало крок за кроком суму знань, відомих сьогодні як математична логіка. Пропонований курс має на меті надати вашим інтуїтивним уявленням про закони і правила логіки, а також про закони доведення математичних тверджень теоретико-множинну форму, повністю абстраговану від конкретного побутового наповнення основних логічних конструкцій.
Мета курсу
Формування у студентів основних уявлень про зміст та методи математичної логіки, її закони та формальні об'єкти, побудовані у символьному вигляді за певними формальними правилами, формування
компетентного спеціаліста в області математичної логіки, здатного застосовувати
i розвивати основні положення дисципліни у науковій i навчальній діяльності,
застосовувати апарат дисципліни у різних прикладних задачах математики та
комп’ютерних наук; формування логічного, критичного, аналітичного мислення
студентів.
Програмні результати навчання
Застосовувати знання основних форм і законів
абстрактно-логічного мислення, основ методології наукового пізнання, форм і
методів вилучення, аналізу, обробки та синтезу інформації в предметній області
комп'ютерних наук;
використовувати сучасний математичний апарат неперервного та
дискретного аналізу, лінійної алгебри, аналітичної геометрії, в професійній
діяльності для розв’язання задач теоретичного та прикладного характеру в
процесі проектування та реалізації об’єктів інформатизації;
проектувати, розробляти та аналізувати алгоритми
розв’язання обчислювальних та логічних задач, оцінювати ефективність та
складність алгоритмів на основі застосування формальних моделей алгоритмів та
обчислюваних функцій.
Автори курсу
Радченко Сергій ПетровичПідрозділ
Кафедра математики і фізики,Факультет інформаційних технологій і математики
Викладачі
Радченко Сергій ПетровичПризначення
(Бакалавр)
1.E7.00.01 Математика
Період навчання
2-й рік
Розподіл
| Курс / рік навчання | II | III | IV | |||
| Семестр | 3 | 4 | 5 | 6 | 7 | 8 |
| Розподіл кредитів (4) | 0 | 4 | 0 | 0 | 0 | 0 |
Кількість учасників
| Одиниця | Студенти | Групи | Підгрупи |
| Мінімальна кількість | 12 | 1 | 0 |
| Максимальна кількість | 25 | 1 | 0 |