IPR SMART / Математическая логика и теория алгоритмов

Чтение online

Недоступно

Рейтинг издания

Математическая логика и теория алгоритмов. Учебное пособие

Издательство:

Северо-Кавказский федеральный университет

Авторы:

Макоха А.Н., Шапошников А.В., Бережной В.В.

Год издания:

2017

ISSN:

2227-8397

Тип издания:

учебное пособие

DOI:

не присвоен узнать подробнее

Об издании

Пособие представляет курс лекций, освещающий наиболее важные разделы математической логики и теории алгоритмов; в нем рассматриваются элементы теории множеств, аксиоматическое построение исчисления высказываний, исчисления предикатов, теорий первого порядка и их приложения к некоторым системам искусственного интеллекта; излагаются основные проблемы аксиоматического метода, уточнение интуитивного понятия алгоритма на языке частично рекурсивных функций и машин Тьюринга. Изложение материала сопровождается содержательными примерами, приводятся вопросы и упражнения для самопроверки. Предназначено для студентов математических и IT-специальностей; будет полезно преподавателям, ведущим курс математической логики и теории алгоритмов.

Библиографическая запись

Макоха, А. Н. Математическая логика и теория алгоритмов : учебное пособие / А. Н. Макоха, А. В. Шапошников, В. В. Бережной. — Ставрополь : Северо-Кавказский федеральный университет, 2017. — 418 c. — Текст : электронный // Цифровой образовательный ресурс IPR SMART : [сайт]. — URL: https://www.iprbookshop.ru/69397.html (дата обращения: 20.06.2024). — Режим доступа: для авторизир. пользователей

РЕКОМЕНДУЕМ К ПРОЧТЕНИЮ

Алгебра индексных объектов

Гущин А.В., Палевская С.А.

(Ай Пи Ар Медиа)

Интернет-предпринимательство. Моделирование монетизации EdTech-продуктов

Томасова Д.А., Кисличенко К.В.

(Ай Пи Ар Медиа)

Математическая связность и экстремальное планирование

Гущин А.В., Палевская С.А.

(Ай Пи Ар Медиа)

Математические средства решения задач управления логистическими системами

Алексеев Г.В., Холявин И.И.

(Ай Пи Ар Медиа)

Основы экономической теории

Дмитриева И.Е., Ярошенко Е.А.

(Профобразование, Ай Пи Ар Медиа)

Планирование, кластеризация и синтез знаний

Палевская С.А., Гущин А.В.

(Ай Пи Ар Медиа)

Синдром лихорадки в практике врача

Морозов Ю.М., Турчина М.С., Оболенская Т.И.

(Ай Пи Ар Медиа)

Теория вероятностей

Большакова Л.В.

(Ай Пи Ар Медиа)

C ЭТОЙ КНИГОЙ ТАКЖЕ ЧИТАЮТ

Релейная защита и автоматизация электроэнергетических систем

Куксин А.В.

(Ай Пи Ар Медиа)

Теория решения изобретательских задач

Алексеев Г.В., Жарикова Н.Б.

(Ай Пи Ар Медиа)

Анализ и диагностика финансового состояния предприятия

Выгодчикова И.Ю.

(Ай Пи Ар Медиа)

Финансовый менеджмент: методы и модели

Бородин А.И., Выгодчикова И.Ю., Наточеева Н.Н.

(Дашков и К)

Предпринимательское право

Акинфиева В.В., Аристов Е.В., Афанасьев А.Б., Богданов А.В., Валеев Д.Х., Воронцов С.Г., Глевич М.А., Голубцов В.Г., Загоруйко И.Ю., Клячин А.А., Кузнецова О.А., Латыпов Д.Н., Левченко С.А., Любимова...

(Статут)