Навчальний курс "Математична логіка", ФМФ
Назва курсу
......
Галузь знань, напрям підготовки, освітньо-кваліфікаційний рівень:
Мета та завдання навчального курсу
Курс “Математична логіка” посідає важливе місце в професійній підготовці в силу тієї ролі, яку математична логіка відіграє у висвітлені природи математики. Математична логіка сприяє вихованню культури логічного мислення, кращому розумінню структурно-логічної схеми курсу математики, глибшому проникненню в суть процесу доведення теорем та встановлення зв’язків між ними. Мета вивчення курсу “Математична логіка і теорія алгоритмів” полягає в тому, щоб ознайомити студентів з апаратом алгебри висловлень та його застосуваннями, основами логіки предикатів та формалізацією математичної мови, формалізованим аксіоматичним методом побудови математичних теорій, основами теорії алгоритмів. Завдання .....................
У результаті вивчення навчального курсу студент повинен
знати: ....................
вміти: ...................
Автор (автори) курсу
Посилання на сторінки авторів
