53.61 USD
Наличие на складе:
Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 09.12.2024; планируемая отправка: 10.12.2024
Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 12.12.2024; планируемая отправка: 13.12.2024
Издательство: | Юрайт |
Серия: | Профессиональное образование |
Дата выхода: | январь 2020 |
ISBN: | 978-5-534-13248-9 |
Объём: | 675 страниц |
Масса: | 690 г |
Размеры(В x Ш x Т), см: | 24 x 17 |
Обложка: | мягкая |
Язык оригинала: | русский |
Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Математическая логика и теория алгоритмов», содержащих теоретические сведения по общей теории исчислений, исчислениям математической логики, элементам интуиционистской логики, аксиоматической семантике языков императивного программирования. В пособие включено значительное количество задач и упражнений для самостоятельного решения.