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 773×
Přečteno 26 417×
Přečteno 24 928×
Přečteno 21 277×
Přečteno 18 929×