Дискретна математика. Числення предикатів
Дата
2026
Автори
Кузьменко, Ігор Миколайович
Науковий керівник
Назва журналу
Номер ISSN
Назва тому
Видавець
КПІ ім. Ігоря Сікорського
Анотація
У посібнику викладено основні поняття числення предикатів та основні поняття теорії доведень, їх використання. Посібник містить теоретичні викладки, пов’язані з численням предикатів у логіці 1-го порядку, побудовою дедуктивних висновків, теорією доведень, що включає метод математичної індукції та метод резолюцій. Крім теоретичних викладок, посібник також містить приклади та завдання, що допоможуть зрозуміти теоретичні поняття та закріпити їх практично. Навчальний посібник призначений для здобувачів ступеня бакалавра зі спеціальності F3 «Комп’ютерні науки». Посібник буде також корисним для фахівців в галузі інформаційних технологій, які самостійно знайомляться з численням предикатів та теорією доведень.
Опис
Ключові слова
предикат, квантор, теорія доведень, метод резолюцій
Бібліографічний опис
Кузьменко, І. М. Дискретна математика. Числення предикатів [Електронной ресурс] : навч. посіб. для здобувачів ступеня бакалавра за освіт. програмою «Цифрові технології в енергетиці» спец. F3 Комп’ютерні науки / І. М. Кузьменко ; КПІ ім. Ігоря Сікорського. – Електрон. текст. дані (1
файл: 781,08 Кбайт). – Київ : КПІ ім. ім. Ігоря Сікорського, 2026. – 57 с. – Назва з екрана.