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