@13 Věci okolo rezoluce jsou spíše součástí formální logiky. Základy programování z jiných oborů zcela určitě opravdu nestačí. Nicméně pro zájemce existuje nepřeberné množství různých "Úvodů do logiky" pro studenty jiných oborů (od informatiků přes právníky po filozofy).
Autor se zabývá vývojem kompilátorů a knihoven pro objektově-orientované programovací jazyky.
Přečteno 35 404×
Přečteno 24 418×
Přečteno 23 161×
Přečteno 19 655×
Přečteno 16 905×