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 39 671×
Přečteno 27 483×
Přečteno 26 525×
Přečteno 22 700×
Přečteno 20 383×