Математическая логика и теория алгоритмов: Учебное пособие
Вайнштейн Ю. В., Пенькова Т. Г., Вайнштейн В. И.
Изложены темы, традиционно изучаемые в курсе математической логики и теории алгоритмов: алгебра логики и исчисление высказываний, логика и исчисление предикатов, формальные аксиоматические теории, теория алгоритмов и теория вычислительной сложности. Предназначено для студентов направления подготовки 09.03.04 «Программная инженерия». Также будет полезно студентам направлений 09.03.02 «Информационные системы и технологии», 27.03.03 «Системный анализ и управление».
Year:
2019
Publisher:
ЭБС Лань
Language:
russian
ISBN 10:
5763840763
ISBN 13:
9785763840766
File:
PDF, 1.60 MB
IPFS:
,
russian, 2019