Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Математическая логика и теория алгоритмов», содержащих теоретические сведения по общей теории исчислений, исчислениям математической логики, элементам интуиционистской логики, аксиоматической семантике языков императивного программирования. В пособие включено значительное количество задач и упражнений для самостоятельного решения.
ПРОГРАММИРОВАНИЕ: МАТЕМАТИЧЕСКАЯ ЛОГИКА 2-е изд., пер. и доп. Учебное пособие для СПО
ПрочиеУчебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Математическая логика и теория алгоритмов», содержащих теоретические сведения по общей теории исчислений, исчислениям математической логики, элементам интуиционистской логики, аксиоматической семантике языков императивного программирования. В пособие включено значительное количество задач и упражнений для самостоятельного решения.
$82.49
Вес | 29.2 унция |
---|---|
Габариты | 8.5 × 5.7 × 1.0 дюйм |
формат | 70×100/16 |
Год выпуска | |
Серия | |
переплет | Мягкий переплет |
Автор | Швецкий М. В., Демидов М. В., Голанова А. В., Кудрявцева И. А. |
стандарт | 8 |
дата-получения | 31.01.2020 |
количество-страниц | 675 |
Издательство | |
SKU | 495364 |
формат-ммсм | 170×240 |
handling_time | 20 days |
ISBN | 978-5-534-13248-9 |
EAN | 9785534132489 |