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