ПРОГРАММИРОВАНИЕ: МАТЕМАТИЧЕСКАЯ ЛОГИКА 2-е изд., пер. и доп....
Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Математическая логика и теория алгоритмов», содержащих теоретические сведения по общей теории исчислений, исчислениям математической логики, элементам интуиционистской логики, аксиоматической семантике языков императивного программирования. В пособие включено значительное количество задач и упражнений для...
ISBN: 978-5-534-11009-8
Издательство:
Юрайт
Дата выхода: январь 2020
![Картинки на пруж.Вып.№2 [Дидакт.матер]Мир животных](https://files.books.ru/pic/4539001-4540000/4539798/004539798.jpg)
Найденных опечаток пока нет
Добавить запись