Нет отзывов
Аннотация
| Серия | Высшее образование. Юрайт |
|---|---|
| Издательство | |
| Переплет | Мягкий переплёт |
| Страниц | 675 |
| Год, тираж | 2020 |
Не в наличии
Отзывы
0Описание и характеристики
Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Математическая логика и теория алгоритмов», содержащих теоретические сведения по общей теории исчислений, исчислениям математической логики, элементам интуиционистской логики, аксиоматической семантике языков императивного программирования. В пособие включено значительное количество задач и упражнений для самостоятельного решения.
Соответствует актуальным требованиям Федерального государственного образовательного стандарта высшего образования.
Книга предназначена для преподавателей, аспирантов и студентов педагогических вузов для направлений, связанных с информационными технологиями.
Соответствует актуальным требованиям Федерального государственного образовательного стандарта высшего образования.
Книга предназначена для преподавателей, аспирантов и студентов педагогических вузов для направлений, связанных с информационными технологиями.
| Код | 2778700 |
|---|---|
| Издательство | |
| Серия | Высшее образование. Юрайт |
| Переплет | Мягкий переплёт |
| Кол-во страниц | 675 |
| Год издания | 2020 |
| Раздел | Языки и среды программирования |
| Размеры | 2.7 см × 15.3 см × 23.6 см |
| Вес | 0.82 кг |