Математическая логика и теория алгоритмов. Учебник
Об издании
В основу учебника положен курс лекций по дисциплине, читавшийся автором в течение более десяти лет для студентов различных специальностей Камчатского государственного технического университета и Камчатского государственного университета им. В. Беринга. В нем рассматриваются элементы теории множеств, алгебра высказываний и алгебра предикатов, аксиоматическое построение логики, изучены основные уточнения понятия алгоритма. Подготовлен в соответствии с Федеральным государственным образовательным стандартом высшего образования. Предназначен для изучения дисциплины «Математическая логика и теория алгоритмов» студентами, обучающимися по направлению подготовки бакалавриата 01.03.02 «Прикладная математика и информатика», укрупненной группе направлений подготовки 09.00.00 «Информатика и вычислительная техника», а также может использоваться студентами направления подготовки 44.03.05 «Педагогическое образование (с двумя профилями подготовки)» (профили «Начальное образование» и «Математика»). Учебник будет полезен преподавателям, ведущим курс математической логики и теории алгоритмов.
Библиографическая запись
Горюшкин А.П. Математическая логика и теория алгоритмов : учебник / Горюшкин А.П.. — Саратов : Вузовское образование, 2022. — 499 c. — ISBN 978-5-4487-0808-4. — Текст : электронный // Цифровой образовательный ресурс IPR SMART : [сайт]. — URL: https://www.iprbookshop.ru/117296.html (дата обращения: 30.03.2025). — Режим доступа: для авторизир. пользователей
РЕКОМЕНДУЕМ К ПРОЧТЕНИЮ
Князьков В.С., Волченская Т.В.
(Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа)
Зыков С.В.
(Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа)
.jpg)
Сухов В.Д., Киселев А.А., Сазонов А.И.
(EDP Hub (Идипи Хаб), Ай Пи Ар Медиа)
Куликов А.И., Овчинникова Т.Э.
(Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа)
Сухов В.Д., Киселев А.А., Сазонов А.И.
(EDP Hub (Идипи Хаб), Ай Пи Ар Медиа)
Сухов В.Д., Киселев А.А., Сазонов А.И.
(EDP Hub (Идипи Хаб), Профобразование)
Князьков В.С., Волченская Т.В.
(Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа)
Зыков С.В.
(Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа)
Сухов В.Д., Киселев А.А., Сазонов А.И.
(EDP Hub (Идипи Хаб), Ай Пи Ар Медиа)
Куликов А.И., Овчинникова Т.Э.
(Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа)
Сухов В.Д., Киселев А.А., Сазонов А.И.
(EDP Hub (Идипи Хаб), Ай Пи Ар Медиа)
Сухов В.Д., Киселев А.А., Сазонов А.И.
(EDP Hub (Идипи Хаб), Профобразование)
C ЭТОЙ КНИГОЙ ТАКЖЕ ЧИТАЮТ
Воличенко О.В.
(Вузовское образование)
Гладнев В.В., Ковалев Н.С., Князев Б.Е., Жукова М.А.
(Воронежский Государственный Аграрный Университет им. Императора Петра Первого)
Груздев В.М.
(Нижегородский государственный архитектурно-строительный университет, ЭБС АСВ)
Стецкий С.В., Ларионова К.О., Никонова Е.В.
(МИСИ-МГСУ, Ай Пи Ар Медиа, ЭБС АСВ)
Татьянина А.В., Хоменко С.М.
(Таганрогский институт управления и экономики)
Воличенко О.В.
(Вузовское образование)
Гладнев В.В., Ковалев Н.С., Князев Б.Е., Жукова М.А.
(Воронежский Государственный Аграрный Университет им. Императора Петра Первого)
Груздев В.М.
(Нижегородский государственный архитектурно-строительный университет, ЭБС АСВ)
Стецкий С.В., Ларионова К.О., Никонова Е.В.
(МИСИ-МГСУ, Ай Пи Ар Медиа, ЭБС АСВ)
Татьянина А.В., Хоменко С.М.
(Таганрогский институт управления и экономики)