Математическая логика и теория алгоритмов
Где читать
ЛитРесЭлектронная книга
Читать книгу
Реклама. ООО ЛИТРЕС, ИНН 7719571260, erid: 2VfnxyNkZrY
О книге
Изложены темы, традиционно изучаемые в курсе математической логики и теории алгоритмов: алгебра логики и исчисление высказываний, логика и исчисление предикатов, формальные аксиоматические теории, теория алгоритмов и теория вычислительной сложности. Предназначено для студентов направления подготовки 09.03.04 «Программная инженерия». Также будет полезно студентам направлений 09.03.02 «Информационные системы и технологии», 27.03.03 «Системный анализ и управление».
Подробности
- Автор
- Ю. В. Вайнштейн
- Издательство
- Сибирский федеральный университет
- Год издания
- 2021
- Объём
- 112 стр.
- Формат
- PDF-книга
- ISBN
- 978-5-7638-4076-6
Другие книги автора
Ю. В. Вайнштейн — все книги →Похожие книги
Все книги жанра →