Nalezené produkty
Nalezené kategorie
Nalezení autoři
Nalezené články: 140
Košík
je prázdný
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 Kč
286 Kč
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
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 | po 13.5 | |
Výdejní místa | ||
WEDO Pobočky, AlzaBox | 59 Kč | út 14.5 |
Balíkovna | 79 Kč | út 14.5 |
Zásilkovna | 69 Kč | út 14.5 |
Česká pošta - Balík Na poštu | 99 Kč | út 14.5 |
Zásilkovna SK | 95 Kč | st 15.5 |
Dodání na adresu v ČR | ||
Stažení online | 0 Kč | po 13.5 |
WEDO doručení na adresu | 65 Kč | út 14.5 |
Zásilkovna - domů | 99 Kč | út 14.5 |
Česká pošta - Balík Do ruky | 119 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.
EAN | 9788026106111 |
---|---|
ISBN | 9788026106111 |
Datum vydání | 18. 03. 2019 |
Vazba | pevná vazba |
Počet stran: | 242 |
Nakladatelství: | Západočeská univerzita v Plzni |
Jazyk: | česky |
© 2024 Knihkupectví Daniela