Математична логіка та теорія алгоритмів. Практикум

Скорочена інформація про документ
dc.contributor.authorТемнікова, Олена Леонідівна
dc.date.accessioned2026-10-05T08:32:33Z
dc.date.available2026-10-05T08:32:33Z
dc.date.issued2026
dc.description.abstractНавчальний посібник розроблено для оволодіння студентами, які навчаються за спеціальністю F1 «Прикладна математика», освітньою програмою «Машинне навчаннята математичне моделювання» факультету програмних систем та прикладної математики КПІ ім. Ігоря Сікорського, практичними навичками з дисципліни «Математична логіка та теорія алгоритмів». Практикум містить основні теоретичні відомості та практичні прийоми для широкого спектра застосування і розв’язання задач з булевої алгебри; основні теоретичні відомості та практичні прийоми розв`язання задач з математичної логіки: основи формалізації та доведення логічних слідувань, вимоги до правил їх оформлення; поняття з основ теорії нетрадиційних логік та суджень для застосування методів багатозначних логік і нечітких множин, та з теорії алгоритмів, а саме з дослідження примітивно рекурсивних функцій, визначення основ арифметизації математики, побудови машин Тюрінґа та нормальних алгоритмів Маркова, засвоєння основних принципів і методів функціонального програмування.
dc.description.abstractotherThe study guide is designed to help students majoring in "Applied Mathematics" (Specialty F1) under the "Machine Learning and Mathematical Modeling" educational program at the Faculty of Software Systems and Applied Mathematics of Igor Sikorsky Kyiv Polytechnic Institute to acquire practical skills in the discipline "Mathematical Logic and Theory of Algorithms." The purpose of teaching the discipline is to master the basic concepts and methods required to form a worldview for mathematical logic as a fundamental science, designed to formalize knowledge, develop and use new information technologies, modeling complex systems, artificial intelligence systems. The manual provides core theoretical foundations and practical techniques for a wide range of applications and problem-solving in Boolean algebra. It covers essential theory and practical approaches to solving problems in mathematical logic, including: the basics of formalization and proving logical implications, along with formatting requirements; fundamental concepts of non-classical logics and propositions for the application of multi-valued logic and fuzzy set methods; key topics in the theory of algorithms, specifically the study of primitive recursive functions and the principles of the arithmetization of mathematics; the construction of Turing machines and Markov normal algorithms, as well as mastering the core principles and methods of functional programming.
dc.format.extent207 с.
dc.identifier.citationМатематична логіка та теорія алгоритмів. Практикум [Електронний ресурс] : навч. посіб. для студ. спеціальності F1 «Прикладна математика», освітньої програми «Машинне навчання та математичне моделювання» / О. Л. Темнікова ; КПІ ім. Ігоря Сікорського. – Електронні текстові дані (1 файл: 3,56 Мбайт). – Київ : КПІ ім. Ігоря Сікорського, 2026. – 207 с. – Назва з екрана.
dc.identifier.urihttps://ela.kpi.ua/handle/123456789/83673
dc.language.isouk
dc.publisherКПІ ім. Ігоря Сікорського
dc.publisher.placeКиїв
dc.titleМатематична логіка та теорія алгоритмів. Практикум
dc.typeLearning Object

Файли

Контейнер файлів
Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
Praktykum_MLTA.pdf
Розмір:
3.56 MB
Формат:
Adobe Portable Document Format
Завантажити
Ліцензійна угода
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
8.98 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Зібрання

Навчально-методичні матеріали (ПМА)