Математическая логика и теория алгоритмов — Ю. В. Вайнштейн, 2019г. Скачать книгу / читать онлайн

Внимание! Здесь вы можете ознакомиться с книгой Математическая логика и теория алгоритмов 2019 года от Математическая логика и теория алгоритмов

Скачать книгу »
Читать онлайн »

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

Скачать книгу »
Читать онлайн »