книги Компьютеры и Интернет Программирование

ПРОГРАММИРОВАНИЕ: МАТЕМАТИЧЕСКАЯ ЛОГИКА 2-е изд., пер. и доп. Учебное пособие для вузов

Код 5117679

Наличие на складе

Склад в Москве

Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 02.07.2024; планируемая отправка: 03.07.2024

Склад в С.-Петербурге

Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 05.07.2024; планируемая отправка: 06.07.2024

Аннотация к книге "ПРОГРАММИРОВАНИЕ: МАТЕМАТИЧЕСКАЯ ЛОГИКА 2-е изд., пер. и доп. Учебное пособие для вузов"

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

Книга предназначена для преподавателей, аспирантов и студентов педагогических вузов для направлений, связанных с информационными технологиями.

Оставить комментарий

Оцените книгу:

Издательство: Юрайт
Серия: Высшее образование
Дата выхода: январь 2020
ISBN: 978-5-534-11009-8
Объём: 675 страниц
Масса: 820 г
Размеры(высота, ширина), см: 24 x 17
Обложка: мягкая
Язык оригинала: русский

Вместе с этой книгой покупают