Jan Krajíček

Charles University, Prague
Faculty of Mathematics and Physics ( Dept. of Algebra)

Contact

Bibliography

A brief professional cv (including past teaching info).


The 2017/18 academic year:

Student logic seminar: Games in logic.
Logic seminar.
Winter semester course: Mathematical logic.
Summer semester course: Proof complexity and the P vs.NP problem.