10× viac produktov za najlepšie ceny
10× viac produktov za najlepšie ceny
Kód: 11709723

Alena Lukasová;Martin Žáček;Marek: Formální logika a sémantický web

Alena Lukasová;Martin Žáček;Marek: Formální logika a sémantický web

Partnerský predaj - cenu dopravy určuje partner
V rámci této knihy je čtenář seznámen s originálními výsledky autorů na poli formální logiky a sémantického webu. Začíná s pojmem sémantického webu, reprezentací znalostí formální logikou a postupně se dostává ke specifičtějším tématům.
Zľava 8 % 13,11 € Najnižšia cena v období 30 dní pred znížením ceny.
11,94 €
Tovar od: Knihy Daniela
Zľava 8 % 13,11 € Najnižšia cena v období 30 dní pred znížením ceny.
11,94 €
Získajte dopravu ZADARMO so
u zásielok od 12,9 €
Posledné 3 kusy

12.12.2024 na výdajnom mieste
12.12.2024 - 16.12.2024 na vašej adrese

Popis

V rámci této knihy je čtenář seznámen s originálními výsledky autorů na poli formální logiky a sémantického webu. Začíná s pojmem sémantického webu, reprezentací znalostí formální logikou a postupně se dostává ke specifičtějším tématům. Autoři knihy definují základní formální jazyk jako rozšířenou verzi jazyka odpovídajícího RDF modelu o kvantifikaci proměnných pomocí převodu do klauzulární logiky (ve formě CFL). Na bázi rozšířeného RDF modelu pak zavádějí nové deduktivní formální systémy, a to formální systém GRDF s pravidlem Modus Ponens a formální systém RDF CFL disponující stejně jako klauzulární logika CFL rezolučním odvozovacím pravidlem. Závěr knihy je věnován dotazovacímu jazyku SPARQL.
  • Dátum vydania: 18. 03. 2019
  • Počet strán: 242
  • ISBN: 9788026106111
  • Väzba: BD