Відмінності між версіями «Навчальний курс "Математична логіка", ФМФ»
(→Назва курсу) |
(→Мета та завдання навчального курсу) |
||
| Рядок 20: | Рядок 20: | ||
==Мета та завдання навчального курсу== | ==Мета та завдання навчального курсу== | ||
Курс “Математична логіка” посідає важливе місце в професійній підготовці в силу тієї ролі, яку математична логіка відіграє у висвітлені природи математики. Математична логіка сприяє вихованню культури логічного мислення, кращому розумінню структурно-логічної схеми курсу математики, глибшому проникненню в суть процесу доведення теорем та встановлення зв’язків між ними. Мета вивчення курсу “Математична логіка і теорія алгоритмів” полягає в тому, щоб ознайомити студентів з апаратом алгебри висловлень та його застосуваннями, основами логіки предикатів та формалізацією математичної мови, формалізованим аксіоматичним методом побудови математичних теорій, основами теорії алгоритмів. | Курс “Математична логіка” посідає важливе місце в професійній підготовці в силу тієї ролі, яку математична логіка відіграє у висвітлені природи математики. Математична логіка сприяє вихованню культури логічного мислення, кращому розумінню структурно-логічної схеми курсу математики, глибшому проникненню в суть процесу доведення теорем та встановлення зв’язків між ними. Мета вивчення курсу “Математична логіка і теорія алгоритмів” полягає в тому, щоб ознайомити студентів з апаратом алгебри висловлень та його застосуваннями, основами логіки предикатів та формалізацією математичної мови, формалізованим аксіоматичним методом побудови математичних теорій, основами теорії алгоритмів. | ||
| − | Завдання . | + | ===Завдання=== |
| + | 1) ознайомлення студентів із символікою алгебри висловлень, математичними та технічними застосуваннями апарата алгебри висловлень; | ||
| + | 2) ознайомлення з елементами теорії булевих функцій та вивчення поняття функціональної повноти; | ||
| + | 3) знайомство з суттю сучасного аксіоматичного методу та його проблемами; | ||
| + | 4) вивчення поняття логічного наслідку на базі алгебри висловлень та логіки предикатів, і застосування його при аналізі міркувань; | ||
| + | 5) вивчення основ логіки предикатів та її застосувань; | ||
| + | 6) ознайомлення з побудовою теорій першого порядку та проблемами несуперечності, повноти, незалежності аксіом, розв’язності; | ||
| + | 7) необхідність уточнення поняття алгоритму та вивчення різних способів його уточнення; | ||
| + | 8) з’ясування поняття алгоритмічно розв’язної та алгоритмічно нерозв’язної проблеми; | ||
| + | 9) вироблення навичок алгоритмізації різних видів діяльності. | ||
| + | |||
| + | |||
У результаті вивчення навчального курсу студент повинен | У результаті вивчення навчального курсу студент повинен | ||
| Рядок 30: | Рядок 41: | ||
[http://www.example.com Робоча програма курсу] | [http://www.example.com Робоча програма курсу] | ||
| + | |||
==Автор (автори) курсу== | ==Автор (автори) курсу== | ||
Посилання на сторінки авторів | Посилання на сторінки авторів | ||
Версія за 10:23, 9 жовтня 2015
Назва курсу
......
Галузь знань, напрям підготовки, освітньо-кваліфікаційний рівень:
Мета та завдання навчального курсу
Курс “Математична логіка” посідає важливе місце в професійній підготовці в силу тієї ролі, яку математична логіка відіграє у висвітлені природи математики. Математична логіка сприяє вихованню культури логічного мислення, кращому розумінню структурно-логічної схеми курсу математики, глибшому проникненню в суть процесу доведення теорем та встановлення зв’язків між ними. Мета вивчення курсу “Математична логіка і теорія алгоритмів” полягає в тому, щоб ознайомити студентів з апаратом алгебри висловлень та його застосуваннями, основами логіки предикатів та формалізацією математичної мови, формалізованим аксіоматичним методом побудови математичних теорій, основами теорії алгоритмів.
Завдання
1) ознайомлення студентів із символікою алгебри висловлень, математичними та технічними застосуваннями апарата алгебри висловлень; 2) ознайомлення з елементами теорії булевих функцій та вивчення поняття функціональної повноти; 3) знайомство з суттю сучасного аксіоматичного методу та його проблемами; 4) вивчення поняття логічного наслідку на базі алгебри висловлень та логіки предикатів, і застосування його при аналізі міркувань; 5) вивчення основ логіки предикатів та її застосувань; 6) ознайомлення з побудовою теорій першого порядку та проблемами несуперечності, повноти, незалежності аксіом, розв’язності; 7) необхідність уточнення поняття алгоритму та вивчення різних способів його уточнення; 8) з’ясування поняття алгоритмічно розв’язної та алгоритмічно нерозв’язної проблеми; 9) вироблення навичок алгоритмізації різних видів діяльності.
У результаті вивчення навчального курсу студент повинен
знати: ....................
вміти: ...................
Автор (автори) курсу
Посилання на сторінки авторів
