Formální logika a sémantický web

Autor Alena Lukasová, Martin Žáček, Marek Vajgl & další

0.0 z 5 hvězdiček 0 hodnocení čtenářů

Kniha ( pevná vazba )

Produkt je vyprodaný.

Při zaslání zboží balíčkem

K nákupu nad 99 Kč dárek zdarma v hodnotě 19 Kč

E-shopové listy

BUTTON_productDetailBig Více informací

K tomuto produktu zákazníci kupují

Křivky

Lisa DeLong
0.0 z 5 hvězdiček
kniha

201 Kč

Běžně 225 Kč
Do košíku
Co je nového v logice

Jaroslav Peregrin
0.0 z 5 hvězdiček
kniha

89 Kč

Běžně 100 Kč
Do košíku
Logika mýtu

Jakov Golosovker
0.0 z 5 hvězdiček
měkká vazba

250 Kč

Běžně 279 Kč
Do košíku
Moje první dovednosti - Logika

Jiri Models
0.0 z 5 hvězdiček
kniha

94 Kč

Běžně 99 Kč
Do košíku
Nedostupné Mystika a logika a jiné eseje

Bertrand Russell
0.0 z 5 hvězdiček
měkká vazba

Nedostupné
Dark Web: Sex, drogy a bitcoiny

Dominik Stroukal
5.0 z 5 hvězdiček
kniha

250 Kč

Běžně 279 Kč
Do košíku
Studijní předpoklady a základy logiky - 1. díl

Pavel Kotlán
0.0 z 5 hvězdiček
kniha

379 Kč

Běžně 399 Kč
Do košíku
Studijní předpoklady a základy logiky - 2. díl

Pavel Kotlán
0.0 z 5 hvězdiček
měkká vazba

379 Kč

Běžně 399 Kč
Do košíku
Základy státoprávní teorie, ekonomie a ekonomiky, logiky

Bohuslav Eichler
5.0 z 5 hvězdiček
měkká vazba

166 Kč

Běžně 175 Kč
Do košíku
Nedostupné Logika onticky neurčitých domén: Jsou logické pravdy nahodilé?

Petr Dvořák
0.0 z 5 hvězdiček
měkká vazba

Nedostupné
Význam, sémantika, Wittgenstein

Martin Stokhof
0.0 z 5 hvězdiček
měkká vazba

121 Kč

Běžně 135 Kč
Do košíku
K moři

Petra Soukupová, Milan Soukup
4.1 z 5 hvězdiček
kniha

312 Kč

Běžně 349 Kč
Do košíku
V našem poníženém způsobu

Marie Pultarová
0.0 z 5 hvězdiček
měkká vazba

322 Kč

Běžně 360 Kč
Na prodejně
Kvído Chytré vějíře

ALBI
0.0 z 5 hvězdiček
Hra

160 Kč

Běžně 179 Kč
Na prodejně
Matematika pro studenty ekonomie

Petr Rádl, Jiří Moučka
0.0 z 5 hvězdiček
kniha

318 Kč

Běžně 355 Kč
Do košíku
Nedostupné Zmizelá historie

Tomáš Sniegoň
0.0 z 5 hvězdiček
pevná vazba

Nedostupné
Život vás miluje - karty

Louise L. Hay, Robert Holden
2.5 z 5 hvězdiček
kniha

250 Kč

Běžně 279 Kč
Do košíku
Bílá stopa

Pavlík Michal Rejžo, Dominik Petr
0.0 z 5 hvězdiček
kniha

223 Kč

Běžně 249 Kč
Do košíku
Sbírka řešených příkladů pro střední školy s programem pro zobrazování funkcí. Rovnice, nerovnice a průběh funkcí (kniha + CD)

Pavel Kolisko
0.0 z 5 hvězdiček
měkká vazba

94 Kč

Běžně 99 Kč
Na prodejně
Nedostupné Všechno zvládnu, na vše přijdu, těším se na první třídu

SUN
0.0 z 5 hvězdiček
měkká vazba

Nedostupné
Český jazyk pro SŠ – Mluvnice

Ivo Martinec & další
5.0 z 5 hvězdiček
měkká vazba

370 Kč

Běžně 389 Kč
Do košíku
T nula

Italo Calvino
0.0 z 5 hvězdiček
pevná vazba

267 Kč

Běžně 298 Kč
Do košíku
Nedostupné Učení s pomocí vědomé pozornosti

Richard Chambers, Craig Hassed
0.0 z 5 hvězdiček
měkká vazba

Nedostupné
O svobodě myšlení

Vlastimil Vondruška
4.7 z 5 hvězdiček
pevná vazba

289 Kč

Běžně 349 Kč
Do košíku

Předchozí Následující

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.