Termín obdržení zásilky
Česká pošta Pondělí 01.04
PPL Pondělí 01.04
Osobní odběr Úterý 02.04
Termíny jsou pouze orientační a mohou se lišit podle zvoleného typu platby. O Průběhu zásilky Vás budeme informovat e-mailem.
Při nákupu většího množství produktů negarantujeme dodání do zobrazeného data

Formální logika a sémantický web

Formální logika a sémantický web
8 %

293  Kč 318 Kč

Expedice za 2 až 3 dny

Sleva až 70% u třetiny knih
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.
Autor:
Nakladatel: Západočeská univerzita
ISBN: 9788026106111
Rok vydání: 2019
Jazyk : Čeština
Vazba: vázaná
Počet stran: 242
Mohlo by se vám také líbit..