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