Полное описание

467015
Математическая логика и теория алгоритмов : учебное пособие ; сост. А. Н. Макоха / сост. А. Н. Макоха ; сост.: А. Н. Макоха [и др.]. - Ставрополь : Северо-Кавказский Федеральный университет (СКФУ), 2017. - 418 с. - URL: https://biblioclub.ru/index.php?page=book&id=467015 (дата обращения: 25.04.2024) . - Режим доступа: Электронно-библиотечная система "Университетска библиотека ONLINE", требуется авторизация. - Библиогр. в кн. - Б. ц.

	УДК
	94(5)(075.8)

	ББК
	22.12я73

Кл.слова (ненормированные): Учебник для высшей школы
Аннотация: Пособие представляет курс лекций, освещающий наиболее важные разделы математической логики и теории алгоритмов; в нем рассматриваются элементы теории множеств, аксиоматическое построение исчисления высказываний, исчисления предикатов, теорий первого порядка и их приложения к некоторым системам искусственного интеллекта; излагаются основные проблемы аксиоматического метода, уточнение интуитивного понятия алгоритма на языке частично рекурсивных функций и машин Тьюринга. Изложение материала сопровождается содержательными примерами, приводятся вопросы и упражнения для самопроверки. Предназначено для студентов математических и IT-специальностей; будет полезно преподавателям, ведущим курс математической логики и теории алгоритмов.
Доп. точки доступа:
Макоха, А. Н.\сост.\
Шапошников, А. В.\сост.\
Бережной, В. В.\сост.\

https://biblioclub.ru/index.php?page=book&id=467015

Просмотр издания Электронно-библиотечная система "Университетска библиотека ONLINE", требуется авторизация