Odpovídáte na názor ke článku K čemu je teorie (důkazů).
@1 Dost do hloubky a pekne (trochu reklama :-)) se logika uci na katedre logiky na FF UK (http://logika.ff.cuni.cz)
Autor se zabývá vývojem kompilátorů a knihoven pro objektově-orientované programovací jazyky.
Přečteno 37 864×
Přečteno 26 482×
Přečteno 25 218×
Přečteno 21 338×
Přečteno 19 154×