Diplomove a doktorske prace
Mohu vest diplomove prace na ruzna temata
z matematicke logiky a z teorie slozitosti,
a doktorske prace z oblasti spojujici logiku a teorii
slozitosti (zejmena z tzv. dukazove slozitosti
ci z omezene aritmetiky).
Par temat pro diplomky nabizim obycejne pocatkem
skolniho roku ve
Studijnim Informacnim Servisu
UK.
Jina temata lze domluvit.
Tema doktorske prace vypisi jen po predchozi
dohode. Potencialni zajemce o doktorske studium
musi mit solidni zaklad v hlavnich castech matematicke
logiky a znat alespon zaklady teorie vypocetni slozitosti.
Tez ocekavam, ze jeho diplomka ci jina prace
prokaze schopnost samostatne badat.
Mate-li potencialni zajem, prijdte si promluvit.
Muzete se take podivat na starsi seznam
otevrenych problemu
v oblasti, kterou jsem zminil vyse.
To je ale jen orientacni - od te doby uplynulo skoro 10 let.
