Подробное описание документа

Вайнштейн Ю. В., Пенькова Т. Г., Вайнштейн В. И.
   Математическая логика и теория алгоритмов : учебное пособие / Вайнштейн Ю. В., Пенькова Т. Г., Вайнштейн В. И. - Сибирский федеральный университет, 2019. - ISBN 978-5-7638-4076-6.

IPR SMART

Войти и читать

https://www.iprbookshop.ru/100046.html

Изложены темы, традиционно изучаемые в курсе математической логики и теории алгоритмов: алгебра логики и исчисление высказываний, логика и исчисление предикатов, формальные аксиоматические теории, теория алгоритмов и теория вычислительной сложности. Предназначено для студентов направления подготовки 09.03.04 «Программная инженерия». Также будет полезно студентам направлений 09.03.02 «Информационные системы и технологии», 27.03.03 «Системный анализ и управление».