Filozofická Fakulta

Katedra logiky

Aktuality

Přednáška Teorie důkazů se ve čtvrtek 27.4. nekoná.

26. duben 2017

Obě zkoušky se budou konat společně 19.6. nebo/a 16.6. Poslední termín pro odevzdání závěrečné...
22. duben 2017

Bude mluvit Anna Horská na téma "Gentzen's cut elimination strategy and Tait's cut elimination strategy in propositional sequent calculus". Přednáška začíná v 16:30, Celetná 20. Abstrakt viz sekce Věda a výzkum, Seminář.

Datum platnosti: 
5. prosinec 2016