Учебное пособие “Программирование: математическая логика” Михаила Владимировича Швецкого является вторым изданием, дополненным и переработанным. Оно предназначено для студентов СПО и содержит теоретические сведения по общей теории исчисления, математическим логикам, интуиционистской логике, а также аксиоматическую семантику языков императивного программирования, включая задачи и упражнения для самостоятельной работы. Пособие является системой упражнений и лабораторных работ, которые помогут студентам освоить основы программирования и математической логики.
Учебное пособие предназначено для организации самостоятельной работы студентов технических специальностей по изучению курсов "Математическая логика" и "Теория алгоритмов". Цель пособия - сформировать у студентов математическую культуру, алгоритмическое мышление и развитие логического подхода к решению задач различных областей. Пособие также может быть полезно преподавателям, аспирантам, а также самостоятельным читателям, интересующимся данными областями математики и информатики.
Электронная Книга «Программирование: математическая логика 2-е изд., пер. и доп. Учебное пособие для СПО» написана автором Михаил Владимирович Швецкий в 2020 году.
Минимальный возраст читателя: 0
Язык: Русский
Серии: Профессиональное образование
ISBN: 9785534132489
Описание книги от Михаил Владимирович Швецкий
Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Математическая логика и теория алгоритмов», содержащих теоретические сведения по общей теории исчислений, исчислениям математической логики, элементам интуиционистской логики, аксиоматической семантике языков императивного программирования. В пособие включено значительное количество задач и упражнений для самостоятельного решения.
