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 Martin Blicha na téma "Interpolants in the context of software verification". Koná se v 16:30, 28.11., místnost 119. Abstrakt naleznete v sekci Věda a výzkum > Seminář.

Datum platnosti: 
28. listopad 2016