Hledat
Zobrazují se záznamy 1-3 z 3
Rejewského a Turingova bomba
Rejewski and Turing Bomb
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Tůma, Jiří
Datum publikování: 2007
Datum obhajoby: 29. 06. 2007
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt nenalezen
GUI pro dokazovací systémy
GUI for automated reasoning systems
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Stanovský, David
Datum publikování: 2007
Datum obhajoby: 25. 06. 2007
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt nenalezen
Rozhodnutelnost abelovských grup
Decidability of Abelian groups
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Barto, Libor
Datum publikování: 2007
Datum obhajoby: 29. 06. 2007
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt nenalezen