В учебнике изложены основные понятия математической логики, язык и средства математической логики, в том числе системы логических функций и их применение в информатике. Рассматриваются основные разделы математической логики: алгебра высказываний; исчисления высказываний и логика предикатов. Алгоритмическим подходом по шагам представлено доказательство теорем из аксиоматической теории L. Помимо теоретических и практических материалов учебник содержит задания для самостоятельной работы.Содержание учебника соответствует Федеральному государственному образовательному стандарту высшего образования третьего поколения и методическим требованиям, предъявляемым к учебным изданиям.Учебник предназначен для студентов высших учебных заведений, обучающихся по направлению педагогического образования профилей "Информатика и математика", "Физика и информатика", "Технология и информатика", "Математика и информатика", "Прикладная информатика". Может быть полезен широкому кругу читателей, интересующихся основами математической логики.
V uchebnike izlozheny osnovnye ponjatija matematicheskoj logiki, jazyk i sredstva matematicheskoj logiki, v tom chisle sistemy logicheskikh funktsij i ikh primenenie v informatike. Rassmatrivajutsja osnovnye razdely matematicheskoj logiki: algebra vyskazyvanij; ischislenija vyskazyvanij i logika predikatov. Algoritmicheskim podkhodom po shagam predstavleno dokazatelstvo teorem iz aksiomaticheskoj teorii L. Pomimo teoreticheskikh i prakticheskikh materialov uchebnik soderzhit zadanija dlja samostojatelnoj raboty.Soderzhanie uchebnika sootvetstvuet Federalnomu gosudarstvennomu obrazovatelnomu standartu vysshego obrazovanija tretego pokolenija i metodicheskim trebovanijam, predjavljaemym k uchebnym izdanijam.Uchebnik prednaznachen dlja studentov vysshikh uchebnykh zavedenij, obuchajuschikhsja po napravleniju pedagogicheskogo obrazovanija profilej "Informatika i matematika", "Fizika i informatika", "Tekhnologija i informatika", "Matematika i informatika", "Prikladnaja informatika". Mozhet byt polezen shirokomu krugu chitatelej, interesujuschikhsja osnovami matematicheskoj logiki.
