Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу "Математическая логика и теория алгоритмов", содержащих теоретические сведения по общей теории исчислений, исчислениям математической логики, элементам интуиционистской логики, аксиоматической семантике языков императивного программирования. В пособие включено значительное количество задач и упражнений для самостоятельного решения. Соответствует актуальным требованиям Федерального государственного образовательного стандарта высшего образования. Книга предназначена для преподавателей, аспирантов и студентов педагогических вузов для направлений, связанных с информационными технологиями.
Uchebnoe posobie predstavljaet soboj sistemu uprazhnenij i laboratornykh rabot po kursu "Matematicheskaja logika i teorija algoritmov", soderzhaschikh teoreticheskie svedenija po obschej teorii ischislenij, ischislenijam matematicheskoj logiki, elementam intuitsionistskoj logiki, aksiomaticheskoj semantike jazykov imperativnogo programmirovanija. V posobie vkljucheno znachitelnoe kolichestvo zadach i uprazhnenij dlja samostojatelnogo reshenija. Sootvetstvuet aktualnym trebovanijam Federalnogo gosudarstvennogo obrazovatelnogo standarta vysshego obrazovanija. Kniga prednaznachena dlja prepodavatelej, aspirantov i studentov pedagogicheskikh vuzov dlja napravlenij, svjazannykh s informatsionnymi tekhnologijami.
