Репозиторий научных и учебно-методических публикаций
Северо-Кавказский федеральный университет
Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
https://dspace.ncfu.ru/handle/20.500.12258/451Полная запись метаданных
| Поле DC | Значение | Язык |
|---|---|---|
| dc.contributor.author | Макоха, А. Н. | - |
| dc.contributor.author | Шапошников, А. В. | - |
| dc.contributor.author | Бережной, В. В. | - |
| dc.date.accessioned | 2018-06-05T08:48:35Z | - |
| dc.date.available | 2018-06-05T08:48:35Z | - |
| dc.date.issued | 2017 | - |
| dc.identifier.citation | Математическая логика и теория алгоритмов : учебное пособие : Специальность 10.05.01 – Компьютерная безопасность; Специализация «Математические методы защиты информации»; Квалификация выпускника – специалист / сост.: А.Н. Макоха, А.В. Шапошников, В.В. Бережной. – Ставрополь: СКФУ, 2017. – 418 с. | ru |
| dc.identifier.uri | https://dspace.ncfu.ru:443/handle/20.500.12258/451 | - |
| dc.description.abstract | В пособии рассматриваются элементы теории множеств, аксиоматическое построение исчисления высказываний, исчисления предикатов, теорий первого порядка и их приложения к некоторым системам искусственного интеллекта; излагаются основные проблемы аксиоматического метода, уточнение интуитивного понятия алгоритма на языке частично рекурсивных функций и машин Тьюринга. | ru |
| dc.language.iso | ru | ru |
| dc.subject | Математическая логика | ru |
| dc.subject | Теория алгоритмов | ru |
| dc.title | Математическая логика и теория алгоритмов | ru |
| dc.type | Книга | ru |
| vkr.spec | 10.04.01 Информационная безопасность «Математическое и программное обеспечение защиты информации» | ru |
| Располагается в коллекциях: | Учебники, учебные пособия, практикумы | |
Файлы этого ресурса:
Нет файлов, ассоциированных с этим ресурсом.
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.