Математическая логика и теория алгоритмов

Ю. В. Вайнштейн. Математическая логика и теория алгоритмов
Ю. В. Вайнштейн. Математическая логика и теория алгоритмов
4.2 из 5, отдано 25 голосов
Изложены темы, традиционно изучаемые в курсе математической логики и теории алгоритмов: алгебра логики и исчисление высказываний, логика и исчисление предикатов, формальные аксиоматические теории, теория алгоритмов и теория вычислительной сложности. Предназначено для студентов направления подготовки 09.03.04 «Программная инженерия». Также будет полезно студентам направлений 09.03.02 «Информационные системы и технологии», 27.03.03 «Системный анализ и управление».
  • Категория: программирование
  • Правообладатель: Сибирский федеральный университет
  • Год написания: 2019
  • Возрастное ограничение: 0+
  • ISBN: 978-5-7638-4076-6
  • Легальная стоимость: 149.00 руб.

Читать книгу «Математическая логика и теория алгоритмов» онлайн:

Комментарии ():

Вам также может понравиться:

Оставайтесь на связи

Будьте в курсе новостей о выходящих книгах, подпишитесь на нашу еженедельную рассылку:
© 2011-2024. Your Lib. All Rights Reserved.