Відмінності між версіями «Навчальний курс "Математична логіка", ФМФ»
Матеріал з Вікі ЦДУ
(→Завдання) |
|||
| (не показано 38 проміжних версій цього учасника) | |||
| Рядок 14: | Рядок 14: | ||
=Назва курсу= | =Назва курсу= | ||
| − | + | <big>Математична логіка та теорія алгоритмів</big> | |
| − | + | ||
| − | + | ||
| − | + | для стеціальностей: | |
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | 6.040201 Математика* економіка М12Е | |
| − | + | 6.040201 Математика* 6.040302 Інформатика* М12І | |
| − | + | 6.040201 Математика* 6.040203 Фізика* М12Ф | |
| − | + | ''Галузь знань:'' 0402 Фізико-математичні науки | |
| + | ''Напрям підготовки:'' 6.040201 Математика* | ||
| + | ''Додаткова спеціальність'': 6.040203 Фізика* | ||
| + | ''Додаткова спеціальність'': 6.040302 Інформатика* | ||
| + | ''Спеціалізація'': економіка | ||
| − | + | <big>Математична логіка з елементами нечіткої логіки</big> | |
| − | + | для стеціальності: | |
| − | + | 6.040205 Статистика СТ12 | |
| − | + | ''Галузь знань:'' 0402 Фізико-математичні науки | |
| − | + | ''Напрям підготовки:'' 6.040205 Статистика | |
| − | |||
| − | + | Освітньо-кваліфікаційний рівень: бакалавр | |
| − | + | ==Мета та завдання навчального курсу== | |
| + | Курс “Математична логіка” посідає важливе місце в професійній підготовці в силу тієї ролі, яку математична логіка відіграє у висвітлені природи математики. Математична логіка сприяє вихованню культури логічного мислення, кращому розумінню структурно-логічної схеми курсу математики, глибшому проникненню в суть процесу доведення теорем та встановлення зв’язків між ними. Мета вивчення курсу “Математична логіка і теорія алгоритмів” полягає в тому, щоб ознайомити студентів з апаратом алгебри висловлень та його застосуваннями, основами логіки предикатів та формалізацією математичної мови, формалізованим аксіоматичним методом побудови математичних теорій, основами теорії алгоритмів. | ||
| + | ===Завдання=== | ||
| + | |||
| + | # ознайомлення студентів із символікою алгебри висловлень, математичними та технічними застосуваннями апарата алгебри висловлень; | ||
| + | # ознайомлення з елементами теорії булевих функцій та вивчення поняття функціональної повноти; | ||
| + | # знайомство з суттю сучасного аксіоматичного методу та його проблемами; | ||
| + | # вивчення поняття логічного наслідку на базі алгебри висловлень та логіки предикатів, і застосування його при аналізі міркувань; | ||
| + | # вивчення основ логіки предикатів та її застосувань; | ||
| + | # ознайомлення з побудовою теорій першого порядку та проблемами несуперечності, повноти, незалежності аксіом, розв’язності; | ||
| + | # необхідність уточнення поняття алгоритму та вивчення різних способів його уточнення; | ||
| + | # з’ясування поняття алгоритмічно розв’язної та алгоритмічно нерозв’язної проблеми; | ||
| + | # вироблення навичок алгоритмізації різних видів діяльності. | ||
| + | |||
| − | [http:// | + | [http://owncloud.kspu.kr.ua/index.php/s/Nw418AVdlA4YiGb | Робоча програма курсу] |
==Автор (автори) курсу== | ==Автор (автори) курсу== | ||
| − | + | [[Користувач:Zhaletska|Халецька Зоя Петрівна]] | |
| + | |||
| + | |||
| + | [[Файл:f93d3d921bb58aeaf61d6e152d37d6c50415.jpg|100пкс]] | ||
| + | [[Файл:1010377833.jpg|100пкс]] | ||
| + | [[Файл:0 1690ae c349caeb orig.jpeg|100пкс]] | ||
| + | [[Файл:F93d3d921bb58aeaf61d6e152d37d6c50415 1.jpg|100пкс]] | ||
| + | [[Файл:12824.jpg|100пкс]] | ||
| + | [[Файл:B1200299.jpg|100пкс]] | ||
| + | [[Файл:B522925.jpg|100пкс]] | ||
| + | [[Файл:17767.jpg|100пкс]] | ||
| + | [[Файл:30837237.jpg|100пкс]] | ||
| + | [[Файл:21044.jpg|100пкс]] | ||
| + | [[Файл:1407064.jpg|100пкс]] | ||
| + | [[Файл:2953298.jpg|100пкс]] | ||
| + | [[Файл:Flowstorage.ru.jpeg|130пкс]] | ||
| + | [[Файл:1000282776.jpg|100пкс]] | ||
| + | [[Файл:1010373494.jpg|100пкс]] | ||
Поточна версія на 11:49, 6 листопада 2015
Головна
Назва курсу
Математична логіка та теорія алгоритмів
для стеціальностей:
6.040201 Математика* економіка М12Е
6.040201 Математика* 6.040302 Інформатика* М12І
6.040201 Математика* 6.040203 Фізика* М12Ф
Галузь знань: 0402 Фізико-математичні науки Напрям підготовки: 6.040201 Математика* Додаткова спеціальність: 6.040203 Фізика* Додаткова спеціальність: 6.040302 Інформатика* Спеціалізація: економіка
Математична логіка з елементами нечіткої логіки
для стеціальності:
6.040205 Статистика СТ12
Галузь знань: 0402 Фізико-математичні науки Напрям підготовки: 6.040205 Статистика
Освітньо-кваліфікаційний рівень: бакалавр
Мета та завдання навчального курсу
Курс “Математична логіка” посідає важливе місце в професійній підготовці в силу тієї ролі, яку математична логіка відіграє у висвітлені природи математики. Математична логіка сприяє вихованню культури логічного мислення, кращому розумінню структурно-логічної схеми курсу математики, глибшому проникненню в суть процесу доведення теорем та встановлення зв’язків між ними. Мета вивчення курсу “Математична логіка і теорія алгоритмів” полягає в тому, щоб ознайомити студентів з апаратом алгебри висловлень та його застосуваннями, основами логіки предикатів та формалізацією математичної мови, формалізованим аксіоматичним методом побудови математичних теорій, основами теорії алгоритмів.
Завдання
- ознайомлення студентів із символікою алгебри висловлень, математичними та технічними застосуваннями апарата алгебри висловлень;
- ознайомлення з елементами теорії булевих функцій та вивчення поняття функціональної повноти;
- знайомство з суттю сучасного аксіоматичного методу та його проблемами;
- вивчення поняття логічного наслідку на базі алгебри висловлень та логіки предикатів, і застосування його при аналізі міркувань;
- вивчення основ логіки предикатів та її застосувань;
- ознайомлення з побудовою теорій першого порядку та проблемами несуперечності, повноти, незалежності аксіом, розв’язності;
- необхідність уточнення поняття алгоритму та вивчення різних способів його уточнення;
- з’ясування поняття алгоритмічно розв’язної та алгоритмічно нерозв’язної проблеми;
- вироблення навичок алгоритмізації різних видів діяльності.
Автор (автори) курсу
