Юлия Вайнштейн, Татьяна Пенькова, Виталий Вайнштейн – Математическая логика и теория алгоритмов

Загрузка...

Автор: Виталий Исаакович Вайнштейн, Татьяна Геннадьевна Пенькова, Юлия Владимировна Вайнштейн

Год выхода: 2019

Издательство: СФУ

ISBN:

978-5-7638-4076-6

Книга из раздела: Математика, Программирование, Учебная литература, Книги, Литерат.

О книге

«Юлия Вайнштейн, Татьяна Пенькова, Виталий Вайнштейн – Математическая логика и теория алгоритмов»

Изложены темы, традиционно изучаемые в курсе математической логики и теории алгоритмов: алгебра логики и исчисление высказываний, логика и исчисление предикатов, формальные аксиоматические теории, теория алгоритмов и теория вычислительной сложности.

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