Podsumowanie ofert Liczba ofert: 1. |
 | Formální logika a sémantický web | brak | Západočeská univerzita |
| czeskieklimaty.pl | od 70.76PLN | ||
 Formální logika a sémantický web za 70.76 zł Cena: 70.76 zł 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.... | |||
![W drodze - Marek Gunia [KSIĄŻKA] - Marek Gunia](http://cdn.pozycjonowanie.cloud/4/4-w-drodze-marek-gunia-ksiazka-marek-gunia.jpg)
![Malowanki przedszkolaka - zeszyt 2 [KSIĄŻKA] - brak](http://cdn.pozycjonowanie.cloud/5/5-malowanki-przedszkolaka-zeszyt-2-ksiazka.jpg)
