Deprecated: Function set_magic_quotes_runtime() is deprecated in /DISK2/WWW/lokiware.info/mff/wakka.php on line 35 Matfiz : AutomatickéDokazovaníVět

Matfiz: AutomatickéDokazovaníVět

Automatické dokazování vět

Přednášející: David Stanovský (k předmětu)

Povinně volitelná přednáška pro I1. Umluveno na pondělí 15:30 v K10A (lab v Karlíně) (pozor drobná změna: začíná se tedy o 10 min dřív než je obvyklé).

Spíš to vypadá na seminář než přednášku, je nás tam tak pět a půl, většina matematiků, dva informatici. Vypadá to docela zajímavě, a/ale prý se nebude dělat moc důkazů.