Seol mar théacs é seo: Metody i algoritmy induktivnogo vyvoda /