Oblíbené (0)
Košík
je prázdný

Formální logika a sémantický web

Alena Lukasová;Martin Žáček;Marek Vajgl;Zdeňka Telnarová
Cena v prodejně: 318 Kč
Cena při objednávce v e-shopu:
-32
286

U dodavatele

poslední kusy na objednávku.

V prodejně do 3 dnů

K vyzvednutí po 13.5 13:00

Odesíláme do 3 dnů

od 59 Kč, dodání út 14.5

Podrobnosti o dodání

Kdy můžu zboží mít?

Produkt je u dodavatele, odesíláme ho ihned po naskladnění.

Osobní odběr

Prodejna Benešov - ZDARMApo 13.5

Výdejní místa

WEDO Pobočky, AlzaBox59 Kčút 14.5
Balíkovna79 Kčút 14.5
Zásilkovna69 Kčút 14.5
Česká pošta - Balík Na poštu99 Kčút 14.5
Zásilkovna SK95 Kčst 15.5

Dodání na adresu v ČR

Stažení online0 Kčpo 13.5
WEDO doručení na adresu65 Kčút 14.5
Zásilkovna - domů99 Kčút 14.5
Česká pošta - Balík Do ruky119 Kčút 14.5
Zásilkovna SK - domů139 Kčst 15.5

Uvedený termín u dodání domů a na výdejní místa je orientační. Balíček může přijít v rozmezí dvou dní po termínu.

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.
EAN9788026106111
ISBN9788026106111
Datum vydání18. 03. 2019
Vazbapevná vazba
Počet stran:242
Nakladatelství:Západočeská univerzita v Plzni
Jazyk:česky