Название: Математическая логика и теория алгоритмов
Автор(ы): Вайнштейн Ю.В., Пенькова Т.Г., Вайнштейн В.И.
Издательство: СФУ
Год: 2019
Страниц: 111
Формат: PDF
Размер: 10 Мб
Язык: русский

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