Обложка Швецкий М.В., Демидов М.В., Голанова А.В., Кудрявцева И.А. Программирование: математическая логика. Учебное пособие для спо
Id: 280539

Программирование:
математическая логика. Учебное пособие для спо Изд. 2, пер. и доп.

2021. 675 с. ISBN 978-5-534-13248-9.

Аннотация

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

В пособие включено значительное количество задач и упражнений для самостоятельного решения.