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