В основу учебника положен курс лекций по дисциплине, читавшийся автором в течение более десяти лет для студентов различных специальностей Камчатского государственного технического университета и Камчатского государственного университета им. В. Беринга. В нем рассматриваются элементы теории множеств, алгебра высказываний и алгебра предикатов, аксиоматическое построение логики, изучены основные уточнения понятия алгоритма. Подготовлен в соответствии с Федеральным государственным образовательным стандартом высшего образования. Предназначен для изучения дисциплины «Математическая логика и теория алгоритмов» студентами, обучающимися по направлению подготовки бакалавриата 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 (дата обращения: 17.05.2022). — Режим доступа: для авторизир. пользователей. - DOI: https://doi.org/10.23682/117296
Издательство: Ай Пи Ар Медиа
Автор: Лукашенко В.И.
Год издания: 2022
ISBN: 978-5-4497-1378-0
Издательство: Дашков и К
Автор: Морозов В.А.
Год издания: 2022
ISBN: 978-5-394-05048-0
Издательство: Ай Пи Ар Медиа
Автор: Сухов В.Д., Киселев А.А., Сазонов А.И.
Год издания: 2022
ISBN: 978-5-4497-1460-2
Издательство: Волгоградский государственный социально-педагогический университет, «Перемена»
Автор: Федосеева Е.С., Шипилова Е.В., Хвастунова Е.П., Андропова А.В., Дворецкая М.А., Артемова С.А., Бондаренко Т.А.
Год издания: 2022
ISBN: 978-5-9935-0441-4
Издательство: Институт мировых цивилизаций
Автор: Шорохова С.П.
Год издания: 2022
ISBN: 978-5-907445-77-2
Издательство: Дашков и К
Автор: Морозов В.А.
Год издания: 2022
ISBN: 978-5-394-05050-3
Издательство: Московский государственный строительный университет, Ай Пи Эр Медиа, ЭБС АСВ
Автор: Турусов Р.А.
Год издания: 2016
ISBN: 978-5-7264-1228-3
Издательство: Омский государственный институт сервиса, Омский государственный технический университет
Автор: Старовойтова А.А., Андросова Г.М., Бодрякова Л.Н.
Год издания: 2012
ISBN: 978-5-93252-273-8
Издательство: Энергия, Институт энергетической стратегии
Автор: Бушуев В.В., Мастепанов А.М., Куричев н.К., Белогорьев А.М., Громов А.И.
Год издания: 2011
ISBN: 978-5-98908-048-9
Издательство: Кубанский государственный технологический университет, Южный институт менеджмента
Автор: Кузьмина М.А., Грановский В.А.
Год издания: 2010
ISBN: 978-5-8333-0369-6