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í čt 23.5 13:00

Odesíláme do 3 dnů

od 59 Kč, dodání pá 24.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 - ZDARMAčt 23.5

Výdejní místa

WEDO Pobočky, AlzaBox59 Kčpá 24.5
Balíkovna79 Kčpá 24.5
Zásilkovna69 Kčpá 24.5
Česká pošta - Balík Na poštu99 Kčpá 24.5
Zásilkovna SK95 Kčpo 27.5

Dodání na adresu v ČR

Stažení online0 Kččt 23.5
WEDO doručení na adresu65 Kčpá 24.5
Zásilkovna - domů99 Kčpá 24.5
Česká pošta - Balík Do ruky119 Kčpá 24.5
Zásilkovna SK - domů139 Kčpo 27.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