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 36 261×
Přečteno 25 412×
Přečteno 23 832×
Přečteno 20 213×
Přečteno 17 921×