Sémantický Web SPARQL
|
|
- Milan Kraus
- před 6 lety
- Počet zobrazení:
Transkript
1 4 TVEZEWXYHMN LSTVSKVEQY-JSVQEXMOENITSHTSVSZ ETVSNIOXIQEGSZE Q ^)ZVSTWO LSWSGM P LSJSHYEVS^TS XYLPEZ LSQ WXE4VEL] 4VELE)9-ZIWXYNIQIHSZE% FYHSYGSWXM Sémntický We SPAQL BI - TWA Peter Vojtáš
2 Od XML ke DF, od stromů ke grfům Od relčních dt ke XML, od XML k DF, od tulek ke stromům, od stromů ke grfům Od SQL k Xpth, od Xpth ke SPAQL, eprezentce vstupu dotzu výstupu Příkldy, motivce, potřey Tvry SPAQL dotzu Sémntický we - SPAQL 2
3 Příkldy relce, strom, grf A B Pseudo XML Dtse c záznm1 záznm2 záznm3.a.b.a.b.a.b c Sémntický we - SPAQL 3
4 Příkldy relce, strom, grf - dotzy A c B SELECT.A FOM WHEE.B= Dtse záznm1 záznm2 záznm3.a.b.a.b.a.b c Ideově //.A[siling::.B= ]??? Sémntický we - SPAQL 4
5 Příkldy relce-inární, grf - dotzy A B rdf:type rdfs:domin c rdfs:rnge SELECT.A FOM WHEE.B=?x c?x. Sémntický we - SPAQL 5
6 Příkldy relce(ojekt-triut / vzth) oid A B 1 c.a.b?x.b. S A B C d c S.A S.B S.C?x S.B?y.?x S.C c Sémntický we - SPAQL 6
7 SPAQL typy dotzů N weu hledáme zdroje, s jistými vlstnostmi le SELECT vrcí množinu proměnných vázných v dotzovcím vzoru (které se vyskytují v dtech) CONSTUCT vrcí DF grf tvořený ze sustitucí z proměnné ASK vrcí ooleovskou hodnotu, která indikuje zd dotzovcí vzor yl nlezen neo ne DESCIBE vrcí DF grf, který popisuje nlezené zdroje Sémntický we - SPAQL 7
8 Příkldy z W3C mteriálu SPAQL Query Lnguge for DF Dt # Defult dc: < # Nmed grph: fof: < _: fof:nme "Alice". _: fof:knows _:. _: fof:knows _:c. _: fof:nme "Bo". _:c fof:nme "Clre". _:c fof:nick "CT". Sémntický we - SPAQL 8
9 Příkldy z W3C mteriálu SPAQL Query Lnguge for DF Dt + dotz => odpověď?nmex?nmey?nicky Alice Bo Alice Clre CT _: fof:nme "Alice". _: fof:knows _:. _: fof:knows _:c. _: fof:nme "Bo". _:c fof:nme "Clre". _:c fof:nick "CT". PEFIX fof: < SELECT?nmeX?nmeY?nickY WHEE {?x fof:knows?y ; fof:nme?nmex.?y fof:nme?nmey. OPTIONAL {?y fof:nick?nicky } } Sémntický we - SPAQL 9
10 Příkldy z W3C mteriálu SPAQL Query Lnguge for DF Dt + dotz => odpověď sprql xmlns=" <hed> <vrile nme="nmex"/>?nmex?nmey?nicky <vrile nme="nmey"/> <vrile nme="nicky"/> </hed> Alice Bo To není NULL <results> <result> <inding nme="nmex"> <literl>alice</literl> </inding> Alice Clre CT <inding nme="nmey"> _: fof:nme "Alice". <literl>bo</literl> </inding> _: fof:knows _:. </result> _: fof:knows _:c. <result> <inding nme="nmex"> _: fof:nme "Bo". <literl>alice</literl> </inding> _:c fof:nme "Clre". <inding nme="nmey"> _:c fof:nick "CT". <literl>clre</literl> </inding> <inding nme="nicky"> <literl>ct</literl> </inding> </result> </results> /sprql> PEFIX fof:< SELECT?nmeX?nmeY?nickY WHEE {?x fof:knows?y ; fof:nme?nmex.?y fof:nme?nmey. OPTIONAL {?y fof:nick?nicky } } Sémntický we - SPAQL 10
11 Příkldy z W3C mteriálu SPAQL Query Lnguge for DF fof: < _: fof:givennme "Alice". _: fof:fmily_nme "Hcker". _: fof:firstnme "Bo". _: fof:surnme "Hcker". PEFIX fof: < PEFIX vcrd: < CONSTUCT {?x vcrd:n _:v. _:v vcrd:givennme?gnme. _:v vcrd:fmilynme?fnme } WHEE { {?x fof:firstnme?gnme } UNION {?x fof:givennme?gnme}. {?x fof:surnme?fnme } UNION {?x fof:fmilynme?fnme vcrd: < _:v1 vcrd:n _:x. _:v2 vcrd:n _:z. _:x vcrd:givennme "Alice". _:z vcrd:givennme "Bo". _:x vcrd:fmilynme "Hcker". _:z vcrd:fmilynme "Hcker". Sémntický we - SPAQL 11
12 Příkldy z W3C mteriálu SPAQL Query Lnguge for DF Construct CONSTUCT {?s?p?o } WHEE { GAPH < {?s?p?o }. } PEFIX dc: < PEFIX pp: < CONSTUCT {?s?p?o } WHEE { GAPH?g {?s?p?o }. {?g dc:pulisher < }. {?g dc:dte?dte }. FILTE ( pp:customdte(?dte) > " T00:00:00Z"^^xsd:dteTime ). } Sémntický we - SPAQL 12
13 Příkldy z W3C mteriálu SPAQL Query Lnguge for DF fof: < _: fof:nme "Alice". _: fof:homepge < _: fof:nme "Bo". _: fof:mox <milto:o@work.exmple>. yes PEFIX fof: < ASK {?x fof:nme "Alice" } Sémntický we - SPAQL 13
14 Příkldy z W3C mteriálu SPAQL Query Lnguge for DF Descrie (informtive) Vrátí jeden DF grf, nemusíte znát strukturu dt, tvr rozhodne SPAQL query processor PEFIX ent: < DESCIBE?x WHEE {?x ent:employeeid "1234" fof: vcrd: exorg: rdf: owl: < _: exorg:employeeid "1234" ; fof:mox_sh1sum "ABCD1234" ; vcrd:n vcrd:fmily "Smith" ; vcrd:given "John". fof:mox_sh1sum rdf:type owl:inversefunctionlproperty. Informce z ontologie Sémntický we - SPAQL 14
15 Poznámky {?s?p?o} je možné ptát se n vše {ivn?p pvel} {?x?p1?o.?s?p2?x } Teď nás tdy nezjímjí UI-II eprezentce vstupu dt (N3, Turtle, XML) - dotzu - (N3, Turtle, XML) XSLT+SPAQL - výstupu tulk, grf (množin grfů), XML Teorie množin versus logické progrmování Typovný versus netypovný jzyk Sémntický we - SPAQL 15
16 Poznámky převody,vizulizce Schem (A, B) S(A) Typovný Netypovný Teorie množin I() = {f 1, f 2, f 3 }, I(S) = {g} f 1 (A) = f 1 (B) = f 2 (A) = c f 2 (B) = f 3 (A) = f 3 (A) = g(a) = d I() = {<,>, <c, >, <,>} I(S) = {<d>} Logické progrmování {(A:, B:), (A:c, B:), (A:, B:), S(A:d)} {(,), (c,), (,), S(d)} A c B S A d Sémntický we - SPAQL 16
17 Příkldy relce, strom, grf - dotzy A c B SELECT.A FOM WHEE.B=?x. Dtse záznm1 záznm2 záznm3.a.b.a.b.a.b c Ideově //.A[siling ::.B= ] Sémntický we - SPAQL 17
18 Příkldy relce-inární, grf - dotzy A c B SELECT.A FOM WHEE.B= triples s p o rdfs:rnge A rdf:type rdfs:domin rdfs:rnge?x. Sémntický we - SPAQL 18
19 Příkldy do testu Jednoduché převody Dt Dotzů Odpovědí Ne vše jde utomticky, prolém s pořdím, opkováním, důležité je, y s hledisk lidského uživtele yly odpovědi správně Sémntický we - SPAQL 19
SPARQL teorie, endpointy, pojmenované grafy, web API. 4IZ440 Reprezentace a zpracování znalostí na WWW Josef Petrák
SPARQL teorie, endpointy, pojmenované grafy, web API 4IZ440 Reprezentace a zpracování znalostí na WWW Josef Petrák me@jspetrak.name Dnes uvidíme Základy RDF grafu Pojmenované grafy Jazyk SPARQL RDF graf
VíceRDF API a SPARQL syntaxe, API, příklady. 4IZ440 Reprezentace a zpracování znalostí na WWW Josef Petrák me@jspetrak.name
RDF API a SPARQL syntaxe, API, příklady 4IZ440 Reprezentace a zpracování znalostí na WWW Josef Petrák me@jspetrak.name Dnes uvidíme Syntaxe RDF Základy RDF grafu Pojmenované grafy Přehled RDF API Příklady
VíceÉ ý ě š ý ó š ý ů ý ž ů ý ý ě ó š Š ó ó ů ě š ě ý ž ó ó ž ý ý ů ě š Š ý ó ě š ů ě ě ý ý š ě ý š ě š ě ý ž ě ů ě ý ů ě ý ů š ě ž š ě ů ů ě ě ů ě ý ů ě ě ů ň É ý š ů ý š ú š š Ů Ý Ů ě ž ž š š ž š ý ý ý ž
VíceSPARQL. jan.zemanek@gmail.com
SPARQL Jan Zemánek jan.zemanek@gmail.com SPARQL W3C SPARQL specifikace http://www.w3.org/tr/rdf sparql query/ SPARLQ by Example http://www.cambridgesemantics.com/2008/09/sparql byexample/ SPARQLCheat Sheet
Víceň č Ž č č č Ž č ý Ž ý Ž č č Ž ÍÍ ň č ň č č ý ů Ž š č č č ý ů Ž Ž č ý ů Ž Ž č ů š ů Í ó ůž č ú č č č ý č č š č ú Ž č ý č č č ýš Ž č čň č ď ý ý Í ýš č č ý ž š č ůž Žď ý č Ž ůž Ž č ý ú Ž č č š ů Ť ď ý Ž Š
VíceJak číst a psát RDF. Reprezentace a zpracování znalostí na WWW, Jindřich Mynarz
Jak číst a psát RDF Reprezentace a zpracování znalostí na WWW, 1. 10. 2012 Jindřich Mynarz Serializace RDF N3 RDF/XML NTriples Turtle RDFa JSON-LD Serializace: NTriples
Víceť Ť Ť Ť Š Á ň É ť Š ň ÍÍ ň ť ň Ť Ť Ť Í Í Ó Ť Ť Í ň ň Ť Ť Ť Í ň ť Ť ň ň ň Ť ň ň ň Ť ň Í ř Ť ť ň Ť Ž ň Ť Ó Ť ť ň ň ř Í Í Ť ň Ť ň Í ř Ť Í ň ň ň ň ť Ť ť ť ň ť ť ň Ť ť Í Ť Í Í ň Í Í ň Ý Ě ň Ť Í Ť ň É Ť Í Í
VíceRDF a RDF Query. Jakub Nerad 1. prosince Nerad () RDF a RDF Query 1. prosince / 16
RDF a RDF Query Jakub Nerad jakubnerad@gmail.com 1. prosince 2009 Nerad () RDF a RDF Query 1. prosince 2009 1 / 16 Součastnost Součastnost množství informací zpracování pomocí statistické analýzy problém
VíceÉ ÍČ úýě Ú ř Ě č ř ž ř š š š ú ý č č ýň Ú ž š č ž ž č š č č ž š š š č ž ž ž š š š š š ň š ž š ž ž č č č č ž š Ú č ž ž š š ž š ž š č š č č š š ť ť ž ž Ť ž ž č ž č Š č č č č ž č ž č ž č š š č č š ó ž č ú
VíceÁ Í Č Ě Č ň ť Š Č Ť ň ň ď Ť Ú ť Č ň ď ť Č Š Ž Ú Ť Ť Ť Ť ň Ť Ť ť Ť Ť Á Ť Ť Ť ď Ť Ť Ť Ť Ť Ť Ť Ť Ť ň ďť Ť Ť Ť Š Š Š ď ň Č Š ň Š ť Š ň Š Š Ť Ť Ť Ť Ť Ť Ť Ť Ť Ť Ť Ť Ť Ť Ť Ú Š ň ť ť Š ň Š Ž ť ť ť ň Š Č Š Š Í
VíceSémantický Web RDF(S)
4 TVEZEWXYHMNR LSTVSKVEQY-RJSVQEXMOENITSHTSVSZ RETVSNIOXIQRERGSZER Q ^)ZVSTWO LSWSGM PR LSJSRHYEVS^TS XYLPEZR LSQ WXE4VEL] 4VELE)9-RZIWXYNIQIHSZE% FYHSYGRSWXM Sémantický Web RDF(S) BI - TWA Peter Vojtáš
Víceš Í ň ů ď š ů š ů š Ú Í Žď ň ů ú ů š ů š ů Ž ú ú Ž ůž ů Í ú š Ž š Ž š š ů ů Ž ů š ů š ů š Ž ů Ž ů š ů š ů ť ť ů ú ů ů š š ú š š š ú š š ů ů š Ž š š ů š Á ů Ž š ůž ú ů š ů š ů ů š ů ů ůž ů ú š ů š ú š ú
Víceý úř ý ř ř ř š ř ř ř ú ý ů ý ů ř úř ř š ř ř ý Ť ř ř ř š ú ú ř ř ř ř Ů Ů ž ý ý ř ů ý ž ž ů ý ú ž ý ž ý ř ů ř ř ý ť š ř ý ÚČ ř ů ů ů ů ý ů ů ť ů ř ú ž ř ú ď ň ř ý ů ý ý ý ý ř Ť ý ř ú ú ú ř ř ř ř Ž ý š ř
Víceš Á š š ů š ý š Č Š Č ň ý ž ů ý ž ů Č ý ž ú Ň Š Í š ý ú ý š š š ý š š š š ý š š š Ů š š š š ý ů ů š ý ň š š š ž ů ň š ž ž ň ý ž š ý ý š ý š ý ú ů ž ý š ž š ú ú š ý ň ň š ý š š š Ú ú š ý ů š š š š š š š
VíceRDF serializace Turtle
4IZ440 Propojená data na webu RDF serializace Turtle Vyučující: Doc. Ing. Vojtěch Svátek, Dr. Zimní semestr 2016 http://nb.vse.cz/~svatek/rzzw.html Shrnutí obsahu a související zdroje Prezentace vychází
VíceFormální jazyky. Z. Sawa (VŠB-TUO) Úvod do teoretické informatiky 7. března / 46
Formální jzyky Z. Sw (VŠB-TUO) Úvod do teoretické informtiky 7. řezn 2012 1/ 46 Teorie formálních jzyků motivce Příkldy typů prolémů, při jejichž řešení se využívá pozntků z teorie formálních jzyků: Tvor
VíceAutomaty a gramatiky. Roman Barták, KTIML. Důkaz věty o isomorfismu reduktů. Věta o isomorfismu reduktů. Pro připomenutí
3 Automty grmtiky Romn Brták, KTIML rtk@ktimlmffcunicz http://ktimlmffcunicz/~rtk Pro připomenutí 2 Njít ekvivlentní stvy w X* δ*(p,w) F δ*(q,w) F Vyřdit nedosžitelné stvy 3 Sestrojit podílový utomt Automty
VíceLinked Data a jazyk RDF
Linked Data a jazyk RDF Doc. Ing. Vojtěch Svátek, Dr. Zimní semestr 2016 http://nb.vse.cz/~svatek/rzzw.html Osnova přednášky Strukturovaná data na webu - přehled Principy Linked Data Jazyk RDF Hlavní syntaxe
VíceFlexiBee Pokročilé funkce. Ondřej Světlík FlexiBee Systems s.r.o.
FlexiBee Pokročilé funkce Ondřej Světlík FlexiBee Systems s.r.o. Obsah Dotazování Navázané objekty a kolekce Úrovně detailu XPath Stránkování, řazení Filtrování (WQL) Našeptávání Uživatelské dotazy Obsah
VíceVzdělávací materiál. vytvořený v projektu OP VK. Název školy: Gymnázium, Zábřeh, náměstí Osvobození 20. Číslo projektu: CZ.1.07/1.5.00/34.
Vzdělávcí mteriál vytvořený v projektu OP VK Název školy: Gymnázium, Zářeh, náměstí Osvoození 20 Číslo projektu: Název projektu: Číslo název klíčové ktivity: CZ.1.07/1.5.00/34.0211 Zlepšení podmínek pro
VíceDeterministický konečný automat
Deterministický konečný utomt Formálně je deterministický konečný utomt definován jko pětice (Q,Σ,δ,q 0,F) kde: Q je konečná množin stvů Σ je konečná eced δ:q Σ Qjepřechodováfunkce q 0 Qjepočátečnístv
Víceé é č č é é í š á ě ž ě íš é é í í é é é é í é č ě ž í í í č éž í í áž ě Ť á í ž í í í á á ž é é é í í á š é č ěž í á ň á ě é á á Ť í é á á áž Ů á á ě
č č š ž š č ž č ž Ž Ť ž ž š č ž ň Ť ž Ů Ť š Žš ž Ž ž č ň Ž Ť Ť Ť š ž č Ť š Ť Ť š Ž š š Ž ž š Ť Ž Š Ť Ž Ť Ť Ž Š Ž Ž Ž Ť š Ž Žď ť ž Ž Ť ž ž ž Ž Ť ž š ť š š č Ž č Ť Ť Ž Ž Ž ň ž Ž š č č š č š š š Ť ň č Ť Ť
VíceSPARQL Query Language for RDF Motivace Syntax
SPARQL Query Language for RDF Motivace Syntax Peter Vojtáš, Jan Dědek Department of Software Engineering Faculty of Information Technology Czech Technical University in Prague Peter Vojtáš, Jan Dědek,
Víceů ů Č ů ů Š ž ů žď ž ž ž žď ů ů ž ů ó Č Ý Š ú Ý Á Š ž ů ž ž ž ů Š ú Ž ů ú ž Ř ó ž ú ž ň ž Á Š ň ď ž ú Ý ť Č Ř ň Š Á Š ž Š Š ž ú Ý ť Ř žď Š ž Á ž Š ů ť ť ů ú Ý Č Ř Ň ť Á ž Š ú Ý ž ž ó ž Ř žď Ň ž ž ň Ť ó
VíceÍ Č Ý Ó Ó á á á š ž Ť Ť č Í á á ž č Ó čť š š á Č Ť á Í č Í Í á á š š š ť Í Ť č Ť á Č á á ť Í š č Ť Í š š ť š á Ý á š Č ň č č š á č á č á á á č š Ť á ň č ť ň Ť á á á á á č á š á č š č č č Ť č á á á á Ď
VíceSPARQL Sémantika. Peter Vojtáš
SPARQL Sémantika Peter Vojtáš Department of Software Engineering Faculty of Information Technology Czech Technical University in Prague Peter Vojtáš, Jan Dědek, Ivo Lašek Semantic Web MI SWE 2011 Lecture
VíceÁ Ý Á Ó Ď ú ůí É Íť ě ř ý é ě ě ř ň ř é Š š ý ě ř ú Í ě ě ř ě ě š ř ě ř é ř š š ý ě š ř ř ů é ě ř š é ý ě ř ě ý ý ý ř ú ě é ě ě é ě ý ý ů é é é ř ý Ž ýš ý ě ý ě ř Ž é é š ý ř ř Ž ý ž řž é é ě é ř é ý ý
VíceDefinice. Necht M = (Q, T, δ, q 0, F ) je konečný automat. Dvojici (q, w) Q T nazveme konfigurací konečného automatu M.
BI-AAG (20/202) J. Holu: 2. Deterministické nedeterministické konečné utomty p. 2/3 Konfigurce konečného utomtu BI-AAG (20/202) J. Holu: 2. Deterministické nedeterministické konečné utomty p. 4/3 Automty
Víceč Ť š Ť č č š Í č Í Í Ů Ž Ý š Í č Ů š Ť š Ú č Í č Í š Ů š č č Ž č ť Ů š ť ď č ť ť š Ý ú š č ť č ť ť č š ď č č š š ď ť ď šš č š
č š ř š ť č Í š č ť č ť š č ř ť Ů č č Í ď ď Í ř Í š ř š Ž š ť č š š É ď š š č ť ť š č č Ť š Ť č č š Í č Í Í Ů Ž Ý š Í č Ů š Ť š Ú č Í č Í š Ů š č č Ž č ť Ů š ť ď č ť ť š Ý ú š č ť č ť ť č š ď č č š š ď
VícePřevody Regulárních Výrazů. Minimalizace Konečných. Regulární jazyky 2 p.1/35
Převody Regulárních Výrzů Minimlizce Konečných Automtů Regulární jzyky 2 p.1/35 Kleeneho lger Definice 2.1 Kleeneho lger sestává z neprázdné množiny se dvěm význčnými konstntmi 0 1, dvěm inárními opercemi
Víceí Ť Ř š í í ů á í ú ť á ý á á áš í ý í ý ů í í á í á ů á ů áž í č é í é é ó č Ž š á Š á á š Ž č é í ť ý í Ží á ší á Ž í š ý á í á í ú í ý é á í í ů č ý á í ůá á á í Ž á ý é í č ý ů í ší ý á ů ý ů í č á
Víceů š š ů Ú ů š É š š ů ť É Ž ů Í ó ň š š É Ú š Ů Ž Í š ů ňš Í ů ů š Š Š ó ů Í Ž Č š š š Č Č š Ů Í Í Í Í š š š Ž Ů š Š ů Ů Í Š Š š Č Ž ů Ž š Ú ó É Ž É Ú Ž Í š Í Ú ů Ú š Ú š Ú ů Ž Ú ů Ž š š š ů Í Ů š Ů Ú
VíceSouhrn základních výpočetních postupů v Excelu probíraných v AVT 04-05 listopad 2004. r r. . b = A
Souhrn zákldních výpočetních postupů v Ecelu probírných v AVT 04-05 listopd 2004. Řešení soustv lineárních rovnic Soustv lineárních rovnic ve tvru r r A. = b tj. npř. pro 3 rovnice o 3 neznámých 2 3 Hodnoty
VíceÝ úř ř Č Ž ř úř ř ř ř ř š š ů š Í ř ž Š Č š ř ř ř ť š Í ú š ř Íď ř úř ř ř š ů ů ť ž ř ž Í ž ř Ó ů Ů š Ž Ó ů ů š ž Ž ř š š ť ž Í Ý ř ř Ž ž Í ž šť š ž ďú ř ř ř ž Žď ř ů ť ů ň ž š ř ž š š ú šť Í ž ž ř ř ž
VíceNapájecí kabel. Podkladový list/ podkladový list pro plastické karty
Stručný návod k osluze ADS-2100e / ADS-2600We Zčněte zde ADS-2100e ADS-2600We Brother Industries, Ltd. 15-1, Neshiro-cho, Mizuho-ku, Ngoy 467-8561, Jpn Děkujeme vám, že jste si vyrli produkt společnosti
VíceNSWI108 Sémantizace Webu
NSWI108 Sémantizace Webu 1. Úvod do problematiky Peter Vojtáš a J. Dědek,. Eckhardt, M. Nečaský Sémantizace webu Úvod 1 Začátky webu Internet, http, HTML, URL Sir Timothy Berners-Lee TBL Sémantizace webu
Víceá ž č á ě ě Ž ě é é á Ť ě é ě Í é ě č ě Ť é ú ě Í čá é á ě Í ě č čá č Í š Í čá á éí ě Ů á š Í á é ěů ď ě é é á Í á č Íé ě é Í ú č á Ú é ě á ě ž á ě ě
Ů č č á á ť á é á ť š č ě é é á á š Í á ě ě é ú č é Ů č ž é á é á ť ž ě é á á ěť ě č ě ě č ú á á Í é ď ž č ě é č ž á ťď č ď ť á á ě é á ě ď ú ž č ž Ť ě á Ý Ť š ě Ó á á č ú ě č ě ž ď Í é ž é ť ě é á ě é
VícePokročilé funkce FlexiBee REST API. Ladislav Thon lthon@flexibee.eu
Pokročilé funkce FlexiBee REST API Ladislav Thon lthon@flexibee.eu Obsah Dotazování Navázané objekty a kolekce Úrovně detailu XPath Stránkování, řazení Filtrování (WQL) Hromadné čtení Našeptávání Uložené
Více+ c. n x ( ) ( ) f x dx ln f x c ) a. x x. dx = cotgx + c. A x. A x A arctgx + A x A c
) INTEGRÁLNÍ POČET FUNKCE JEDNÉ PROMĚNNÉ ) Pojem neurčitého integrálu Je dán funkce Pltí všk tké F tk, y pltilo F ( ) f ( ) Zřejmě F ( ), protože pltí, 5,, oecně c, kde c je liovolná kon- stnt f ( ) nším
Víceý ý ž ž š š ě ě ě ě ě ě ž Á ť ě ý ý ý Ú ý ž š ý ý ž ý ž ý ž Š ě ý ž ý ž Í ý ž ě ž ě ý ú ě ě ý ý ě ě ý ě ú ů ý ž ě ú ú ě ý Ú š ú ů ýš ů ě ú š š ý Ú š ý ě ďě š ú ž Š ě ú Š ě Ť ž ú š ú ž ú ě ě ť ě ý ú ě ž
Více3. APLIKACE URČITÉHO INTEGRÁLU
APLIKACE URČITÉHO INTEGRÁLU APLIKACE URČITÉHO INTEGRÁLU V mtemtice, le zejmén v přírodních technických vědách, eistuje nepřeerné množství prolémů, při jejichž řešení je nutno tím či oním způsoem použít
Víceó ý ó ě ť ě ě é ě ě é ď ú ý ů ý ů š ň ě ě é é ě ó ě é ě ú ě ý ě ý Ú é ě é ě ý ď ý ů ý ů ý ů Č é ž ý ň Ž ď é ý ú ě ý ě ý ů ě ě é ú ů ý ě é ě ý Í ě ý é ů ě ý ů ý ý ů ě ý ú ý ů Ž ú Ť ý ě ě ú ý ě ů ý ý Ů úě
Víceř ř š ů ř č ú ř Š Ů ť č ú ť č ř č š Č ď č ř ý Ž š ů ž č č ÁČ Á Á Ž Ý Á Ý É ř š ý ž ů Č Ž ýř Ú Č Ž š Í ý ů ý ů ř ž ř č š č ú š ž ť ů č č ď Í Ž č ý Ž č Á ř š ž ý Ž Ž ů ý š Ť ř úč Í Č ý ž ý ů ř ž ň ů ů ř
VíceTéma 10 Relační model dat a jazyk SQL. Relace je podmnožina kartézského součinu. K čemu relace?
Tém 0 Relční model dt jzyk SQL Osh. Relční lge. Opece elční lgey. Rozšíření elční lgey 4. Hodnoty null 5. Úpvy elcí 6. Stučný úvod do SQL 7. SQL elce 8. Zákldní příkzy SQL 9. Hodnoty null tříhodnotová
Víceň ú Ě É Ř ď ú ú ú ú Č Č Č Č ú ú ú ú Ú ú ú Ú ú ú Ú ú ú ň ú ú ú Ť ú ň ú ť ú ť ú ú ú ť ú ň ú ú Ú Č ú ť ú ú Ď ú ú Ú ú ú ú Ý ú ň ť Ř ť Ř ť ť Ř ť ť ť ť Ý Ž ť ť ť ť ň ť Ř ť É ť ť ňů Ý ť Č ú ť ť Ů ť ť ú Ý ť ť
Víceř ř ř ř ř ř ř úř ů Žň ř ř Í š š ů ť Š Š Š ů š ř Š Š ž ů Š ú ř ř ů žň ř ř Č Í ř ú ů Č ú ů Č ň ú ů Č Ť ú Č ň ř ú ř ží ů ů ú ú ú Č ú Č ú ú Č ú ú ú Č ú ú ú Č ú ť ů ú ú ú ů ú ó ů ř ů ů š ř ř ů š ů š ř ř ň ů
Více3. ROVNICE A NEROVNICE 85. 3.1. Lineární rovnice 85. 3.2. Kvadratické rovnice 86. 3.3. Rovnice s absolutní hodnotou 88. 3.4. Iracionální rovnice 90
ROVNICE A NEROVNICE 8 Lineární rovnice 8 Kvdrtické rovnice 8 Rovnice s bsolutní hodnotou 88 Ircionální rovnice 90 Eponenciální rovnice 9 Logritmické rovnice 9 7 Goniometrické rovnice 98 8 Nerovnice 0 Úlohy
VíceSlovní úlohy na sjednocení dvou množin s neprázdným průnikem. II b III
Slovní úlohy n sjenoení vou množin s neprázným průnikem Vennův igrm ( John Venn 1834 (Hull, Anglie) 1923 (Cmrige, Anglie) ) A V Životopis John Venn: http://www-groups.s.st-n..uk/ history/mthemtiins/venn.html
Víceě ý úř Š Í Ř Š á ě Č ř ář Í Í Ř Á ÁŠ Á á á ú ě ř ú ú ý ř ř š Š Š ú ě ý úř Š úř ř ř š ý á ú á á řá á é ě á á á á á á ě é š ř á á á áš ě š ú ě ú ř ř á ú ř é ě á á ě ř ú á ú á š ě Č ú ř Č ó ě á ř ř Í á ú
VíceAutomatická segmentace slov s pomocí nástroje Affisix. Michal@Hrusecky.net, Hlavacova@ufal.mff.cuni.cz
Automatická segmentace slov s pomocí nástroje Affisix Michal Hrušecký, Jaroslava Hlaváčová Michal@Hrusecky.net, Hlavacova@ufal.mff.cuni.cz Motivace Při zpracování přirozeného jazyka nikdy nemůžeme mít
Víceí á ž é ř ě í é á Ž ú ů í ú ř č í ů ř ý ř ýí ř ž í ř ý ř č í í ř ň Š ř í é š á í é ú čí Í ří ě šííř áž ří š ě Š í ý á á ď á é ě Í á ý ů ří ě á é á ěž
í á ž é ř ě í é á Ž ú ů í ú ř č í ů ř ý ř ýí ř ž í ř ý ř č í í ř ň Š ř í é š á í é ú čí Í ří ě šííř áž ří š ě Š í ý á á ď á é ě Í á ý ů ří ě á é á ěž éú Í ř ý ří č ý Á á í é ý ř á é é á á í ří á áš í á
VíceÚ ů ěš Š ň š Ú ě ě ě ů ž ý ě Ú ž ý ž ý ů ď š ě ž ů ů ů ýš ě ý ý ů ě š ě ě Š ě ý ě ď ě š ýš ž ě š ěž ěž ů ěš ý ě š ý ý ý ý ý ý ý š š Ř ž ž ě ě ž ý ú ů ů ě ý š ě ě ě ě š š ň ě Č ý ě ěž ž ý ú ů ž ě ě ě ý
VíceJak oslabit PC, aby algoritmus: neměl paměťové nároky PC, povede k vyřazení hodnoty z domény proměnné! e f. e f. a b. a b. byl silnější než AC?
N půli esty od AC k PC Progrmování s omezujíími podmínkmi Jk oslit PC, y lgoritmus: neměl pměťové nároky PC, neměnil grf podmínek, yl silnější než AC? Testujeme PC jen v přípdě, když je šne, že to povede
VícePájený výměník tepla, XB
Popis / plikce Deskové výměníky tepl pájené mědí řdy XB jsou určené pro použití v soustvách centrálního zásoování teplem (tzn. v klimtizčních soustvách, v soustvách určených pro vytápění neo ohřev teplé
VíceÍ ť úí ň š ň Š ú š ý ž ž ý š ů š ž ú ž ž ú ž ž ž ý Ž ý ů ý š ž ž ž Ž ž ú ž ů ý ž ž ý ž ý ů ý š ý ý ý ú ž ž ú ž š ž ž ý š Ž ž ž ů ů ž ž ý ů ž ů ú ý ž ý ý ý ž ý ů ý ů ý ú š ž ž ž ů ý ů Ž ž ž ž ú ýš ýš š
Vícef f i J 'ji ~ e~ ~fij:1 Ef i' =f; i~i ~~~= 1 f f j r ia:g~ ~. !Ii ~.e ~ = [ ~!- o ~"" i~!~~ ~. ~ ;. f f 1- J J f - f I ~ ~fj .g (t.. a '~g-!
W : J J J j t 6 "9 t ' l J ' ( } 'e D =; F; s D '8: e 8 8 e K ' 8 aa; 20 "* Ej 2"a, ] S' 8 a: 8e e" a, =' : a B_ B t:e tb"' :F B; 'S =' "" 8 E ' S "" " = [ :e8' e"" ;'B = B a ; 2 2 " a CAa = D CA,a ax8
VíceÍ Í ý ď ů ú Š Í Á É ř ú ř ř ř ř š ř ř š ř ž ž š š ý Í ř ů ý ý ž ď ý ř Í ů ž ď Ž ř ž ó Í ú ý ž ž Ž š ň ž ř š š ý ř ř ů ý ž Í ž ý ř ů ž ř Š ž ó ý ů ť ř ž Ť ž ř ř Í š Í š ý ž ý ř Ť š ř ř ř š ý ř ž Í ř Ž ř
VícePRAVDĚPODOBNOST A STATISTIKA. Náhodná proměnná Vybraná spojitá rozdělení
PRAVDĚPODOBNOST A STATISTIKA Náhodná proměnná Vybrná spojitá rozdělení Zákldní soubor u spojité náhodné proměnné je nespočetná množin. Z je tedy podmnožin množiny reálných čísel (R). Distribuční funkce
VíceInstalační návod. Záložní ohřívač nízkoteplotního monobloku Daikin Altherma EKMBUHCA3V3 EKMBUHCA9W1. Instalační návod. čeština
Záložní ohřívč nízkoteplotního monoloku Dikin Altherm EKMBUHCAV EKMBUHCA9W Záložní ohřívč nízkoteplotního monoloku Dikin Altherm češtin Osh Osh O této dokumentci. O tomto dokumentu... Informce o skříni.
Víceř ý ř ř É Í ý ř úř ř š ý ú Ť š ř ž š ř ú Ť ř Ž ž ž ú ř šú ú ř ř ř ú ř ž š Ž ý š ú ř ř š ú š ú ř ýš ř ř ú ň ý ý ý Í ž ý š ú ď ú ý ú ř š š ý Ž ř ý š š ý ž ý ř ý ý š ř ý š ř š Ž š ř ř ř ž š š ú ř ř Ť ý ř
VíceMinimalizace automatů. M. Kot, Z. Sawa (VŠB-TU Ostrava) Úvod do teoretické informatiky 28. března / 31
Minimlizce utomtů M. Kot, Z. Sw (VŠB-TU Ostrv) Úvod do teoretické informtiky 28. řezn 2007 1/ 31 Ekvivlence utomtů 1 2 3 1 2 3 1 2 Všechny 3 utomty přijímjí jzyk všech slov se sudým počtem -ček Nejvýhodnějšíjepronásposledníznich-mánejméněstvů
Víceč Í Š Ě Í ř š žú š šť š ý Č ř Ý ř ú Č š č ď Č ř š ř Č ř č ů ř ž ýš č š ůž ý Ť ý ů č č ř Ž ů ř ž š šť š š ď č č ú č ž ý č šť ř šť ř šť ů šť š šť ž ř č š ř šť šť ů šť Í š ů ř ý š ů ž ř ž č č ý š ý č č ýš
Více( ) 7.3.16 Další metrické úlohy II. Předpoklady: 7315. Př. 1: Najdi přímku rovnoběžnou s osou I a III kvadrantu vzdálenou od bodu A[ 1;2 ] 2 2.
76 Další metriké úlohy II Předpoklady: 7 Př : Najdi přímku rovnoěžnou s osou I a III kvadrantu vzdálenou od odu A[ ; ] Osou I a III kvadrantu je přímka y = x přímky s ní rovnoěžné mají rovnii x y + = 0
VíceHledání hyperbol
759 Hledání hyperol Předpokldy: 756, 757, 758 Pedgogická poznámk: Některé příkldy jsou zdlouhvější, pokud mám dosttek čsu proírám tuto následující hodinu ěhem tří vyučovcích hodin Př : Npiš rovnici hyperoly,
VíceKVADRATICKÁ FUNKCE (vlastnosti, grafy)
KVADRATICKÁ FUNKCE (vlstnosti, gr) Teorie Kvdrtikou unkí se nzývá kždá unke dná předpisem ; R,, R; D( ) je proměnná z příslušného deiničního ooru unke (nejčstěji množin R),, jsou koeiient kvdrtiké unke,
VíceSOLUTIONS FOR BIOCLIMATIC FAÇADES
SOLUTIONS FOR BIOCLIMATIC FAÇADES nimeo Systém pro řízení bioklimtických fsád nimeo TYP ŘÍZENÍ > Solo Compct Premium EIB/ KNX LON počet motorů 800 1 600 6 400 > 6 400 > 6 400 počet zón 2 4 8 16 > 16 >
VíceŠ ď ř ě ěř ř ř ž ř ě ř ě ř ř Í ě ý Ú Žď ě ž ř ě ř ě úř úř ý ě ř ž ž ř š ř ň ž ý Ú ž ě ě ě Ž ě ě š ěř ěř ď ž ěř ž ř š ď ě Ť ř ž ě ž ě ž ě ř ř ě ř ě ě ř ě ř ě ř ř ě ř ě ě ř ě ř ě Ž ě ě ř ě ř ě ř š ř ř ř
VíceSeznámíte se s další aplikací určitého integrálu výpočtem objemu rotačního tělesa.
.. Ojem rotčního těles Cíle Seznámíte se s dlší plikcí určitého integrálu výpočtem ojemu rotčního těles. Předpokládné znlosti Předpokládáme, že jste si prostudovli zvedení pojmu určitý integrál (kpitol.).
Vícejsou všechna reálná čísla x, pro která platí: + x 6
Příkld 1. Kolik lichých přirozených čísel lze vytvořit z číslic 0, 1, 2,, 8, jestliže se žádná číslice neopkuje? A: 2 B: 6 C: 9 D: 52 E: 55 Příkld 2. Definičním oborem funkce y = A: x ( 5; ) B: x ( 5;
Vícex + F F x F (x, f(x)).
I. Funkce dvou více reálných proměnných 8. Implicitně dné funkce. Budeme se zbývt úlohou, kdy funkce není zdná přímo předpisem, který vyjdřuje závislost její hodnoty n hodnotách proměnných. Jeden z možných
VíceAutomaty a gramatiky. Organizační záležitosti. Přednáška: na webu (http://ktiml.mff.cuni.cz/~bartak/automaty) Proč chodit na přednášku?
Orgnizční záležitosti Atomty grmtiky Romn Brták, KTIML rtk@ktiml.mff.cni.cz http://ktiml.mff.cni.cz/~rtk Přednášk: n we (http://ktiml.mff.cni.cz/~rtk/tomty) Proč chodit n přednášk? dozvíte se více než
Více1. Zjednodušte a zapište podmínky:
Z A D Á N Í Gymnázium U Libeňského zámku Prh 8 / 9. tříd / 0-03 /. kolo ZADÁNÍ. Zjednodušte zpište podmínky: + : + +. Petr zjistil, že průměrná spotřeb jejich osobního ut n 00 km jízdy v městském provozu
VíceFormální jazyky. M. Kot, Z. Sawa (VŠB-TU Ostrava) Úvod do teoretické informatiky 6. března / 48
Formální jzyky M. Kot, Z. Sw (VŠB-TU Ostrv) Úvod do teoretické informtiky 6. březn 2007 1/ 48 Motivce 1: Vyhledávání v textu Potřebujeme řešit následující problém: Máme řdu různých textů(npř. soubory n
Více{ } ( ) ( ) 2.5.8 Vztahy mezi kořeny a koeficienty kvadratické rovnice. Předpoklady: 2301, 2508, 2507
58 Vzth mezi kořen koefiient kvdrtiké rovnie Předpokld:, 58, 57 Pedgogiká poznámk: Náplň zřejmě přeshuje možnost jedné vučoví hodin, příkld 8 9 zůstvjí n vičení neo polovinu hodin při píseme + + - zákldní
Víceá ář á ř ř Č ř áč ě řá ú á ř č á á á á á ú ů ř ř Č á ř á á á Š ž č ě ř č ý ů á á ř ř ú á ř ž ý ý á á ž á ř č ů á á ů ř ý ý áš á ěř á ž á á ěř á á ř ž á ě ě á á žá á ů ý ř žá ř ě č ě á ě á ř ž ú ů ř ř ž
VíceMetody tvorby ontologií a sémantický web. Martin Malčík, Rostislav Miarka
Metody tvorby ontologií a sémantický web Martin Malčík, Rostislav Miarka Obsah Reprezentace znalostí Ontologie a sémantický web Tvorba ontologií Hierarchie znalostí (D.R.Tobin) Data jakékoliv znakové řetězce
Víceý ě ý ů ň Á á Ř á ý ě ý ů ň Ú ř á ě Č ů ůž ě ě ť ČÍ Á Ž Í Í ě é é ČÍ Ů Ž Ň é č é ó ř ňš é á ú é é é ž ž á č ř ň čá á á é ě á á é š č é é ě ř ř Č é ý á č é é ý é č é ář ů ý ů ř á š Ž á Ž ř ý ý č ý Ž č ň
Víceč ť č ň Í Ó š č š č Í Í ď š ď č ň č č š Ť č ď ť Í ň č Í š č š čů Í č č š š č č š š č č č š č š š ú Í š Ó ň š š ú š č Ó č Ó č Í č š š š č Ó č č č č č č č ď č č š Í Ů ť č č č Č Í Í č Ů š š Í Í ď Ť č Ý č
VícePsychologická metodologie. NMgr. obor Psychologie
Pržská vysoká škol psychosociálních studií, s.r.o. Temtické okruhy ke státní mgisterské zkoušce Psychologická metodologie NMgr. oor Psychologie 1 Vědecká teorie vědecká metod Vědecké vysvětlení, vědecký
VíceKonstrukce na základě výpočtu I
..11 Konstrukce n zákldě výpočtu I Předpokldy: Pedgogická poznámk: Původně yl látk rozepsnou do dvou hodin, v první ylo kromě dělení úseček zřzen i čtvrtá geometrická úměrná. Právě její prorání se nestíhlo,
Víceů ú ě ú ě Ý ě ů Ě Á Á Á ě ú ě ú Ř ú ě ě ě ú ě ů Č ě ě ž Č ú ě ů ž ě Š š ě ú ě ú ě ě Ř ú ě ú Č Č ě ž ě ž ž ž ž š ú š Č ž ů Č ů ú ž ú ě Č ú ú ě ě ž ú š ě ě ú ž ě ó ú ú ě š ě ž ú ě ě ú ž ú ě ů ě š ě ě š ú
VíceJe regulární? Pokud ne, na regulární ji upravte. V původní a nové gramatice odvod te řetěz 1111.
Grmtiky. Vytvořte grmtiku generující množinu řetězů { n m } pro n, m N {} tková, že n m. Pomocí této grmtiky derivujte řetezy,. 2. Grmtik je dán prvidly S ɛ S A A S B B A B. Je regulární? Pokud ne, n regulární
VíceInstalační návod. Záložní ohřívač pro venkovní jednotky s integrovanými hydraulickými součástmi EKMBUHCA3V3 EKMBUHCA9W1.
Záložní ohřívč pro venkovní jednotky s integrovnými hydrulickými EKMBUHCAV EKMBUHCA9W Záložní ohřívč pro venkovní jednotky s integrovnými hydrulickými češtin Osh Osh O této dokumentci. O tomto dokumentu...
Víceí éž í ě í ú ů ú í Í š ě í í ě ě š í ž Ó š ý č š ě ě ú ď ě Á Á Á Í š ž ě ě ž í í š š š š ú ť ž é ž ě í č ý é ď ý ž ě š ž ž ě ž ž í ě ž č ú í ž ý ý ý š š č ě š ý ě ý š ě ě š ě č é í ý ě Ž ý č ě ě í ú ě
Víceí č ě ě í č Á é ý ě š ě ě ť ž í ž í ž ě č š ší ú ší é íč í í é ě ě č č é ě í ž é ě š ý č í ě úč é ě ú ů í ů š ší é š é ů í ě ů č ů í ě š íí ž í š ě í íž í ů í í í ů é í ý é č ě é í é ů ě ě ž ší é ě é í
VíceRPEK1-03. Popis konstrukce a funkce HC 4027 1/2012. Elektromagneticky ovládané rozváděče. Nahrazuje HC 4027 12/2007
Elektromgneticky ovládné rozváděče D n 03 p mx 50 r Q mx 0 dm 3 min -1 REK1-03 HC 407 1/01 Nhrzuje HC 407 1/007 4/3, 4/ rozváděče šoupátkové konstrukce Elektromgnety liovolně nstvitelné kolem osy Nouzové
Víceí í Č Á ý í ě ž ř é ž é ů é ů í ž é í ý é é é í é ě íě č ž ý č ž ě í ž ř í ž ý ě ř í í é í é é í ž ý č ž ř é í Ž ž é ří í ýš č ří ů í ž é ů ě í Ž ší ě ž í ž é ž ě ž ě í é ě ž í í Ž ž ý š Í č ý č ů é č
Víceú ú ú ř úř úř ú ú ú ú š ž ú ú é ú ú ě ý Ú ú ú ž ř ú ú ř ť ý ř š ěř é é ěř ř é é é é é é ř š ý ě ý ě ý ěř Č ý é ž é ř ů ž ý ý ě ý ů ř é ě ž ž š ý ě ý ů ř é ě é ě ř ů é ř ě ř ě é é ř ě ž ú é ú ž é ž é š
Vícec 2 b 2 a 2 2.8.20 Důkazy Pythagorovy věty Předpoklady: 020819
.8.0 Důkzy Pythgorovy věty Předpokldy: 00819 Pedgogická poznámk: V řešení kždého příkldu jsou uvedeny rdy, které dávám postupně žákům, bych jim pomohl. Pedgogická poznámk: Diskuse o následujícím příkldu
Více( t) ( t) ( t) Nerovnice pro polorovinu. Předpoklady: 7306
7.3.8 Nerovnice pro polorovinu Předpokldy: 736 Pedgogická poznámk: Příkld 1 není pro dlší průěh hodiny důležitý, má smysl pouze jko opkování zplnění čsu při zpisování do třídnice. Nemá smysl kvůli němu
VíceZápadočeská univerzita v Plzni Fakulta aplikovaných věd Katedra informatiky a výpočetní techniky
Západočeská univerzita v Plzni Fakulta aplikovaných věd Katedra informatiky a výpočetní techniky Bakalářská práce Sémantický web v EEG/ERP doméně Plzeň 203 Jan Smitka Prohlášení Prohlašuji, že jsem bakalářskou
VíceÝ ÚŘ Č Ý Ý Ě Ř Ř Ř Ý ě ú ý ů ý ů ě ú ě ý š ú ú ě Č é ě Ř É ý ú Í ý ý Í ú Í ý Í ě Í Í Í Ú Í ý ý Í ý ýš ý ý ěň ů é ě ů š ý ž ú Ú ý ú Č Ú Í ú ú Í ě ý ú ě é ú ě Ú ů žň Í ý ý ý ů Í Í Ů ú ú ú Í Í ý Í ě ů ě ú
Víceý ý ů ý ů ů Ú š ů ů Š ý ý ů ý ů ý ú ů ý Č ý ů ú ý ý ý ú š ý ú š ý ů ý š ž ý ý ý ý ý ů ž ý Č ý ý ž ý ů š ó ú ž ý ž š ý ý ů ů ů Č š ž ň ů ů ž ý š ý ž ž š ý ž ý ž ý Ú š š š ý ý ů ú ý š ý ž š ýš ý š ž ý š
VíceČ ó ě ěš ř ě ěš ý ý ú ú ó ř Ž Ž ř ý ě š ň ě š ř ř ň ě ě ř ň ů ú ě ý ě ě ň ěř ň ý ěř ř ř ý ý ěř ý ř š ď ý ý ř ě ýš ě ů Ž ú ě Š ř ň Ž š ý š š ě ý ě ů š š ť ř ě š ř Í ú ú ř ů ó š ň ě ř š š ě ě ř š ú ř Í Š
Víceř ý Š Ř ú ý Ž ř ú Š ň š ř ý Ž ř ř ř ř ř Ž ř ř š Ž ú ý š ý Í š ý š ů ň ý š Ž š ů ý ý ů ý ů Ú š ýš ř ř Ž ýš ý Ž Ž ř Í ů ř ř ý ýš Ž ž ý ř ř Ž ř ú ř ř š ý Ř Ú ň Ž ý ř š ř ů Ř ň ž Š Ř ž ř Ž ý ů ř ů ř Ž ř Ž
Více