Automatikus tételbizonyítás

Elvileg ez a fo tárgyunk a szakirányon. Ehhez képest nem sok közöm van hozzá :) Ma megkaptuk a beadandókat, három hét van rá. Hat feladat, hármat meg kell oldani a ketteshez. Megnéztem, egyelore nem barátaim a feladatok. 2 Gentzen kalkulus, 2 rezolúció kalkulus, és 2 tabló kalkulus. Majd meglátjuk... Az meg a másik kérdés, hogy záróvizsgára hogyan tanulom meg ezeket.

Add comment

Loading