Odpovídáte na názor ke článku Ptáci létají.
@8 Toto je přesně naopak. Pravděpodobnostní modely jsou velice rychlé i při gigabytech dat. Naopak logika, pokud nejde jen o určitý fragment (např. Hornovy klauzule), je exponenciální (a to už i ta výroková). Dostatečně expresivní logiky jsou nerozhodnutelné.
Autor se zabývá vývojem kompilátorů a knihoven pro objektově-orientované programovací jazyky.
Přečteno 38 522×
Přečteno 26 888×
Přečteno 25 683×
Přečteno 21 817×
Přečteno 19 613×