Репозиторий научных и учебно-методических публикаций
Северо-Кавказский федеральный университет
Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
https://dspace.ncfu.ru/handle/20.500.12258/451| Название: | Математическая логика и теория алгоритмов |
| Авторы: | Макоха, А. Н. Шапошников, А. В. Бережной, В. В. |
| Ключевые слова: | Математическая логика;Теория алгоритмов |
| Дата публикации: | 2017 |
| Библиографическое описание: | Математическая логика и теория алгоритмов : учебное пособие : Специальность 10.05.01 – Компьютерная безопасность; Специализация «Математические методы защиты информации»; Квалификация выпускника – специалист / сост.: А.Н. Макоха, А.В. Шапошников, В.В. Бережной. – Ставрополь: СКФУ, 2017. – 418 с. |
| Краткий осмотр (реферат): | В пособии рассматриваются элементы теории множеств, аксиоматическое построение исчисления высказываний, исчисления предикатов, теорий первого порядка и их приложения к некоторым системам искусственного интеллекта; излагаются основные проблемы аксиоматического метода, уточнение интуитивного понятия алгоритма на языке частично рекурсивных функций и машин Тьюринга. |
| URI (Унифицированный идентификатор ресурса): | https://dspace.ncfu.ru:443/handle/20.500.12258/451 |
| Располагается в коллекциях: | Учебники, учебные пособия, практикумы |
Файлы этого ресурса:
Нет файлов, ассоциированных с этим ресурсом.
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.