Petr Kučera

KTIML MFF UK

Výzkum

Mým zájmem je zejména oblast booleovských funkcí a formulí, zejména

Seznam mých publikací je možno nalézt na Google Scholar.

Software

pccompile
Nástroj ke kompilaci formule v KNF do KNF úplné vzhledem k jednotkové propagaci

Diplomové práce, bakalářské práce a ročníkové projekty

Nabízím diplomové a bakalářské práce, které obecně souvisí s výše zmíněnými výzkumnými tématy. Také nabízím vedení ročníkových projektů. Některé návrhy na diplomové a bakalářské práce a ročníkové projekty můžete najít zde.

Výuka