Математическая логика и теория алгоритмов. Ю. В. Вайнштейн

Скачать книгу в различных форматах или читать онлайн на сайте.

Название: Математическая логика и теория алгоритмов

Автор: Ю. В. Вайнштейн

Издательство: Сибирский федеральный университет

Жанр: Учебная литература

Серия:

isbn: 978-5-7638-4076-6

isbn: 2019

Аннотация:

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