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