Программирование: математическая логика учебное пособие для спо М. В. Швецкий, М. В. Демидов, А. В. Голанова, И. А. Кудрявцева.
Material type:
TextSeries: Профессиональное образованиеPublication details: Москва Юрайт 2024Description: 675 сSubject(s): Программирование | Технические науки и информационные технологии | Программирование | Методы программирования | Основы программирования | Прикладное программирование | Программирование для ЭВМ | Элементы математической логики | Введение в программирование | Программирование на ЭВМOther classification: 22.12я723 Online resources: Click here to access online | Click here to access online Summary: Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу Математическая логика и теория алгоритмов, содержащих теоретические сведения по общей теории исчислений, исчислениям математической логики, элементам интуиционистской логики, аксиоматической семантике языков императивного программирования. В пособие включено значительное количество задач и упражнений для самостоятельного решения.
URL: https://urait.ru/bcode/542173 (дата обращения: 02.05.2024).
Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу Математическая логика и теория алгоритмов, содержащих теоретические сведения по общей теории исчислений, исчислениям математической логики, элементам интуиционистской логики, аксиоматической семантике языков императивного программирования. В пособие включено значительное количество задач и упражнений для самостоятельного решения.
There are no comments on this title.