Code: 21989957

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: 12.05 EUR
Availability: InStock

by Alena Lukasová, Martin Žáček, Marek Vajgl, Zdeňka Telnarová

Language: Czech
Binding: Loose-leaf
Number of pages: 242
Publisher: Západočeská univerzita v Plzni, 2019
More about this

12.05 €

RRP: 12.84 €

You save 0.79 €

In stock at our supplier
Shipping in 4 days

Add to wishlist

Weboveda
7.76 € -16 %
Buy
Přirozené číslo a manipulace s Cuisenairovými hranolky
6.94 € -4 %
Buy
Bolzanova logika
12.15 € -21 %
Buy
Václav Hlavatý (1894–1969)
10.41 € -25 %
Buy
Neuvěřitelná čísla profesora Stewarta
13.48 € -16 %
Buy
Logika pro všechny ochotné myslet
13.78 € -8 %
Buy
Propaganda a manipulace
11.95 € -13 %
Buy
Kybernetická (ne)bezpečnost
25.02 € -16 %
Buy
Teorie her
11.95 € -14 %
Buy
Rozkoš mezi pohlavími
17.67 €
Buy
CD Angličtina nejen pro samouky
10.11 € -15 %
Buy
Kdo vlastně jsme? - 5.díl
9.29 € -20 %
Buy
Step by Step 1 Angličtina nejen pro samouky
15.52 € -3 %
Buy
Angličtina nejen pro samouky
12.25 € -39 %
Buy
Příprava na státní maturitu Angličtina
5 € -16 %
Buy
Láska a matematika
13.89 € -13 %
Buy
Esperanto od A do Z
8.98 € -6 %
Buy
Hebrejština (nejen) pro samouky
26.76 € -16 %
Buy
Třetí strážník
10.51 € -12 %
Buy
Boolean Algebra and Its Applications
13.78 € -3 %
Buy
Kryminał
10.72 €
Buy
Logika pre každého (4. doplnené vydanie)
16.03 € -21 %
Buy
Angličtina pre každého 4 Cvičebnica
13.07 € -23 %
Buy
Introduction to Symbolic Logic and Its Applications
13.17 € -19 %
Buy
Modern Operating Systems, Global Edition
94.40 €
Buy
The Clash of Civilizations and the Remaking of World Order
11.95 € -11 %
Buy
Letters from a Stoic
4.18 € -11 %
Buy
Ruština Maturitní příprava
16.44 €
Buy
Noli me tangere
45.36 €
Buy
Iliad
4.69 € -13 %
Buy
On Epistemology and Ontology
9.39 €
Buy
Odyssey
5.41 €
Buy
Ontology, or the Theory of Being
11.64 €
Buy
Undecidable Theories
15.62 € -3 %
Buy
Dredging for Gold in California
29.52 €
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

More about Formální logika a sémantický web

Book details
Synopsis
Trending among others

You get 30 loyalty points

Book synopsis

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.