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