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 40 063×
Přečteno 27 732×
Přečteno 26 753×
Přečteno 22 948×
Přečteno 20 642×
ČLÁNKY DO MAILU