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 39 730×
Přečteno 27 521×
Přečteno 26 559×
Přečteno 22 724×
Přečteno 20 438×
ČLÁNKY DO MAILU