Математична логіка та теорія алгоритмів. Конспект лекцій
Вантажиться...
Дата
2025
Автори
Науковий керівник
Назва журналу
Номер ISSN
Назва тому
Видавець
Кпі ім. Ігоря Сікорського
Анотація
Навчальний посібник розроблено для ознайомлення студентів з лекційним курсом дисципліни «Математична логіка та теорія алгоритмів» та призначено для студентів, які навчаються за спеціальністю 113 «Прикладна математика», освітньою програмою «Наука про дані та математичне моделювання» факультету прикладної математики КПІ ім. Ігоря Сікорського. «Математична логіка та теорія алгоритмів: Конспект лекцій» містить викладання основ булевої алгебри, законів пропозиційної логіки, кванторизації та методів логіки 1-го порядку; засобів формалізації знань, основ логічного програмування; теорії багатозначних та модальних логік, поняття нечітких множин та лінгвістичних змінних. В курсі розглядаються примітивно-рекурсивні функції, різні алгоритмічні схеми та філософія проблем обчислюваності.
Опис
Ключові слова
Бібліографічний опис
Темнікова, О. Л. Математична логіка та теорія алгоритмів. Конспект лекцій [Електронний ресурс] : навч. посіб. для студ. спеціальності 113 «Прикладна математика», освітньої програми «Наука про дані та математичне моделювання» / О. Л. Темнікова ; КПІ ім. Ігоря Сікорського. – 2-ге вид., перероб. – Електронні текстові дані (1 файл: 3,82 Мбайт). – Київ : КПІ ім. Ігоря Сікорського, 2025. – 251 с. – Назва з екрана.