031 22 95 182 8.00—15.30

Transport gratuit la punctele de livrare Pick Up peste 299 lei

Packeta 15 lei Easybox 20 lei Cargus 25 lei FAN 25 lei

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

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: 55 RON
Availability: InStock

Limba

cehă

Carte Foaie

Codul Libristo: 21989957

Editura Západočeská univerzita v Plzni, martie 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... Descrierea completă

Codul Libristo: 21989957

28 b

63 lei ▸ -12 %

55 lei

În depozitul extern Expediem în 4 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

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

/ Copertă tare

69 lei

Boolean Algebra and Its Applications J Eldon Whitesitt

/ Carte broșată

56 lei

Bolzanova logika Lubomír Valenta

/ Carte broșată

65 lei

Weboveda Pavol Návrat a kol.

/ Carte broșată

46 lei

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

/ Carte broșată

49 lei

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.