Deprecated: Function set_magic_quotes_runtime() is deprecated in /DISK2/WWW/lokiware.info/mff/wakka.php on line 35 Matfiz : Automatické Dokazovaní Vět
Přihlášení:  Heslo:  
Matfiz: AutomatickéDokazovaníVět ...
Hlavní Stránka | Seznam Stránek | Poslední Změny | Poslední Komentované | Uživatelé | Registrace |

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ů.


 
Na stránce nejsou žádné soubory. [Zobrazit soubory (formulář)]
Komentáře [Skrýt komentáře (formulář)]