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