Bc. Jiří Fejlek (student)

kontakty

e-mail: zobrazit e-mail
e-mail: zobrazit e-mail

informace o studiu

zaměření: Aplikované matematicko-stochastické metody
zahájení studia: 2011
status studenta: student navazujícího magisterského studia
bakalářská práce: "Použítí algebraických řešičů pro dokazování terminace přepisujících systémů / Termination Proofs of Term Rewrite Systems by Constraint Solving "  (školitel: Dipl.-Ing Dr. techn. Stefan Ratschan, ÚI AV ČR, v.v.i.)
výzkumný úkol: Účinné automatické důkazy terminace přepisujících systémů  (školitel: doc. Dipl.-Ing Dr. techn. Stefan Ratschan)
diplomová práce: Algoritmy pro automatické důkazy terminace přepisujících systémů  (školitel: doc. Dipl.-Ing Dr. techn. Stefan Ratschan)

za obsah této stránky zodpovídá: Radek Fučík | naposledy změněno: 16.8.2011
Trojanova 13, 120 00 Praha 2, tel. 224 358 540, pevná linka 224 923 098, fax 234 358 643
České vysoké učení technické v Praze | Fakulta jaderná a fyzikálně inženýrská | Katedra matematiky