Программирование: математическая логика. Учебное пособие для вузов
недоступно к заказу
Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Математическая логика и теория алгоритмов», содержащих теоретические сведения по общей теории исчислений, исчислениям математической логики, элементам интуиционистской логики, аксиоматической семантике языков императивного программирования. В пособие включено значительное количество задач и упражнений для самостоятельного решения. Соответствует актуальным требованиям Федерального государственного образовательного стандарта высшего образования. Книга предназначена для преподавателей, аспирантов и студентов педагогических вузов для направлений, связанных с информационными технологиями.
Издание переработанное и дополненное.
Артикул
3914296
Издательство
Серия
Тип обложки
мягкая обложка
Автор
Кудрявцева И.А.
Швецкий М.В.
Демидов М.В.
Голанова А.В.
Штрих код
9785534110098
Год
2020
Страниц
675
Язык
Русский
Размеры
170x240x35 мм
Вес
1042 гр.
Импортер
ООО «Абрис-Бел». 220112, РБ, г. Минск, ул. Cырокомли 7-167
Будьте первыми, кто оставит отзыв!