Новые поступления (книга в стадии обработки) Математическая логика и теория алгоритмов [Текст] : учебное пособие. Специальность 10.05.01 – Компьютерная безопасность. Специализация «Математические методы защиты информации». Квалификация выпускника – специалист. - Ставрополь : изд-во СКФУ, 2017. - 418 с. - Б. ц.
Кл.слова (ненормированные): Математическая логика -- теория алгоритмов Аннотация: Пособие представляет курс лекций, освещающий наиболее важные разделы математической логики и теории алгоритмов, в нем рассматриваются элементы теории множеств, аксиоматическое построение исчисления высказываний, исчисления предикатов, теорий первого порядка и их приложения к некоторым системам искусственного интеллекта, излагаются основные проблемы аксиоматического метода, уточнение интуитивного понятия алгоритма на языке частично рекурсивных функций и машин Тьюринга. Изложение материала сопровождается содержательными примерами, приводятся вопросы и упражнения для самопроверки Доп. точки доступа: Бережной, В. В. (Составитель) Макоха, А. Н. (Составитель) Шапошников, А. В. (Составитель) |