В основу учебника положен курс лекций по дисциплине, читавшийся автором в течение более десяти лет для студентов различных специальностей Камчатского государственного технического университета и Камчатского государственного университета им. В. Беринга. В нем рассматриваются элементы теории множеств, алгебра высказываний и алгебра предикатов, аксиоматическое построение логики, изучены основные уточнения понятия алгоритма. Подготовлен в соответствии с Федеральным государственным образовательным стандартом высшего образования. Предназначен для изучения дисциплины «Математическая логика и теория алгоритмов» студентами, обучающимися по направлению подготовки бакалавриата 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 (дата обращения: 07.02.2023). — Режим доступа: для авторизир. пользователей. - DOI: https://doi.org/10.23682/117296
Издательство: Ай Пи Ар Медиа
Автор: Мархинин В.В.
Год издания: 2023
ISBN: 978-5-4497-1847-1
Издательство: Ай Пи Ар Медиа
Автор:
Год издания: 2023
ISBN: 978-5-4497-1806-8
Издательство: Ай Пи Ар Медиа
Автор: Акинина Ю.С., Тюрин С.В.
Год издания: 2023
ISBN: 978-5-4497-1877-8
Издательство: Ай Пи Ар Медиа
Автор: Ромодина А.М., Молодчик А.В., Молодчик Е.Л.
Год издания: 2023
ISBN: 978-5-4497-2044-3
Издательство: Ай Пи Ар Медиа
Автор: Съянов С.Ю.
Год издания: 2023
ISBN: 978-5-4497-1884-6
Издательство: Ай Пи Ар Медиа
Автор: Седова Н.А., Седов В.А.
Год издания: 2023
ISBN: 978-5-4497-1878-5
Издательство: Форум
Автор: Наумов С.Ю., Масленникова Е.В., Подсумкова А.А., Осипова И.Н., Калимуллин Л.В., Рамазанов К.Н., Слычук В.В.
Год издания: 2010
ISBN: 978-5-91134-279-1
Издательство: Ай Пи Эр Медиа
Автор: Кузнецова С.В.
Год издания: 2007
ISBN:
Издательство: Экзамен
Автор: Колоколов Г.Р.
Год издания: 2007
ISBN: 978-5-377-00371-7