Математична логіка та теорія алгоритмів. Практикум
Вантажиться...
Дата
2026
Автори
Науковий керівник
Назва журналу
Номер ISSN
Назва тому
Видавець
КПІ ім. Ігоря Сікорського
Анотація
Навчальний посібник розроблено для оволодіння студентами, які навчаються за спеціальністю F1 «Прикладна математика», освітньою програмою «Машинне навчаннята математичне моделювання» факультету програмних систем та прикладної математики КПІ ім. Ігоря Сікорського, практичними навичками з дисципліни «Математична логіка та теорія алгоритмів». Практикум містить основні теоретичні відомості та практичні прийоми для широкого спектра застосування і розв’язання задач з булевої алгебри; основні теоретичні відомості та практичні прийоми розв`язання задач з математичної логіки: основи формалізації та доведення логічних слідувань, вимоги до правил їх оформлення; поняття з основ теорії нетрадиційних логік та суджень для застосування методів багатозначних логік і нечітких множин, та з теорії алгоритмів, а саме з дослідження примітивно рекурсивних функцій, визначення основ арифметизації математики, побудови машин Тюрінґа та нормальних алгоритмів Маркова, засвоєння основних принципів і методів функціонального програмування.
Опис
Ключові слова
Бібліографічний опис
Математична логіка та теорія алгоритмів. Практикум [Електронний ресурс] : навч. посіб. для студ. спеціальності F1 «Прикладна математика», освітньої програми «Машинне навчання та математичне моделювання» / О. Л. Темнікова ; КПІ ім. Ігоря Сікорського. – Електронні текстові дані (1 файл: 3,56 Мбайт). – Київ : КПІ ім. Ігоря Сікорського, 2026. – 207 с. – Назва з екрана.