Formální logika a sémantický web
- Info:
- Západočeská univerzita, 2019 (2.) - váz., 242 str.
- EAN:
- 9788026106111
- ISBN:
- 978-80-261-0611-1
Recenze:
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.
E-shop nově v provozu na www.kanzelsberger.cz
Nejbližší prodejny
Chcete vědět jestli je kniha dostupná v prodejně ve Vašem okolí?
Dostupnost na prodejně
Kniha je dostupná
Dostupnost na prodejnách
V seznamu si můžete vybrat vámi preferovanou prodejnu. Dostupnost na této prodejně se Vám bude následně zobrazovat i u dalších titulů.
Lze objednat
- Barvič a Novotný - Brno, Česká
- Benešov
- Beroun
- Blatná
- Brno FUTURUM
- Brno Masarykova
- Břeclav
- Č. Budějovice, Kanovnická
- Čelákovice
- Česká Lípa
- Děčín - Centrum Pivovar
- Hr. Králové ČSA
- Hr. Králové Dukelská tř.
- Chrudim
- Jablonec nad Nisou
- Jeseník
- Jičín
- Jihlava
- Jindřichův Hradec, Panská 110
- Jindřichův Hradec, Panská 132
- K. Vary OC Varyáda
- Kladno Poděbradova
- Klatovy
- Krnov
- Kroměříž
- Litvínov
- Ml. Boleslav OC Olympia
- Náchod
- Nymburk
- Olomouc OC Olympia
- Pardubice
- Písek
- Plzeň OC Olympia
- Poděbrady
- Praha 10 - Vršovice
- Praha 7 - Stromovka
- Praha Čs. Armády
- Praha NC Fénix
- Praha OC Krakov
- Praha OC Lužiny
- Praha Strašnice
- Prostějov
- Přerov
- Rakovník
- Rokycany
- Sedlčany
- Slaný
- Soběslav
- Strakonice
- Svitavy
- Tábor
- Teplice OC Olympia
- Trutnov
- Vsetín OC Galerie
- Vyškov
- Zlín
- Znojmo
- Žatec
- Žďár nad Sázavou
Tip
Kterýkoliv titul si můžete objednat i s vyzvednutím na Vaší prodejně. Ověřte si stav zboží na prodejně telefonicky, nebo mailem před Vaší návštěvou.
Další knihy z kategorie Společenské vědy (4868)
Recenze produktu Formální logika a sémantický web
Tento produkt nemá ještě žádnou recenzi. Buďte první, kdo ji napíše.
