Математическая логика и теория алгоритмов. Учебник
Об издании
В основу учебника положен курс лекций по дисциплине, читавшийся автором в течение более десяти лет для студентов различных специальностей Камчатского государственного технического университета и Камчатского государственного университета им. В. Беринга. В нем рассматриваются элементы теории множеств, алгебра высказываний и алгебра предикатов, аксиоматическое построение логики, изучены основные уточнения понятия алгоритма. Подготовлен в соответствии с Федеральным государственным образовательным стандартом высшего образования. Предназначен для изучения дисциплины «Математическая логика и теория алгоритмов» студентами, обучающимися по направлению подготовки бакалавриата 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 (дата обращения: 20.12.2025). — Режим доступа: для авторизир. пользователей
РЕКОМЕНДУЕМ К ПРОЧТЕНИЮ
Иванова Ю.А., Мишенева Ю.И., Нестеренко В.Г., Сайтимова Т.Н.
(Профобразование)
Мартынов А.П., Мартынова И.А., Русаков А.А.
(Ай Пи Ар Медиа)
C ЭТОЙ КНИГОЙ ТАКЖЕ ЧИТАЮТ
Алексеев С.И.
(Профобразование, Ай Пи Ар Медиа)
Пергаменщик Б.К., Белов В.В.
(МИСИ-МГСУ, ЭБС АСВ)
Ющубе С.В., Тарасов А.А.
(Томский государственный архитектурно-строительный университет, ЭБС АСВ)
Карневская Е.Б., Раковская Л.Д., Мисуно Е.А., Кузьмицкая З.В.
(Вышэйшая школа)
Чунюк Д.Ю., Черкасова Л.И., Гусева Е.С., Беспалов А.Е., Грязнова Е.М.
(МИСИ-МГСУ, ЭБС АСВ)
Митрошин В.Н., Узенгер А.А.
(Самарский государственный технический университет, ЭБС АСВ)