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

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

K nákupu nad 999 Kč dárek zdarma v hodnotě 398 Kč

Hacienda

Nakupte na e-shopu alespoň za 700 Kč se Skip Pay a automaticky hrajete o 11 voucherů v celkové hodnotě 15 000 Kč. Více informací

K tomuto produktu zákazníci kupují

Hradla, volty, jednočipy

Martin Malý
4.9 z 5 hvězdiček
měkká vazba

357 Kč

Běžně 399 Kč
Do košíku
Moderní programování – sbírka úloh k učebnici pro středně pokročilé

Radek Vystavěl
5.0 z 5 hvězdiček
měkká vazba

268 Kč

Do košíku
Statistika v aplikacích

Jan Hendl
0.0 z 5 hvězdiček
pevná vazba

570 Kč

Běžně 637 Kč
Do košíku
Porty, bajty, osmibity

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

357 Kč

Běžně 399 Kč
Do košíku
Mistrovství v C++ 4. aktualizované vydání

Stephen Prata
5.0 z 5 hvězdiček
pevná vazba

886 Kč

Běžně 990 Kč
Do košíku
SQL

Marek Laurenčík
2.0 z 5 hvězdiček
měkká vazba

294 Kč

Běžně 329 Kč
Do košíku
Kryptografie okolo nás

Karel Burda
4.0 z 5 hvězdiček
měkká vazba

178 Kč

Běžně 199 Kč
Do košíku
Self Service Business Intelligence

Zuzana Šedivá & další
5.0 z 5 hvězdiček
měkká vazba

133 Kč

Běžně 149 Kč
Do košíku
Algoritmizace

Jana Pšenčíková
0.0 z 5 hvězdiček
měkká vazba

197 Kč

Běžně 220 Kč
Do košíku
Databáze a SQL pro začátečníky

Radek Vystavěl
5.0 z 5 hvězdiček
měkká vazba

267 Kč

Běžně 298 Kč
Do košíku
Elektronika s podporou PC + CD

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

222 Kč

Běžně 248 Kč
Do košíku
IPv6

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

402 Kč

Běžně 449 Kč
Do košíku
Hledání a odstraňování poruch

Wolfgang Matthes
0.0 z 5 hvězdiček
pevná vazba

439 Kč

Běžně 490 Kč
Do košíku
Zbývá 299+ ks

Končí za 67 d

DOBRÁ CENA JavaScript

Ondřej Žára
0.0 z 5 hvězdiček
měkká vazba

69 Kč

Běžně 349 Kč
Do košíku
Moderní programování - Učebnice pro začátečníky

Radek Vystavěl
3.0 z 5 hvězdiček
měkká vazba

267 Kč

Běžně 298 Kč
Do košíku
Informace o informaci

Pavel Beneš
5.0 z 5 hvězdiček
pevná vazba

223 Kč

Běžně 249 Kč
Do košíku
Hello World

Hannah Fryová
4.0 z 5 hvězdiček
pevná vazba

349 Kč

Do košíku
Ponořme se do HTML5

Mark Pilgrim
5.0 z 5 hvězdiček
měkká vazba

268 Kč

Běžně 299 Kč
Do košíku
WTF? Co přinese budoucnost a jak ji přežít

O'Reilly Tim
3.8 z 5 hvězdiček
pevná vazba

402 Kč

Běžně 449 Kč
Do košíku
Jako člověk

Stuart Russell
0.0 z 5 hvězdiček
pevná vazba

356 Kč

Běžně 398 Kč
Do košíku
333 tipů a triků pro VMware

Michal Šika
0.0 z 5 hvězdiček
měkká vazba

312 Kč

Běžně 349 Kč
Do košíku
Tvorba www stránek v HTML a CSS

Marek Laurenčík
5.0 z 5 hvězdiček
měkká vazba

294 Kč

Běžně 329 Kč
Do košíku
Buď pánem svého prostoru

Denise Weldon-Siviy, Linda McCarthy
5.0 z 5 hvězdiček
měkká vazba

205 Kč

Běžně 229 Kč
Do košíku
Tvorba vydělávajícího webu - Krok za krokem

Hanka Čajková
0.0 z 5 hvězdiček
pevná vazba

224 Kč

Běžně 250 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.