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 276×
Přečteno 27 285×
Přečteno 26 153×
Přečteno 22 300×
Přečteno 20 072×