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

• Автор: Швецкий М.В.
• Издательство: Юрайт
• Серия: Профессиональное образование
• Год издания: 2020
• Обложка: мягкая обложка
• Страниц: 675
• Томов: 1
• Вес: 690 г.
• ISBN: 978-5-534-13248-9

Описание

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

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

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