Describir: Teori︠i︡a algorifmov i matematicheska︠i︡a logika /