od nohis » 12. 6. 2007 11:25
Na poslední přednášce se již nic nového nebralo. Štepánek nám vyprávěl o tom jak funguje Prolog
A na předposlední přednášce začal poslední slidy (PL5) , úplně to nedokončil, nevím přesně, ale rozhodně byste měli umět všechny 3 aritmetiky a věty o nerozhodnutelnosti a neúplnosti ( to je asi do stran 13. - 14.)
Na poslední přednášce se již nic nového nebralo. Štepánek nám vyprávěl o tom jak funguje Prolog :)
A na předposlední přednášce začal poslední slidy (PL5) , úplně to nedokončil, nevím přesně, ale rozhodně byste měli umět všechny 3 aritmetiky a věty o nerozhodnutelnosti a neúplnosti ( to je asi do stran 13. - 14.)