Программирование: математическая логика. Учебное пособие для вузов

• Автор: Кудрявцева И.А.
• Издательство: Юрайт
• Серия: Высшее образование
• Год издания: 2020
• Обложка: мягкая обложка
• Страниц: 675
• Томов: 1
• Вес: 690 г.
• ISBN: 978-5-534-11009-8

Описание

Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Математическая логика и теория алгоритмов», содержащих теоретические сведения по общей теории исчислений, исчислениям математической логики, элементам интуиционистской логики, аксиоматической семантике языков императивного программирования. В пособие включено значительное количество задач и упражнений для самостоятельного решения. Соответствует актуальным требованиям Федерального государственного образовательного стандарта высшего образования. Книга предназначена для преподавателей, аспирантов и студентов педагогических вузов для направлений, связанных с информационными технологиями.

Издание переработанное и дополненное.

Товар имеет необходимые сертификаты качества, безопасности и гигиены. К любой покупке прилагается гарантия. Имеется накопительная система скидок, зависящая от объема предыдущих покупок. Быстрая доставка курьером или в пункт выдачи в срок от 1 дня. Подробную информацию о сроках доставки и размере скидки можно будет прочесть на этапе оформления заказа. Приятных покупок.