Výuka na MFF

Nová stránka o výuce

Dříve jsem vyučoval:

cvičení z Prologu

1999/2000

Proseminář z logiky

2001/2002

cvičení z Predikátové a výrokové logiky

2001/2002, 2002/2003

přednáška Multi-agentní systémy

2002/2003

Seminář z multi-agentních systémů

2002/2003

Jazyk SDL a programování řízené událostmi

2002/2003