Tema ove disertacije je istraživanje primjene metode formalne analize koncepata i tehnike kombinatornog testiranja za automatiziranje pripreme i odabira pitanja za provjere znanja u sustavima za e-učenje. Na temelju skupa ispitnih pitanja označenih s definiranim atributima gradi se primjenom metode za formalnu analizu koncepata formalni kontekst. Potom se automatiziranom metodom kombinatornog testiranja generira gotovo minimalan broj testnih slučajeva opisanih s definiranim atributima iz formalnog konteksta tako da je svaka n-torka atributa zadane veličine n pokrivena s barem jednim testnim slučajem odnosno opisom pitanja. Nakon što se pronađe sažeti skup pitanja koji pokriva sve generirane testne slučajeve prelazi se na izgradnju konceptualne rešetke primjenom metode formalne analize koncepata. Konceptualna rešetka predstavlja ontologiju dijela nastavnog gradiva opisanog s odabranim sažetim skupom ispitnih pitanja. Konceptualna rešetka se automatski topološki sortira kako bi se iz nje dobio odgovarajući potpuno uređeni skup formalnih koncepata, a iz njega se potom automatski izdvajaju prikladni nizovi pitanja za formativnu provjeru znanja u sustavu za e-učenje. Formativna provjera se provodi kroz vlastiti sustav za e-učenje, koji studente vodi po pripremljenim nizovima pitanja i pritom nudi pomoć u obliku interaktivnih nastavnih materijala. Izgrađen je i model za verifikaciju predložene metode uz pomoć nadograđenog i automatiziranog L* algoritma i metode provjere modela s alatom Spin. Izvorni doprinosi su: 1) formalni opis metode strojnog učenja za izgradnju ontologije domenskog znanja u obliku konceptualne rešetke na temelju sažetog skupa semantički označenih ispitnih pitanja, 2) metoda za automatiziranu provjeru znanja utemeljena na automatskom odabiru nizova ispitnih pitanja iz konceptualne rešetke i 3) prototip sustava za verifikaciju metode za automatiziranu provjeru znanja utemeljen na formalnoj metodi provjere modela.