Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Математическая логика и теория алгоритмов», содержащих теоретические сведения по общей теории исчислений, исчислениям математической логики, элементам интуиционистской логики, аксиоматической семантике языков императивного программирования. В пособие включено значительное количество задач и упражнений для самостоятельного решения.
Категория: базы данных
ISBN: 9785534132489
Правообладатель: ЮРАЙТ
Год: 2020
Легальная стоимость: 2149.00 руб.
Ограничение по возрасту: 0+
Комментарии ():