sak aj toho roku mas podla mna 2 istoty, naucis sa z kazdej kapitoly metavetu+overenie a priklad podla mna naisto bude najst optimalny unifikator a faktor disjunkcie formul alebo este aj odvodit rezolventu, toto by malo byt podla mna naisto, ked hovoril ze iny priklad jak boli na pisomkach a toto nebolo na pisomkach, respektive nestihlo byt