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 36 203×
Přečteno 25 362×
Přečteno 23 796×
Přečteno 20 178×
Přečteno 17 875×