Поиск :
Личный кабинет :
Электронный каталог: Математическая логика и теория алгоритмов
Математическая логика и теория алгоритмов
Нет экз.
Электронный ресурс
Автор:
Математическая логика и теория алгоритмов : учебное пособие
Издательство: СКФУ, 2017 г.
ISBN отсутствует
Автор:
Математическая логика и теория алгоритмов : учебное пособие
Издательство: СКФУ, 2017 г.
ISBN отсутствует
Электронный ресурс
Математическая логика и теория алгоритмов : учебное пособие / сост. А. Н. Макоха ; сост. А. В. Шапошников ; сост. В. В. Бережной ; Министерство образования РФ ; Федеральное государственное автономное образовательное учреждение высшего образования «Северо-Кавказский федеральный университет» . - Ставрополь : СКФУ, 2017 . - 418 с. - Режим доступа : http://biblioclub.ru/index.php?page=book&id=467015 . - http://biblioclub.ru/ . - Библиогр. в кн . - На рус. яз.
Пособие представляет курс лекций, освещающий наиболее важные разделы математической логики и теории алгоритмов; в нем рассматриваются элементы теории множеств, аксиоматическое построение исчисления высказываний, исчисления предикатов, теорий первого порядка и их приложения к некоторым системам искусственного интеллекта; излагаются основные проблемы аксиоматического метода, уточнение интуитивного понятия алгоритма на языке частично рекурсивных функций и машин Тьюринга. Изложение материала сопровождается содержательными примерами, приводятся вопросы и упражнения для самопроверки. Предназначено для студентов математических и IT-специальностей; будет полезно преподавателям, ведущим курс математической логики и теории алгоритмов.
94(5)(075.8)
основной = ЭБС Университетская библиотека
Математическая логика и теория алгоритмов : учебное пособие / сост. А. Н. Макоха ; сост. А. В. Шапошников ; сост. В. В. Бережной ; Министерство образования РФ ; Федеральное государственное автономное образовательное учреждение высшего образования «Северо-Кавказский федеральный университет» . - Ставрополь : СКФУ, 2017 . - 418 с. - Режим доступа : http://biblioclub.ru/index.php?page=book&id=467015 . - http://biblioclub.ru/ . - Библиогр. в кн . - На рус. яз.
Пособие представляет курс лекций, освещающий наиболее важные разделы математической логики и теории алгоритмов; в нем рассматриваются элементы теории множеств, аксиоматическое построение исчисления высказываний, исчисления предикатов, теорий первого порядка и их приложения к некоторым системам искусственного интеллекта; излагаются основные проблемы аксиоматического метода, уточнение интуитивного понятия алгоритма на языке частично рекурсивных функций и машин Тьюринга. Изложение материала сопровождается содержательными примерами, приводятся вопросы и упражнения для самопроверки. Предназначено для студентов математических и IT-специальностей; будет полезно преподавателям, ведущим курс математической логики и теории алгоритмов.
94(5)(075.8)
основной = ЭБС Университетская библиотека