М.В. Швецкий. Программирование. Математическая логика
Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Математическая логика и теория алгоритмов», содержащих теоретические сведения по общей теории исчислений, исчислениям математической логики, элементам интуиционистской логики, аксиоматической семантике языков императивного программирования.
Издательство: Юрайт
Год: 2022
Страниц: 675
Формат: PDF
Язык: русский
Скачать книгу (175,1 МБ):
Этот блок был удален по требованию правообладателя. Если вы считаете,
что это ошибка, обратитесь к Администратору.
gefexi 24/02/22 Просмотров: 978
+1
