Математична логіка та теорія алгоритмів: Конспект лекцій

Скорочена інформація про документ
dc.contributor.authorТемнікова, Олена Леонідівна
dc.date.accessioned2021-12-23T12:03:26Z
dc.date.available2021-12-23T12:03:26Z
dc.date.issued2021-12-09
dc.description.abstractenThe tutorial is developed to familiarize students with the lecture course "Mathematical logic and theory of algorithms". The tutorial includes the introduction and 10 sections on topics taught in the credit module. The purpose of teaching the discipline is to master the basic concepts and methods required to form a worldview for mathematical logics as a fundamental science, designed to formalize knowledge, develop and use new information technologies, modeling complex systems, artificial intelligence systems. The tutorial is aimed at students of the speciality 113 Applied Mathematics, educational program "Data Science and Mathematical Modeling", Faculty of Applied Mathematics KPI them. Igor Sikorsky. " Mathematical logic and theory of algorithms: Lecture Notes" contains teaching the basics laws of propositional logic, quantization and methods of 1st order logic; means of formalizing knowledge, basics of logical programming; theories of multivalued and modal logics, the concept of fuzzy sets and linguistic variables. The course considers primitive-recursive functions, various algorithmic schemes and the philosophy of computability problems.uk
dc.description.abstractruУчебное пособие предназначено для ознакомления студентов с лекционным курсом "Математическая логика и теория алгоритмов". Учебное пособие состоит из введения и 10 разделов по темам, которые излагаются в кредитном модуле. Целью преподавания дисциплины является овладевание основными понятиями и методами, необходимыми для формирования мировоззрения на математическую логику как фундаментальную науку, предназначенную для формализации знаний, разработки и использования новых информационных технологий, моделирования сложных систем, систем искусственного интеллекта. Учебное издание предназначено для студентов, обучающихся по специальности 113 Прикладная математика, образовательной программы «Наука о данных и математическом моделировании» факультета прикладной математики КПИ им. Игоря Сикорского. "Математическая логика и теория алгоритмов" содержит изложение законов пропозициональной логики, кванторизации и методов логики 1-го порядка; средств формализации знаний, основ логического программирования; теории многозначных и модальных логик; понятие нечетких множеств и лингвистических переменных. В курсе рассматриваются примитивно-рекурсивные функции, различные алгоритмические схемы и философские вопросы проблем вычислимости.uk
dc.description.abstractukНавчальний посібник розроблено для ознайомлення студентів з лекційним курсом «Математична логіка та теорія алгоритмів». Навчальний посібник складається зі вступу та 10 розділів, за темами, що викладаються в кредитному модулі. Метою викладання дисципліни є оволодіння основними поняттями і методами, що необхідні для формування світогляду на математичну логіку як на фундаментальну науку, що призначена для формалізації знань, розробки і використання нових інформаційних технологій, моделювання складних систем, систем штучного інтелекту. Навчальне видання призначене для студентів, які навчаються за спеціальністю 113 Прикладна математика, освітньою програмою «Наука про дані та математичне моделювання» факультету прикладної математики КПІ ім. Ігоря Сікорського. «Математична логіка та теорія алгоритмів» містить викладання законів пропозиційної логіки, кванторизації та методів логіки 1-го порядку; засобів формалізації знань, основ логічного програмування; теорії багатозначних та модальних логік, поняття нечітких множин та лінгвістичних змінних. В курсі розглядаються примітивно-рекурсивні функції, різні алгоритмічні схеми та філософія проблем обчислюванності.uk
dc.format.page177 с.uk
dc.identifier.citationТемнікова, О. Л. Математична логіка та теорія алгоритмів: Конспект лекцій [Електронний ресурс] : навч. посіб. для студ. спеціальності 113 «Прикладна математика», освітньої програми «Наука про дані та математичне моделювання» / О. Л. Темнікова ; КПІ ім. Ігоря Сікорського. – Електронні текстові дані (1 файл: 3,69 Мбайт). – Київ : КПІ ім. Ігоря Сікорського, 2021. – 177 с. – Назва з екрана.uk
dc.identifier.urihttps://ela.kpi.ua/handle/123456789/45670
dc.language.isoukuk
dc.publisherКПІ ім. Ігоря Сікорськогоuk
dc.publisher.placeКиївuk
dc.subjectматематична логікаuk
dc.subjectалгоритмічні схемиuk
dc.subjectрекурсивні фугкціїuk
dc.subjectнечіткі множиниuk
dc.titleМатематична логіка та теорія алгоритмів: Конспект лекційuk
dc.typeMethodical Materialuk

Файли

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

Зібрання

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