登入選單
返回Google圖書搜尋
Программирование: математическая логика 2-е изд., пер. и доп. Учебное пособие для СПО
Михаил ШвецкийИрина КудрявцеваАнна ГолановаМихаил Демидов
出版Litres, 2020-02-08
主題Computers / Database Administration & Management
ISBN50423225159785042322518
URLhttp://books.google.com.hk/books?id=QFTPDwAAQBAJ&hl=&source=gbs_api
EBookSAMPLE
註釋Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Математическая логика и теория алгоритмов», содержащих теоретические сведения по общей теории исчислений, исчислениям математической логики, элементам интуиционистской логики, аксиоматической семантике языков императивного программирования. В пособие включено значительное количество задач и упражнений для самостоятельного решения.