571 999 090 8.00—15.30

Doprava zdarma se Zásilkovnou nad 1 499 Kč

PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč PPL 99 Kč Zásilkovna 54 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Formální logika a sémantický web

Name: Formální logika a sémantický web
Brand: Západočeská univerzita v Plzni
SKU: 21989957
Price: 267 CZK
Availability: InStock

Jazyk

Čeština

Kniha List

Libristo kód: 21989957

Nakladatelství Západočeská univerzita v Plzni, března 2019

V rámci této knihy je čtenář seznámen s originálními výsledky autorů na poli formální logiky a séman... Celý popis

Libristo kód: 21989957

27 b

267 Kč

Skladem u dodavatele Odesíláme do 4 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Neuvěřitelná čísla profesora Stewarta Ian Stewart

/ Pevná

334 Kč

Boolean Algebra and Its Applications J Eldon Whitesitt

/ Brožovaná

298 Kč

Bolzanova logika Lubomír Valenta

/ Brožovaná

301 Kč

Weboveda Pavol Návrat a kol.

/ Brožovaná

192 Kč

Václav Hlavatý (1894–1969) Helena Durnová

/ Brožovaná

257 Kč

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.