Levelezo 1. hét 3. nap

Ma volt fejlett keresoalgoritmusok, vettünk vagy hetet, még itthon külön a mélyére kell ásni hogy megértsem. Automatikus tételbizonyításból befejeztük a rezolúciókalkulust, megint nem értettem semmit, és egy órával a vége elott meg is pattantam, mert úgyis mindegy volt. Ennyit a szombati tanításról. Keresoalgoritmusokból is van két beadandó, így összesen már vagy kilenc, tök jó lesz.

Add comment

Loading