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 ЭТОЙ КНИГОЙ ТАКЖЕ ЧИТАЮТ

Общая психология

Резепов И.Ш.

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

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

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

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

Готовимся к будущей профессии. Филологический модуль: лингвистика

Юшина Н.А., Кузьмина Е.О.

(Московский педагогический государственный университет)

Информационно-коммуникационные технологии в профессиональной деятельности педагога

Глотова М.Ю., Самохвалова Е.А.

(Московский педагогический государственный университет)

Цифровое будущее или экономика счастья?

Черновалов А.В., Цекановский З., Шиманьский З., Черновалов П.А.

(Дашков и К)

Политическая психология

Шестопал Е.Б.

(Аспект Пресс)

Психолингвистические основы коммуникации

Помуран Н.Н., Кириченко Е.Н.

(Новосибирский государственный технический университет)

Цвет в живописи

Бугаенко Т.Ф.

(Омский государственный технический университет)

Этот сайт использует «cookies». Условия использования «cookies» см. в Пользовательском соглашении. Также сайт использует инструменты для сбора технических данных касательно посетителей с целью получения маркетинговой и статистической информации. Условия обработки данных посетителей сайта см. в Политике конфиденциальности. В случае несогласия с обработкой данных, просим покинуть сайт Принять условия