Математическая логика и теория алгоритмов - Ю. В. Вайнштейн
| Автор: | Ю. В. Вайнштейн |
| Издательство: | Сибирский федеральный университет |
| Серия: | |
| Жанр произведения: | Учебная литература |
| Год издания: | 2019 |
| isbn: | 978-5-7638-4076-6 |
Изложены темы, традиционно изучаемые в курсе математической логики и теории алгоритмов: алгебра логики и исчисление высказываний, логика и исчисление предикатов, формальные аксиоматические теории, теория алгоритмов и теория вычислительной сложности. Предназначено для студентов направления подготовки 09.03.04 «Программная инженерия». Также будет полезно студентам направлений 09.03.02 «Информационные системы и технологии», 27.03.03 «Системный анализ и управление».