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