Скачать Математическая логика и теория алгоритмов - Вайнштейн (2019)

awesome

Премиум
26 Май 2019
27,492
1,365
Математическая логика и теория алгоритмов
Автор(ы): Вайнштейн Ю.В., Пенькова Т.Г., Вайнштейн В.И.

upload_2020-4-19_11-37-26.png


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

Пожалуйста Войдите или Зарегистрируйтесь для просмотра скрытого текста.


Для просмотра содержимого вам необходимо Войти или Зарегистрироваться.

 

Похожие темы

Пользователи, просматривающие эту тему

Сейчас на форуме нет ни одного пользователя.