Математическая логика и теория алгоритмов. Учебное пособие
Об издании
Изложены темы, традиционно изучаемые в курсе математической логики и теории алгоритмов: алгебра логики и исчисление высказываний, логика и исчисление предикатов, формальные аксиоматические теории, теория алгоритмов и теория вычислительной сложности. Предназначено для студентов направления подготовки 09.03.04 «Программная инженерия». Также будет полезно студентам направлений 09.03.02 «Информационные системы и технологии», 27.03.03 «Системный анализ и управление».
Библиографическая запись
Вайнштейн Ю.В. Математическая логика и теория алгоритмов : учебное пособие / Вайнштейн Ю.В., Пенькова Т.Г., Вайнштейн В.И.. — Красноярск : Сибирский федеральный университет, 2019. — 110 c. — ISBN 978-5-7638-4076-6. — Текст : электронный // Цифровой образовательный ресурс IPR SMART : [сайт]. — URL: https://www.iprbookshop.ru/100046.html (дата обращения: 19.04.2024). — Режим доступа: для авторизир. пользователей
РЕКОМЕНДУЕМ К ПРОЧТЕНИЮ
Алиев А.Т., Ашмарина Е.М., Голубев С.А., Москалёва Н.Б., Романова Н.Н., Савельев В.Н., Скляренко Р.П., Суртаева О.С.
(Дашков и К)
Гилинский Я.И.
(Юридический центр Пресс)
Басалаев А.Н., Бурданова В.С., Вандер М.Б., Владимиров В.Ю., Густов Г.А., Данилова Н.А., Евдокимов С.Г., Елагина Е.В., Кириллова Н.П., Корниенко Н.А., Коршунова О.Н., Кушниренко С.П., Панфилова Е.И.,...
(Юридический центр Пресс)
C ЭТОЙ КНИГОЙ ТАКЖЕ ЧИТАЮТ
Дмитриева Л.В., Балакина Е.И., Жерносенко И.А., Селиванов В.В., Марсадолов Л.С.
(Петрополис)
Алексеев С.Е., Агафонов Г.В., Бакланов П.Я.
(Сибирское отделение РАН)
Родригес А.М.
(Прометей)
Астаурова Г.А., Кузнецова Н.В., Акименко Г.В., Балабанов П.И., Зауэрвайн Л.Т., Баранова Н.А.
(Кемеровский государственный институт культуры)