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