MATEMATICHESKAYA LOGIKA I TEORIYA ALGORITMOV, IZD.1

Uchebnik predstavlyaet soboj gotovoe reshenie dlya metodicheskogo obespecheniya discipliny "Matematicheskaya logika i teoriya algoritmov". V uchebnik vklyucheny lekcii, prakticheskie zadaniya i voprosy k ekzamenu, podgotovlennye za desyatiletnee prepodavanie etoj discipliny v vysshich i srednich uchebnych zavedeniyach. Uchebnik podgotovlen dlya studentov uchrezhdenij vysshego professional′nogo obrazovaniya po napravleniyam podgotovki "Prikladnaya informatika" i "Programmnaya inzheneriya", i polnost′yu sootvetstvuet Federal′nym Gosudarstvennym obrazovatel′nym standartam po dannym napravleniyam.