Репозиторий научных и учебно-методических публикаций
Северо-Кавказский федеральный университет
Please use this identifier to cite or link to this item:
https://dspace.ncfu.ru/handle/20.500.12258/451| Title: | Математическая логика и теория алгоритмов |
| Authors: | Макоха, А. Н. Шапошников, А. В. Бережной, В. В. |
| Keywords: | Математическая логика;Теория алгоритмов |
| Issue Date: | 2017 |
| Citation: | Математическая логика и теория алгоритмов : учебное пособие : Специальность 10.05.01 – Компьютерная безопасность; Специализация «Математические методы защиты информации»; Квалификация выпускника – специалист / сост.: А.Н. Макоха, А.В. Шапошников, В.В. Бережной. – Ставрополь: СКФУ, 2017. – 418 с. |
| Abstract: | В пособии рассматриваются элементы теории множеств, аксиоматическое построение исчисления высказываний, исчисления предикатов, теорий первого порядка и их приложения к некоторым системам искусственного интеллекта; излагаются основные проблемы аксиоматического метода, уточнение интуитивного понятия алгоритма на языке частично рекурсивных функций и машин Тьюринга. |
| URI: | https://dspace.ncfu.ru:443/handle/20.500.12258/451 |
| Appears in Collections: | Учебники, учебные пособия, практикумы |
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.