MATEMATIČESKAJA LOGIKA I TEORIJA ALGORITMOV, IZD.1

Učebnik predstavljaet soboj gotovoe rešenie dlja metodičeskogo obespečenija discipliny "Matematičeskaja logika i teorija algoritmov". V učebnik vključeny lekcii, praktičeskie zadanija i voprosy k ėkzamenu, podgotovlennye za desjatiletnee prepodavanie ėtoj discipliny v vysšich i srednich učebnych zavedenijach. Učebnik podgotovlen dlja studentov učreždenij vysšego professional′nogo obrazovanija po napravlenijam podgotovki "Prikladnaja informatika" i "Programmnaja inženerija", i polnost′ju sootvetstvuet Federal′nym Gosudarstvennym obrazovatel′nym standartam po dannym napravlenijam.