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

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

Описание

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

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

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