М.В. Швецкий. Программирование. Математическая логика

Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Математическая логика и теория алгоритмов», содержащих теоретические сведения по общей теории исчислений, исчислениям математической логики, элементам интуиционистской логики, аксиоматической семантике языков императивного программирования.

Издательство: Юрайт
Год: 2022
Страниц: 675
Формат: PDF
Язык: русский

 

Скачать книгу (175,1 МБ):