Версія за 11:24, 9 жовтня 2015

Назва курсу

Математична логіка та теорія алгоритмів

для стеціальностей:

6.040201 Математика* економіка М12Е

6.040201 Математика* 6.040302 Інформатика* М12І

6.040201 Математика* 6.040203 Фізика* М12Ф

Галузь знань, напрям підготовки, освітньо-кваліфікаційний рівень: бакалавр

Мета та завдання навчального курсу

Курс “Математична логіка” посідає важливе місце в професійній підготовці в силу тієї ролі, яку математична логіка відіграє у висвітлені природи математики. Математична логіка сприяє вихованню культури логічного мислення, кращому розумінню структурно-логічної схеми курсу математики, глибшому проникненню в суть процесу доведення теорем та встановлення зв’язків між ними. Мета вивчення курсу “Математична логіка і теорія алгоритмів” полягає в тому, щоб ознайомити студентів з апаратом алгебри висловлень та його застосуваннями, основами логіки предикатів та формалізацією математичної мови, формалізованим аксіоматичним методом побудови математичних теорій, основами теорії алгоритмів.

Завдання

1. ознайомлення студентів із символікою алгебри висловлень, математичними та технічними застосуваннями апарата алгебри висловлень;
2. ознайомлення з елементами теорії булевих функцій та вивчення поняття функціональної повноти;
3. знайомство з суттю сучасного аксіоматичного методу та його проблемами;
4. вивчення поняття логічного наслідку на базі алгебри висловлень та логіки предикатів, і застосування його при аналізі міркувань;
5. вивчення основ логіки предикатів та її застосувань;
6. ознайомлення з побудовою теорій першого порядку та проблемами несуперечності, повноти, незалежності аксіом, розв’язності;
7. необхідність уточнення поняття алгоритму та вивчення різних способів його уточнення;
8. з’ясування поняття алгоритмічно розв’язної та алгоритмічно нерозв’язної проблеми;
9. вироблення навичок алгоритмізації різних видів діяльності.

У результаті вивчення навчального курсу студент повинен

знати: ....................

вміти: ...................

Робоча програма курсу

Автор (автори) курсу

Халецька Зоя Петрівна