Odpovídáte na názor ke článku Rezoluce aneb předstupeň logického programování.
@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 39 790×
Přečteno 27 562×
Přečteno 26 603×
Přečteno 22 769×
Přečteno 20 478×
ČLÁNKY DO MAILU