KOMPILÁTORY: Syntaxou riadený preklad. Jana Dvořáková
|
|
- Πάν Αντωνιάδης
- 5 χρόνια πριν
- Προβολές:
Transcript
1 KOMPILÁTORY: Syntaxou riadený preklad Jana Dvořáková
2 Čo je syntaxou riadený preklad? Celý kompilátor je riadený procesom parsovania Syntaxou riadený preklad = prepojenie syntaktickej analýzy s nasledujúcimi fázami kompilácie syntaktická analýza syntaxou riadený preklad ďaľšie fázy K pravidlám gramatiky sú priradené akcie Generovanie kódu Ukladanie informácií do tabul ky symbolov Generovanie chybových hlásení Kontrola konzistencie typov..a d alšie Notácia 1 Syntaxou riadená definícia Abstraktná notácia 2 Prekladová schéma Podobná syntaxou riadenej definícií, ale viac implementačných detailov (poradie vykonania akcií)
3 Realizácia akcií 1 Počas parsovania Jeden prechod, používa sa v kompilátoroch Bez explicitnej konštrukcie stromu odvodenia Možné pre špeciálne typy syntaxou riadených definícií - Napr. L-atribútové definície zahŕňajú prakticky všetky syntaxou riadené definície, ktoré sa dajú realizovat bez explicitnej konštrukcie stromu odvodenia 2 Prechádzaním explicitne zostrojeného stromu odvodenia vstupný reťazec strom odvodenia graf závislostí poradie vyhodnocovania akcií
4 Syntaxou riadená definícia (SRD) Abstraktná špecifikácia syntaxou riadeného prekladu Vznikne rozšírením CF gramatiky vstupného jazyka o 1 Atribúty Priradené k symbolom gramatiky X.x = atribút x symbolu X Nesú d al šiu informáciu o danom symbole - Hodnota atribútu: ret azec, číslo, typ, miesto v pamäti,.. 2 Sémantické pravidlá Priradené k pravidlám gramatiky B.b := f (C 1.c 1,..., C k.c k ) Slúžia pre výpočet atribútov symbolov v rámci jedného pravidla gramatiky Môžu obsahovat funkcie s bočným efektom (napr. vypísanie hodnoty na výstup, zmena hodnoty globálnej premennej) SRD bez funkcií s bočným efektom = atribútová gramatika
5 Vrchol v strome odvodenia = záznam s pol ami symbol gramatiky atribút 1 atribút 2 Atribúty Symbol gramatiky je v prvom poli záznamu a je návestím vcholu Atribúty sú uložené v d alších poliach Typy atribútov 1 Syntetizované atribúty Hodnoty sa vypočítajú podl a hodnôt atribútov detí V praxi často používané 2 Dedičné atribúty Hodnoty sa vypočítajú podl a hodnôt atribútov rodičov a súrodencov Vhodné na vyjadrenie závislosti konštrukcií na kontexte, v ktorom sa nachádzajú Ak B.b := f (C 1.c 1,..., C k.c k ) hovoríme, že B.b je závislý na C 1.c 1,..., C k.c k Strom odvodenia s vypočítanými hodnotami atribútov sa nazýva anotovaný strom odvodenia Terminály majú iba syntetizované atribúty a poč. symbol gramatiky má iba dedičné atribúty
6 Syntaxou riadená definícia Príklad 1 - kalkulačka Pravidlo gramatiky Sémantické pravidlo L E n print(e.val) funkcia s bočným efektom E E 1 + T E.val := E 1.val + T.val E T E.val := T.val T T 1 F T.val := T 1.val F.val T F T.val := F.val F ( E ) F.val := E.val F digit F.val := digit.lexval hodnota atribútu je poslaná lexikálnym analyzátorom X.val je syntetizovaný atribút pre X {E, T, F } s celočíselnou hodnotou SRD iba so syntetizovanými atribútmi sa nazýva S-atribútová definícia a vždy sa dá vyhodnotit na strome odvodenia prechodom zdola-nahor
7 Syntaxou riadená definícia Príklad 2 - deklarácie Pravidlo gramatiky D T L ; T int T real L L 1, id L id Sémantické pravidlo L.in := T.type T.type := integer T.type := real L 1.in := L.in addtype(id.entry, L.in) addtype(id.entry, L.in) L.in je dedičný atribút T.type je syntetizovaný atribút Nedá sa vyhodnotit jednoducho ako S-atribútové definície
8 Znázorňuje závislosti medzi atribútami Graf závislostí Orientovaný graf D = (V, E) V - množina vrcholov, atribúty symbolov gramatiky E - množina hrán, X.x Y.y E ak Y.y je závislý na X.x for každý vrchol n v strome odvodenia do for každý atribút a symbolu gramatiky v n do vytvor vrchol pre a; for každý vrchol n v strome odvodenia do for každé sémantické pravidlo b := f (c 1,..., c k ) asociované s pravidlom v n do for i := 1 to k do pridaj hranu z c i do b Topologické triedenie D Usporiadanie vrcholov m 1,..., m k, také, že platí: Ak existuje hrana m i m j potom m i je pred m j. Získame platné poradie vyhodnocovania atribútov (ak D nemá cyklus)
9 Metódy vyhodnocovania atribútov 1 Metódy stromu odvodenia Strom odvodenia sa zostrojí explicitne, nájde sa graf závislostí a topologickým triedením sa získa poradie vyhodnocovania atribútov V čase kompilácie 2 Metódy analýzy pravidiel Poradie vyhodnocovania sa určí statickou analýzou sémantických pravidiel V čase konštrukcie kompilátora 3 "Nedbanlivé"metódy * Poradie vyhodnocovania sa určí bez ohl adu na sémantické pravidlá Ak sa preklad vykonáva počas parsovania, poradie je určené parsovacou metódou V čase konštrukcie kompilátora
10 Syntaktický strom Zjednodušený strom odvodenia Operátory a kl účové slová sú vnútornými vrcholmi Vetvy odvodené ret azcovými pravidlami (chain rules) sú zredukované Využíva sa ako prechodná reprezentácia kompilovaného programu alebo jeho častí Syntaxou riadený preklad môže byt založený na strome odvodenia alebo syntaktickom strome Rovnaký prístup, atribúty sú priradené k uzlom stromu a ten sa anotuje Výhody syntaktického stromu Gramatika vhodná na parsovanie nie vždy reprezentuje prirodzenú hierarchickú štruktúru vstupného programovacieho jazyka Parsovacia metóda obmedzuje poradie sprístupnenia uzlov stromu odvodenia a toto poradie nie je vždy vhodné pre preklad
11 Funkcie na konštrukciu vrcholov: Syntaktický strom pre výrazy 1 mknode(op, left, right) 2 mkleaf (id, entry) Vrátia smerník na 3 mkleaf (num, val) skonštruovaný vrchol Vrcholy pre operátory sú implementované ako záznamy s niekol kými poliami operátor smerník na operand 1 smerník na operand 2 Vrcholy pre identifikátory a číselné konštanty Operátor je návestím vrcholu Pri preklade sú v zázname ešte d al šie polia pre atribúty id num 4 smerník do tabuľky symbolov
12 Syntaktický strom pre výrazy Syntaxou riadená definícia Pravidlo gramatiky E E 1 + T E E 1 T E T T T 1 F T ( E ) T id T num Sémantické pravidlo E.nptr := mknode( +, E 1.nptr, T.nptr) E.nptr := mknode(, E 1.nptr, T.nptr) E.nptr := T.nptr T.nptr := mknode(, T 1.nptr, F.nptr) T.nptr := E.nptr T.nptr := mkleaf (id, id.entry) T.nptr := mkleaf (num, num.val) X.nptr je syntetizovaný atribút pre X {E, T, F } a obsahuje smerník na príslušný vrchol
13 Syntaktický strom vs. DAG Spoločné podvýrazy sú reprezentované iba jedným podstromom Pri pridávaní nového vrchola sa kontroluje, či už identický vrchol neexistuje Výraz: a + a (b c) + (b c) d * + * a * - d * d a - b c a - b c b c
14 Implementácia SRD pri parsovaní Zostrojit automatický prekladač pre l ubovol nú SRD môže byt t ažké Máme vel ké triedy, pre ktoré to je jednoduché 1 S-atribútové definície Obsahujú iba syntetizované atribúty 2 L-atribútové definície Obsahujú syntetizované aj dedičné atribúty, ale sú tu urcčité obmedzenia pre výpočet dedičných atribútov Zahŕňajú všetky SRD, ktoré sa implementujú bez explicitnej konštrukcie stromu odvodenia S-atribútové definície L-atribútove definície Obe triedy sa dajú implementovat pri parsovaní zhora-nadol aj zdola-nahor Obmedzenia na použitú gramatiku
15 S-atribútová definícia Implementácia pri parsovaní zdola-nahor (1) Hodnoty atribútov sú uložené v špeciálnych poliach v zásobníku parsera a sú asociované so symbolmi gramatiky (resp. stavmi) Ak symbol nemá atribút, hodnota je nedefinovaná Zásobník s miestom pre jeden atribút: state Z Y X val Z.z Y.y X.x top Implementácia - dvojica polí 1. state obsahuje smerníky (indexy) do LR(1) parsovacej tabul ky - Symbol gramatiky je implicitne v stave, netreba si ho pamätat - Pre jednoduchost uvádzame symbol namiesto príslušného stavu 2. val obsahuje hodnoty atribútu - val[i] = hodnota atribútu pre symbol v state[i] Hodnoty syntetizovaných atribútov sú vypočítané vždy pred redukciou z atríbútov uložených v zásobníku (= atribútov symbolov z pravej strany pravidla)
16 S-atribútová definícia Implementácia pri parsovaní zdola nahor (2) Príklad: A XYZ, A.a = f (X.x, Y.y, Z.z) state val state val Z Z.z top Y Y.y X X.x výpočet A.a redukcia A -> XYZ A A.a top - Z.z := val[top] - Y.y := val[top 1] - X.x := val[top 2] - top := top 2 - val[top] := A.a
17 Pravidlo gramatiky S-atribútová definícia Implementácia pri parsovaní zdola nahor (3) Fragment kódu L E n print(val[top]) E E 1 + T val[ntop] := val[top 2] + val[top] E T T T 1 F val[ntop] := val[top 2] val[top] T F F ( E ) val[ntop] := val[top 1] F digit S redukciami v LR parseri sú asociované fragmenty kódu Získame ich zo sémantických pravidiel nahradením atribútov pozíciami v poli val Vykonajú sa tesne pred redukciou Premenné top a ntop top je aktuálny vrch zásobníka, ntop je nový vrch zásobníka Postup pri redukcii podl a pravidla A β, kde β = r 1 ntop sa nastaví na top r Vykoná sa fragment kódu a redukcia 3 top sa nastaví na ntop
18 L-atribútová definícia Syntaxou riadená definícia je L-atribútová, ak pre l ubovol né pravidlo A X 1, X 2... X n platí, že každý dedičný atribút symbolu z pravej strany X j je závislý iba na 1 atribútoch symbolov X 1, X 2,... X j 1, ktoré sú v pravidle nal avo od X j a 2 dedičných atribútoch symbolu A. SRD, ktorá nie je L-atribútová Pravidlo gramatiky: A LM A QR Sémantické pravidlo: L.i := l(a.i) M.i := m(l.s) A.s := f (M.s) R.i := r(a.i) Q.i := q(r.s) A.s := f (Q.s) Pozn.: Každá S-atribútová definícia je aj L-atribútová Nezodpovedá definícií
19 L-atribútová definícia Vyhodnotenie atribútov Atribúty môžu byt vyhodnotené prechádzaním stromu do hĺbky (depth-first order) procedure dfvisit(n:node); begin for každé diet a m vrcholu n zl ava doprava do begin vyhodnot dedičné atribúty vrcholu m; dfvisit(m) end; vyhodnot syntetizované atribúty vrcholu n end Prirodzený spôsob prechádzania stromu odvodenia Implementácia L-atribútovej definície pri parsovaní 1 Parsovanie zhora-nadol Všetky SRD založené na LL(1) gramatikách 2 Parsovanie zdola-nahor Všetky SRD založené na LL(1) gramatikách, vel ká čast SRD založených na LR(1) gramatikách
20 Prekladové schémy Ďal ší spôsob špecifikácie syntaxou riadeného prekladu Konkrétnejšia ako SRD Špecifikuje aj poradie vyhodnocovania atribútov Sémantické akcie sú uzátvorkované pomocou {} a vložené medzi symboly pravých strán pravidiel Príklad Prekladová schéma, ktorá prekladá infixové výrazy so sčítaním a odčítaním na ekvivalentné postfixové výrazy E T R R addop T {print(addop.lexeme)} R 1 ε T num {print(num.val)} addop.lexeme môže byt + alebo - Gramatika vznikla odstránením l avej rekurzie z povestnej gramatiky pre výrazy
21 Obmedzenia pre prekladové schémy Akcia nesmie odkazovat na nevypočítaný atribút Prekladové schémy pre S-atribútové definície Jednoduché riešenie - akcie sú umiestnené na konci pravidiel Prekladové schémy pre L-atribútové definície 1 Dedičný atribút symbolu na pravej strane pravidla musí byt vypočítaný v akcii nal avo od neho. 2 Akcia nesmie odkazovat na syntetizovaný atribút symbolu napravo. 3 Syntetizovaný atribút neterminálu na l avej strane pravidla môže byt vypočítaný až potom ako boli vypočítané všetky atribúty na ktorých je závislý. Príslušná akcia pre jeho vypočítanie je zvyčajne lokalizovaná na konci pravej strany pravidla Príklad "zlej"prekladovej schémy S A 1 A 2 {A 1.in := 1; A 2.in := 2; } A a {print(a.in)}
22 L-atribútová definícia Implementácia pri prediktívnom parsovaní Implementácia je možná iba pre L-atribútové definície (prekladové schémy *) založené na LL(1) gramatikách, ktoré okrem iného, nemôžu obsahovat l avú rekurziu Existuje metóda na odstránenie l avej rekurzie priamo z prekladovej schémy Rozšírenie algoritmu odstránenia l avej rekurzie z CF gramatiky Dá sa aplikovat na prekladové schémy so syntetizovanými atribútmi Ak už máme prekladovú schému založenú na LL(1) gramatike, existuje algoritmus pre konštrukciu prediktívneho syntaxou riadeného prekladača
23 Odstránenie l avej rekurzie z prekl. schémy Vstupná prekladová schéma: A A 1 Y {A.a := g(a 1.a, Y.y)} A X {A.a := f (X.x)} Po odstránení l avej rekurzie z CF gramatiky získame novú gramatiku: A X R R Y R ε Po prepísaní sémantických akcií získame výslednú prekl. schému: A X {R.i := f (X.x)} R {A.a := R.s} R Y {R 1.i := g(r.i, Y.y)} R 1 {R.s := R 1.s} R ε {R.s := R.i}
24 Odstránenie l avej rekurzie z prekl. schémy E E 1 + T {E.val := E 1.val + T.val} E E 1 T {E.val := E 1.val T.val} E T {E.val := T.val} T (E) {T.val := E.val} T num {T.val := num.val} E T {R.i := T.val} R {E.val := R.s} R + T {R 1.i := R.i + T.val} R 1 {R.s := R 1.s} R T {R 1.i := R.i T.val} R 1 {R.s := R 1.s} R ε {R.s := R.i} T ( E ) {T.val := E.val} T num {T.val := num.val} Príklad
25 Konštrukcia prediktívneho prekladača Vstup. Syntaxou riadená prekladová schéma založená na gramatike vhodnej pre prediktívne parsovanie. Výstup. Kód prediktívneho syntaxou riadeného prekladača. 1 Pre každý neterminál A vytvor funkciu, ktorá má formálny parameter pre každý dedičný atribút A a vracia hodnoty syntetizovaných neterminálov A. Funkcia pre A má lokálnu premennú pre každý atribút každého symbolu, ktorý sa vyskytuje v pravidle pre A. 2 Kód pre neterminál A sa rozhoduje, ktoré pravidlo aplikovat podl a aktuálneho vstupného symbolu. 3 Kód asociovaný s každým pravidlom vykonáva nasledovné akcie. (i) Pre token X so syntetizovaným atribútom x, ulož hodnotu x do premennej deklarovanej pre X.x. Potom zavolaj procedúru match(x) a posuň sa na vstupe. (ii) Pre neteminál B, vygeneruj priradenie tvaru c := B(b 1, b 2,..., b k ), kde b 1, b 2,..., b k sú premenné pre dedičné atribúty neterminálu B, c je premenná pre syntetizovaný atribút net. B a B je volanie funkcie pre net. B. (iii) Pre akciu, kopíruj kód priamo do parsera, pričom každú referenciu na atribút nahrad asociovanou premennou.
26 Syntaxou riadený preklad pri parsovaní Zhrnutie 1 Implementácia S-atribútových definícii Mali sme algoritmus pri parsovaní zdola-nahor Dajú sa implementovat aj pri parsovaní zhora-nadol - Odstránenie l avej rekurzie z prekladovej schémy a zostrojenie prediktívneho prekladača 2 Implementácia L-atribútových definícií Mali sme algoritmus pri parsovaní zhora-nadol Dajú sa implementovat aj pri parsovaní zdola-nahor - Rozšírenie algoritmu pre spracovanie S-atribútových definícií V oboch prípadoch je obmedzená množina CF gramatík, na ktorej je SRP založený - Prekladač zdola-nahor je silnejší
Kompilátory Syntaxou riadený preklad. Ján Šturc Zima 2009
Kompilátory Syntaxou riadený preklad Ján Šturc Zima 2009 Syntaxou riadené definície Symbolom gramatiky sú priradené atribúty, ktoré nesú dodačnú informáciu o konštrukciách rozpoznávaných syntaxou. Hodnoty
Διαβάστε περισσότεραEkvačná a kvantifikačná logika
a kvantifikačná 3. prednáška (6. 10. 004) Prehľad 1 1 (dokončenie) ekvačných tabliel Formula A je ekvačne dokázateľná z množiny axióm T (T i A) práve vtedy, keď existuje uzavreté tablo pre cieľ A ekvačných
Διαβάστε περισσότεραMatematika Funkcia viac premenných, Parciálne derivácie
Matematika 2-01 Funkcia viac premenných, Parciálne derivácie Euklidovská metrika na množine R n všetkých usporiadaných n-íc reálnych čísel je reálna funkcia ρ: R n R n R definovaná nasledovne: Ak X = x
Διαβάστε περισσότεραGramatická indukcia a jej využitie
a jej využitie KAI FMFI UK 29. Marec 2010 a jej využitie Prehľad Teória formálnych jazykov 1 Teória formálnych jazykov 2 3 a jej využitie Na počiatku bolo slovo. A slovo... a jej využitie Definícia (Slovo)
Διαβάστε περισσότεραLR(0) syntaktické analyzátory. doc. RNDr. Ľubomír Dedera
LR0) syntaktické analyzátory doc. RNDr. Ľubomír Dedera Učebné otázky LR0) automat a jeho konštrukcia Konštrukcia tabuliek ACION a GOO LR0) syntaktického analyzátora LR0) syntaktický analyzátor Sám osebe
Διαβάστε περισσότεραKompilátory. Cvičenie 6: LLVM. Peter Kostolányi. 21. novembra 2017
Kompilátory Cvičenie 6: LLVM Peter Kostolányi 21. novembra 2017 LLVM V podstate sada nástrojov pre tvorbu kompilátorov LLVM V podstate sada nástrojov pre tvorbu kompilátorov Pôvodne Low Level Virtual Machine
Διαβάστε περισσότεραObvod a obsah štvoruholníka
Obvod a štvoruholníka D. Štyri body roviny z ktorých žiadne tri nie sú kolineárne (neležia na jednej priamke) tvoria jeden štvoruholník. Tie body (A, B, C, D) sú vrcholy štvoruholníka. strany štvoruholníka
Διαβάστε περισσότεραStart. Vstup r. O = 2*π*r S = π*r*r. Vystup O, S. Stop. Start. Vstup P, C V = P*C*1,19. Vystup V. Stop
1) Vytvorte algoritmus (vývojový diagram) na výpočet obvodu kruhu. O=2xπxr ; S=πxrxr Vstup r O = 2*π*r S = π*r*r Vystup O, S 2) Vytvorte algoritmus (vývojový diagram) na výpočet celkovej ceny výrobku s
Διαβάστε περισσότερα1. Limita, spojitost a diferenciálny počet funkcie jednej premennej
. Limita, spojitost a diferenciálny počet funkcie jednej premennej Definícia.: Hromadný bod a R množiny A R: v každom jeho okolí leží aspoň jeden bod z množiny A, ktorý je rôzny od bodu a Zadanie množiny
Διαβάστε περισσότεραCvičenie č. 4,5 Limita funkcie
Cvičenie č. 4,5 Limita funkcie Definícia ity Limita funkcie (vlastná vo vlastnom bode) Nech funkcia f je definovaná na nejakom okolí U( ) bodu. Hovoríme, že funkcia f má v bode itu rovnú A, ak ( ε > )(
Διαβάστε περισσότερα7. FUNKCIE POJEM FUNKCIE
7. FUNKCIE POJEM FUNKCIE Funkcia f reálnej premennej je : - každé zobrazenie f v množine všetkých reálnych čísel; - množina f všetkých usporiadaných dvojíc[,y] R R pre ktorú platí: ku každému R eistuje
Διαβάστε περισσότεραMatematika prednáška 4 Postupnosti a rady 4.5 Funkcionálne rady - mocninové rady - Taylorov rad, MacLaurinov rad
Matematika 3-13. prednáška 4 Postupnosti a rady 4.5 Funkcionálne rady - mocninové rady - Taylorov rad, MacLaurinov rad Erika Škrabul áková F BERG, TU Košice 15. 12. 2015 Erika Škrabul áková (TUKE) Taylorov
Διαβάστε περισσότεραGoniometrické rovnice a nerovnice. Základné goniometrické rovnice
Goniometrické rovnice a nerovnice Definícia: Rovnice (nerovnice) obsahujúce neznámu x alebo výrazy s neznámou x ako argumenty jednej alebo niekoľkých goniometrických funkcií nazývame goniometrickými rovnicami
Διαβάστε περισσότεραPlanárne a rovinné grafy
Planárne a rovinné grafy Definícia Graf G sa nazýva planárny, ak existuje jeho nakreslenie D, v ktorom sa žiadne dve hrany nepretínajú. D sa potom nazýva rovinný graf. Planárne a rovinné grafy Definícia
Διαβάστε περισσότεραMotivácia Denícia determinantu Výpo et determinantov Determinant sú inu matíc Vyuºitie determinantov. Determinanty. 14. decembra 2010.
14. decembra 2010 Rie²enie sústav Plocha rovnobeºníka Objem rovnobeºnostena Rie²enie sústav Príklad a 11 x 1 + a 12 x 2 = c 1 a 21 x 1 + a 22 x 2 = c 2 Dostaneme: x 1 = c 1a 22 c 2 a 12 a 11 a 22 a 12
Διαβάστε περισσότεραAutomaty a formálne jazyky
Automaty a formálne jazyky Podľa prednášok prof. RNDr. Viliama Gefferta, DrSc., PrírF UPJŠ Dňa 8. februára 2005 zostavil Róbert Novotný, r.novotny@szm.sk. Typeset by LATEX. Illustrations by jpicedit. Úvodné
Διαβάστε περισσότεραModerné vzdelávanie pre vedomostnú spoločnosť Projekt je spolufinancovaný zo zdrojov EÚ M A T E M A T I K A
M A T E M A T I K A PRACOVNÝ ZOŠIT II. ROČNÍK Mgr. Agnesa Balážová Obchodná akadémia, Akademika Hronca 8, Rožňava PRACOVNÝ LIST 1 Urč typ kvadratickej rovnice : 1. x 2 3x = 0... 2. 3x 2 = - 2... 3. -4x
Διαβάστε περισσότερα6 Limita funkcie. 6.1 Myšlienka limity, interval bez bodu
6 Limita funkcie 6 Myšlienka ity, interval bez bodu Intuitívna myšlienka ity je prirodzená, ale definovať presne pojem ity je značne obtiažne Nech f je funkcia a nech a je reálne číslo Čo znamená zápis
Διαβάστε περισσότεραHASLIM112V, HASLIM123V, HASLIM136V HASLIM112Z, HASLIM123Z, HASLIM136Z HASLIM112S, HASLIM123S, HASLIM136S
PROUKTOVÝ LIST HKL SLIM č. sklad. karty / obj. číslo: HSLIM112V, HSLIM123V, HSLIM136V HSLIM112Z, HSLIM123Z, HSLIM136Z HSLIM112S, HSLIM123S, HSLIM136S fakturačný názov výrobku: HKL SLIMv 1,2kW HKL SLIMv
Διαβάστε περισσότεραFunkcie - základné pojmy
Funkcie - základné pojmy DEFINÍCIA FUNKCIE Nech A, B sú dve neprázdne číselné množiny. Ak každému prvku x A je priradený najviac jeden prvok y B, tak hovoríme, že je daná funkcia z množiny A do množiny
Διαβάστε περισσότεραTomáš Madaras Prvočísla
Prvočísla Tomáš Madaras 2011 Definícia Nech a Z. Čísla 1, 1, a, a sa nazývajú triviálne delitele čísla a. Cele číslo a / {0, 1, 1} sa nazýva prvočíslo, ak má iba triviálne delitele; ak má aj iné delitele,
Διαβάστε περισσότεραPriamkové plochy. Ak každým bodom plochy Φ prechádza aspoň jedna priamka, ktorá (celá) na nej leží potom plocha Φ je priamková. Santiago Calatrava
Priamkové plochy Priamkové plochy Ak každým bodom plochy Φ prechádza aspoň jedna priamka, ktorá (celá) na nej leží potom plocha Φ je priamková. Santiago Calatrava Priamkové plochy rozdeľujeme na: Rozvinuteľné
Διαβάστε περισσότεραPrechod z 2D do 3D. Martin Florek 3. marca 2009
Počítačová grafika 2 Prechod z 2D do 3D Martin Florek florek@sccg.sk FMFI UK 3. marca 2009 Prechod z 2D do 3D Čo to znamená? Ako zobraziť? Súradnicové systémy Čo to znamená? Ako zobraziť? tretia súradnica
Διαβάστε περισσότεραKATEDRA DOPRAVNEJ A MANIPULAČNEJ TECHNIKY Strojnícka fakulta, Žilinská Univerzita
132 1 Absolútna chyba: ) = - skut absolútna ochýlka: ) ' = - spr. relatívna chyba: alebo Chyby (ochýlky): M systematické, M náhoné, M hrubé. Korekcia: k = spr - = - Î' pomerná korekcia: Správna honota:
Διαβάστε περισσότεραARMA modely čast 2: moving average modely (MA)
ARMA modely čast 2: moving average modely (MA) Beáta Stehlíková Časové rady, FMFI UK, 2014/2015 ARMA modely časť 2: moving average modely(ma) p.1/24 V. Moving average proces prvého rádu - MA(1) ARMA modely
Διαβάστε περισσότεραJednotkový koreň (unit root), diferencovanie časového radu, unit root testy
Jednotkový koreň (unit root), diferencovanie časového radu, unit root testy Beáta Stehlíková Časové rady, FMFI UK, 2012/2013 Jednotkový koreň(unit root),diferencovanie časového radu, unit root testy p.1/18
Διαβάστε περισσότερα3. kapitola. Axiomatická formulácia modálnej logiky Vzťah medzi syntaxou a sémantikou. priesvitka 1
3. kapitola Axiomatická formulácia modálnej logiky Vzťah medzi syntaxou a sémantikou priesvitka 1 Axiomatická výstavba modálnej logiky Cieľom tejto prednášky je ukázať axiomatickú výstavbu rôznych verzií
Διαβάστε περισσότεραNávrh vzduchotesnosti pre detaily napojení
Výpočet lineárneho stratového súčiniteľa tepelného mosta vzťahujúceho sa k vonkajším rozmerom: Ψ e podľa STN EN ISO 10211 Návrh vzduchotesnosti pre detaily napojení Objednávateľ: Ing. Natália Voltmannová
Διαβάστε περισσότερα3. Striedavé prúdy. Sínusoida
. Striedavé prúdy VZNIK: Striedavý elektrický prúd prechádza obvodom, ktorý je pripojený na zdroj striedavého napätia. Striedavé napätie vyrába synchrónny generátor, kde na koncoch rotorového vinutia sa
Διαβάστε περισσότερα,Zohrievanie vody indukčným varičom bez pokrievky,
Farba skupiny: zelená Označenie úlohy:,zohrievanie vody indukčným varičom bez pokrievky, Úloha: Zistiť, ako závisí účinnosť zohrievania vody na indukčnom variči od priemeru použitého hrnca. Hypotéza: Účinnosť
Διαβάστε περισσότεραMatematika 2. časť: Analytická geometria
Matematika 2 časť: Analytická geometria RNDr. Jana Pócsová, PhD. Ústav riadenia a informatizácie výrobných procesov Fakulta BERG Technická univerzita v Košiciach e-mail: jana.pocsova@tuke.sk Súradnicové
Διαβάστε περισσότεραRiešenie cvičení z 5. kapitoly
Riešenie cvičení z 5. kapitoly Cvičenie 5.1. Vety prepíšte pomocou jazyka predikátovej logiky, použite symboly uvedené v úlohách. (a Niekto má hudobný sluch (H a niekto ho nemá. ( H( ( H( (b Niektoré dieťa
Διαβάστε περισσότερα1. Dátové štruktúry pre geometrické algoritmy
1. Dátové štruktúry pre geometrické algoritmy 1.1 Základné definície, asymptotická zložitosť Algoritmus: Konečný návod ako riešiť problém s použitím daných elementárnych operácií. Dobre definovaná procedúra,
Διαβάστε περισσότεραSpojité rozdelenia pravdepodobnosti. Pomôcka k predmetu PaŠ. RNDr. Aleš Kozubík, PhD. 26. marca Domovská stránka. Titulná strana.
Spojité rozdelenia pravdepodobnosti Pomôcka k predmetu PaŠ Strana z 7 RNDr. Aleš Kozubík, PhD. 6. marca 3 Zoznam obrázkov Rovnomerné rozdelenie Ro (a, b). Definícia.........................................
Διαβάστε περισσότεραÚvod do lineárnej algebry. Monika Molnárová Prednášky
Úvod do lineárnej algebry Monika Molnárová Prednášky 2006 Prednášky: 3 17 marca 2006 4 24 marca 2006 c RNDr Monika Molnárová, PhD Obsah 2 Sústavy lineárnych rovníc 25 21 Riešenie sústavy lineárnych rovníc
Διαβάστε περισσότεραFUNKCIE N REÁLNYCH PREMENNÝCH
FAKULTA MATEMATIKY, FYZIKY A INFORMATIKY UNIVERZITY KOMENSKÉHO V BRATISLAVE FUNKCIE N REÁLNYCH PREMENNÝCH RNDr. Kristína Rostás, PhD. PREDMET: Matematická analýza ) 2010/2011 1. DEFINÍCIA REÁLNEJ FUNKCIE
Διαβάστε περισσότεραPevné ložiská. Voľné ložiská
SUPPORTS D EXTREMITES DE PRECISION - SUPPORT UNIT FOR BALLSCREWS LOŽISKA PRE GULIČKOVÉ SKRUTKY A TRAPÉZOVÉ SKRUTKY Výber správnej podpory konca uličkovej skrutky či trapézovej skrutky je dôležité pre správnu
Διαβάστε περισσότεραReálna funkcia reálnej premennej
(ÚMV/MAN3a/10) RNDr. Ivan Mojsej, PhD ivan.mojsej@upjs.sk 18.10.2012 Úvod V každodennom živote, hlavne pri skúmaní prírodných javov, procesov sa stretávame so závislosťou veľkosti niektorých veličín od
Διαβάστε περισσότεραFakulta matematiky, fyziky a informatiky Univerzita Komenského, Bratislava Katedra Informatiky
Fakulta matematiky, fyziky a informatiky Univerzita Komenského, Bratislava Katedra Informatiky Paralelné kooperujúce systémy gramatík diplomová práca autor: Lýdia Hanusková vedúci dipl. práce: Prof. RNDr.
Διαβάστε περισσότεραReprezentácia informácií v počítači
Úvod do programovania a sietí Reprezentácia informácií v počítači Ing. Branislav Sobota, PhD. 2007 Informácia slovo s mnohými významami, ktoré závisia na kontexte predpis blízky pojmom význam poznatok
Διαβάστε περισσότερα7 Derivácia funkcie. 7.1 Motivácia k derivácii
Híc, P Pokorný, M: Matematika pre informatikov a prírodné vedy 7 Derivácia funkcie 7 Motivácia k derivácii S využitím derivácií sa stretávame veľmi často v matematike, geometrii, fyzike, či v rôznych technických
Διαβάστε περισσότεραVlastnosti nekonečných slov generovaných pomocou DGSM (diplomová práca)
Odbor 9.2.1 Informatika Katedra Informatiky Fakulta Matematiky, Fyziky a Informatiky Univerzita Komenského, Bratislava Vlastnosti nekonečných slov generovaných pomocou DGSM (diplomová práca) Marián Sládek
Διαβάστε περισσότεραEulerovské grafy. Príklad Daný graf nie je eulerovský, ale obsahuje eulerovskú cestu (a, ab, b, bc, c, cd, d, da, a, ac, c, ce, e, ed, d, db).
Eulerovské grafy Denícia Nech G = (V, E) je graf. Uzavretý ah v G sa nazýva eulerovská kruºnica, ak obsahuje v²etky hrany G. Otvorený ah obsahujúci v²etky hrany grafu sa nazýva eulerovská cesta. Graf sa
Διαβάστε περισσότερα4 Reálna funkcia reálnej premennej a jej vlastnosti
Reálna unkcia reálnej premennej a jej vlastnosti Táto kapitola je venovaná štúdiu reálnej unkcie jednej reálnej premennej. Pojem unkcie patrí medzi základné pojmy v matematike. Je to vlastne matematický
Διαβάστε περισσότεραRiešenie rovníc s aplikáciou na elektrické obvody
Zadanie č.1 Riešenie rovníc s aplikáciou na elektrické obvody Nasledujúce uvedené poznatky z oblasti riešenia elektrických obvodov pomocou metódy slučkových prúdov a uzlových napätí je potrebné využiť
Διαβάστε περισσότεραREZISTORY. Rezistory (súčiastky) sú pasívne prvky. Používajú sa vo všetkých elektrických
REZISTORY Rezistory (súčiastky) sú pasívne prvky. Používajú sa vo všetkých elektrických obvodoch. Základnou vlastnosťou rezistora je jeho odpor. Odpor je fyzikálna vlastnosť, ktorá je daná štruktúrou materiálu
Διαβάστε περισσότεραRIEŠENIE WHEATSONOVHO MOSTÍKA
SNÁ PMYSLNÁ ŠKOL LKONKÁ V PŠŤNO KOMPLXNÁ PÁ Č. / ŠN WSONOVO MOSÍK Piešťany, október 00 utor : Marek eteš. Komplexná práca č. / Strana č. / Obsah:. eoretický rozbor Wheatsonovho mostíka. eoretický rozbor
Διαβάστε περισσότεραSpojitosť a limity trochu inak
Spojitosť a limity trochu inak Štefan Tkačik Abstrakt Spojitosť funkcie alebo oblastí je základným stavebným kameňom matematickej analýzy. Pochopenie jej podstaty uľahčí chápanie diferenciálneho a integrálneho
Διαβάστε περισσότεραMotivácia pojmu derivácia
Derivácia funkcie Motivácia pojmu derivácia Zaujíma nás priemerná intenzita zmeny nejakej veličiny (dráhy, rastu populácie, veľkosti elektrického náboja, hmotnosti), vzhľadom na inú veličinu (čas, dĺžka)
Διαβάστε περισσότεραIntegrovanie racionálnych funkcií
Integrovanie racionálnych funkcií Tomáš Madaras 2009-20 Z teórie funkcií už vieme, že každá racionálna funkcia (t.j. podiel dvoch polynomických funkcií) sa dá zapísať ako súčet polynomickej funkcie a funkcie
Διαβάστε περισσότεραZáklady metodológie vedy I. 9. prednáška
Základy metodológie vedy I. 9. prednáška Triedenie dát: Triedny znak - x i Absolútna početnosť n i (súčet všetkých absolútnych početností sa rovná rozsahu súboru n) ni fi = Relatívna početnosť fi n (relatívna
Διαβάστε περισσότεραVOJENSKÁ AKADÉMIA V LIPTOVSKOM MIKULÁŠI PREKLADAČE
VOJENSKÁ AKADÉMIA V LIPTOVSKOM MIKULÁŠI Fakulta zabezpečenia velenia Katedra informatiky a výpočtovej techniky RNDr. Ľubomír Dedera, PhD. PREKLADAČE Prvá kniha Skriptá Liptovský Mikuláš 2002 RNDr. Ľubomír
Διαβάστε περισσότεραPodnikateľ 90 Mobilný telefón Cena 95 % 50 % 25 %
Podnikateľ 90 Samsung S5230 Samsung C3530 Nokia C5 Samsung Shark Slider S3550 Samsung Xcover 271 T-Mobile Pulse Mini Sony Ericsson ZYLO Sony Ericsson Cedar LG GM360 Viewty Snap Nokia C3 Sony Ericsson ZYLO
Διαβάστε περισσότεραVybrané partie z logiky
FAKULTA MATEMATIKY, FYZIKY A INFORMATIKY UNIVERZITY KOMENSKÉHO Katedra informatiky Vybrané partie z logiky poznámky z prednášok martin florek 22. mája 2004 Predhovor Vďaka nude a oprášeniu vedomostí z
Διαβάστε περισσότεραGramatiky. Kapitola Úvod. 1.2 Návrh gramatík
Kapitola 1 Gramatiky 1.1 Úvod Základnými spôsobmi reprezentácie jazykov sú rozpoznávanie a generovanie. Gramatika je reprezentáciou jazyka generovaním. Gramatika je konečná množina pravidiel, ktorých postupnou
Διαβάστε περισσότεραRiešenie sústavy lineárnych rovníc. Priame metódy.
Riešenie sústavy lineárnych rovníc. Priame metódy. Ing. Gabriel Okša, CSc. Matematický ústav Slovenská akadémia vied Bratislava Stavebná fakulta STU G. Okša: Priame metódy 1/16 Obsah 1 Základy 2 Systémy
Διαβάστε περισσότεραPROMO AKCIA. Platí do konca roka 2017 APKW 0602-HF APKT PDTR APKT 0602-HF
AKCIA Platí do konca roka 2017 APKW 0602-HF APKT 060204 PDTR APKT 0602-HF BENEFITY PLÁTKOV LAMINA MULTI-MAT - nepotrebujete na každú operáciu špeciálny plátok - sprehľadníte situáciu plátkov vo výrobe
Διαβάστε περισσότερα4. Výrokové funkcie (formy), ich definičný obor a obor pravdivosti
4. Výrokové funkcie (formy), ich definičný obor a obor pravdivosti Výroková funkcia (forma) ϕ ( x) je formálny výraz (formula), ktorý obsahuje znak x, pričom x berieme z nejakej množiny M. Ak za x zvolíme
Διαβάστε περισσότεραTECHNICKÁ UNIVERZITA V KOŠICIACH STROJNÍCKA FAKULTA MATEMATIKA 1. Funkcia jednej premennej a jej diferenciálny počet
TECHNICKÁ UNIVERZITA V KOŠICIACH STROJNÍCKA FAKULTA MATEMATIKA časťa Funkcia jednej premennej a jej diferenciáln počet Dušan Knežo, Miriam Andrejiová, Zuzana Kimáková 200 RECENZOVALI: prof. RNDr. Jozef
Διαβάστε περισσότεραZáklady matematickej štatistiky
1. Náhodný výber, výberové momenty a odhad parametrov Katedra Matematických metód Fakulta Riadenia a Informatiky Žilinská Univerzita v Žiline 6. mája 2015 1 Náhodný výber 2 Výberové momenty 3 Odhady parametrov
Διαβάστε περισσότεραRozsah hodnotenia a spôsob výpočtu energetickej účinnosti rozvodu tepla
Rozsah hodnotenia a spôsob výpočtu energetickej účinnosti príloha č. 7 k vyhláške č. 428/2010 Názov prevádzkovateľa verejného : Spravbytkomfort a.s. Prešov Adresa: IČO: Volgogradská 88, 080 01 Prešov 31718523
Διαβάστε περισσότερα1. písomná práca z matematiky Skupina A
1. písomná práca z matematiky Skupina A 1. Vypočítajte : a) 84º 56 + 32º 38 = b) 140º 53º 24 = c) 55º 12 : 2 = 2. Vypočítajte zvyšné uhly na obrázku : β γ α = 35 12 δ a b 3. Znázornite na číselnej osi
Διαβάστε περισσότεραMetódy vol nej optimalizácie
Metódy vol nej optimalizácie Metódy vol nej optimalizácie p. 1/28 Motivácia k metódam vol nej optimalizácie APLIKÁCIE p. 2/28 II 1. PRÍKLAD: Lineárna regresia - metóda najmenších štvorcov Na základe dostupných
Διαβάστε περισσότεραARMA modely čast 2: moving average modely (MA)
ARMA modely čast 2: moving average modely (MA) Beáta Stehlíková Časové rady, FMFI UK, 2011/2012 ARMA modely časť 2: moving average modely(ma) p.1/25 V. Moving average proces prvého rádu - MA(1) ARMA modely
Διαβάστε περισσότεραAlgoritmy teórie grafov
Algoritmy teórie grafov Hľadanie minimálnej kostry grafu Kostra grafu taký strom grafu G = [U, H], pre ktorého podrgaf G = [U, H ] platí U = U a H H (faktor grafu). Kostra grafu každý súvislý graf má kostru.
Διαβάστε περισσότεραLogické systémy. doc. RNDr. Jana Galanová, PhD. RNDr. Peter Kaprálik, PhD. Mgr. Marcel Polakovič, PhD.
Logické systémy doc. RNDr. Jana Galanová, PhD. RNDr. Peter Kaprálik, PhD. Mgr. Marcel Polakovič, PhD. KAPITOLA 1 Úvodné pojmy V tejto časti uvádzame základné pojmy, prevažne z diskrétnej matematiky, ktoré
Διαβάστε περισσότεραMatematika 2. časť: Funkcia viac premenných Letný semester 2013/2014
Matematika 2 časť: Funkcia viac premenných Letný semester 2013/2014 RNDr. Jana Pócsová, PhD. Ústav riadenia a informatizácie výrobných procesov Fakulta BERG Technická univerzita v Košiciach e-mail: jana.pocsova@tuke.sk
Διαβάστε περισσότεραZákladné vzťahy medzi hodnotami goniometrických funkcií
Ma-Go-2-T List Základné vzťahy medzi hodnotami goniometrických funkcií RNDr. Marián Macko U: Predstav si, že ti zadám hodnotu jednej z goniometrických funkcií. Napríklad sin x = 0,6. Vedel by si určiť
Διαβάστε περισσότερα5. kapitola Predikátová logika I Úvod do predikátovej logiky
5. kapitola Predikátová logika I Úvod do predikátovej logiky Priesvitka 1 Gottlob Frege (1848-1925) Bertrand Russell (1872-1970) Priesvitka 2 Intuitívny prechod od výrokovej logiky k predikátovej logike
Διαβάστε περισσότεραProstredie pre podporu výučby predmetu Formálne jazyky a automaty
UNIVERZITA KOMENSKÉHO V BRATISLAVE FAKULTA MATEMATIKY, FYZIKY A INFORMATIKY KATEDRA INFORMATIKY Prostredie pre podporu výučby predmetu Formálne jazyky a automaty Bakalárska práca Peter Havlíček Odbor:
Διαβάστε περισσότεραRiadenie elektrizačných sústav
Riaenie elektrizačných sústav Paralelné spínanie (fázovanie a kruhovanie) Pomienky paralelného spínania 1. Rovnaký sle fáz. 2. Rovnaká veľkosť efektívnych honôt napätí. 3. Rovnaká frekvencia. 4. Rovnaký
Διαβάστε περισσότερα! "# $ % $&'& () *+ (,-. / 0 1(,21(,*) (3 4 5 "$ 6, ::: ;"<$& = = 7 + > + 5 $?"# 46(A *( / A 6 ( 1,*1 B"',CD77E *+ *),*,*) F? $G'& 0/ (,.
! " #$%&'()' *('+$,&'-. /0 1$23(/%/4. 1$)('%%'($( )/,)$5)/6%6 7$85,-9$(- /0 :/986-$, ;2'$(2$ 1'$-/-$)('')5( /&5&-/ 5(< =(4'($$,'(4 1$%$2/996('25-'/(& ;/0->5,$ 1'$-/%'')$(($/3?$%9'&-/?$( 5(< @6%-'9$
Διαβάστε περισσότεραAkumulátory. Membránové akumulátory Vakové akumulátory Piestové akumulátory
www.eurofluid.sk 20-1 Membránové akumulátory... -3 Vakové akumulátory... -4 Piestové akumulátory... -5 Bezpečnostné a uzatváracie bloky, príslušenstvo... -7 Hydromotory 20 www.eurofluid.sk -2 www.eurofluid.sk
Διαβάστε περισσότεραPodmienenost problému a stabilita algoritmu
Podmienenost problému a stabilita algoritmu Ing. Gabriel Okša, CSc. Matematický ústav Slovenská akadémia vied Bratislava Stavebná fakulta STU G. Okša: Podmienenost a stabilita 1/19 Obsah 1 Vektorové a
Διαβάστε περισσότεραRozsah akreditácie 1/5. Príloha zo dňa k osvedčeniu o akreditácii č. K-003
Rozsah akreditácie 1/5 Názov akreditovaného subjektu: U. S. Steel Košice, s.r.o. Oddelenie Metrológia a, Vstupný areál U. S. Steel, 044 54 Košice Rozsah akreditácie Oddelenia Metrológia a : Laboratórium
Διαβάστε περισσότεραObsah. 1.1 Reálne čísla a ich základné vlastnosti... 7 1.1.1 Komplexné čísla... 8
Obsah 1 Číselné obory 7 1.1 Reálne čísla a ich základné vlastnosti............................ 7 1.1.1 Komplexné čísla................................... 8 1.2 Číselné množiny.......................................
Διαβάστε περισσότεραCieľom cvičenia je zvládnuť riešenie diferenciálnych rovníc pomocou Laplaceovej transformácie,
Kapitola Riešenie diferenciálnych rovníc pomocou Laplaceovej tranformácie Cieľom cvičenia je zvládnuť riešenie diferenciálnych rovníc pomocou Laplaceovej tranformácie, keď charakteritická rovnica má rôzne
Διαβάστε περισσότεραAerobTec Altis Micro
AerobTec Altis Micro Záznamový / súťažný výškomer s telemetriou Výrobca: AerobTec, s.r.o. Pionierska 15 831 02 Bratislava www.aerobtec.com info@aerobtec.com Obsah 1.Vlastnosti... 3 2.Úvod... 3 3.Princíp
Διαβάστε περισσότεραZADANIE 1_ ÚLOHA 3_Všeobecná rovinná silová sústava ZADANIE 1 _ ÚLOHA 3
ZDNIE _ ÚLOH 3_Všeobecná rovinná silová sústv ZDNIE _ ÚLOH 3 ÚLOH 3.: Vypočítjte veľkosti rekcií vo väzbách nosník zťženého podľ obrázku 3.. Veľkosti známych síl, momentov dĺžkové rozmery sú uvedené v
Διαβάστε περισσότεραΜεταγλωττιστές. Παραγωγή Ενδιάμεσου Κώδικα. Εργαστήριο 8. Διδάσκοντες: Δρ. Γεώργιος Δημητρίου Δρ. Άχμεντ Μάχντι
Μεταγλωττιστές Εργαστήριο 8 Παραγωγή Ενδιάμεσου Κώδικα Διδάσκοντες: Δρ. Γεώργιος Δημητρίου Δρ. Άχμεντ Μάχντι 2016-2017 Παραγωγή Ενδιάμεσου Κώδικα Source Ο ενδιάμεσος κώδικας αποτελεί τη γλώσσα επικοινωνίας
Διαβάστε περισσότεραΓλώσσες Προγραμματισμού Μεταγλωττιστές. Σημασιολογική Ανάλυση
Γλώσσες Προγραμματισμού Μεταγλωττιστές Σημασιολογική Ανάλυση Πανεπιστήμιο Μακεδονίας Τμήμα Εφαρμοσμένης Πληροφορικής Ηλίας Σακελλαρίου Δομή Σημασιολογικής Ανάλυσης Στατική και Δυναμική Σημασιολογία Σημασιολογικοί
Διαβάστε περισσότεραPRIEMER DROTU d = 0,4-6,3 mm
PRUŽINY PRUŽINY SKRUTNÉ PRUŽINY VIAC AKO 200 RUHOV SKRUTNÝCH PRUŽÍN PRIEMER ROTU d = 0,4-6,3 mm èíslo 3.0 22.8.2008 8:28:57 22.8.2008 8:28:58 PRUŽINY SKRUTNÉ PRUŽINY TECHNICKÉ PARAMETRE h d L S Legenda
Διαβάστε περισσότερα!"!# ""$ %%"" %$" &" %" "!'! " #$!
" "" %%"" %" &" %" " " " % ((((( ((( ((((( " %%%% & ) * ((( "* ( + ) (((( (, (() (((((* ( - )((((( )((((((& + )(((((((((( +. ) ) /(((( +( ),(, ((((((( +, 0 )/ (((((+ ++, ((((() & "( %%%%%%%%%%%%%%%%%%%(
Διαβάστε περισσότερα24. Základné spôsoby zobrazovania priestoru do roviny
24. Základné spôsoby zobrazovania priestoru do roviny Voľné rovnobežné premietanie Presné metódy zobrazenia trojrozmerného priestoru do dvojrozmernej roviny skúma samostatná matematická disciplína, ktorá
Διαβάστε περισσότερα2. prednáška. Teória množín I. množina operácie nad množinami množinová algebra mohutnosť a enumerácia karteziánsky súčin
2. prednáška Teória množín I množina operácie nad množinami množinová algebra mohutnosť a enumerácia karteziánsky súčin Verzia: 27. 9. 2009 Priesvtika: 1 Definícia množiny Koncepcia množiny patrí medzi
Διαβάστε περισσότεραMOSTÍKOVÁ METÓDA 1.ÚLOHA: 2.OPIS MERANÉHO PREDMETU: 3.TEORETICKÝ ROZBOR: 4.SCHÉMA ZAPOJENIA:
1.ÚLOHA: MOSTÍKOVÁ METÓDA a, Odmerajte odpory predložených rezistorou pomocou Wheastonovho mostíka. b, Odmerajte odpory predložených rezistorou pomocou Mostíka ICOMET. c, Odmerajte odpory predložených
Διαβάστε περισσότεραJednotkový koreň (unit root), diferencovanie časového radu, unit root testy
Jednotkový koreň (unit root), diferencovanie časového radu, unit root testy Beáta Stehlíková Časové rady, FMFI UK, 2013/2014 Jednotkový koreň(unit root),diferencovanie časového radu, unit root testy p.1/27
Διαβάστε περισσότεραTREDNÁ ODBORNÁ ŠKOLA STRÁŽSKE PRACOVNÝ ZOŠIT. k predmetu Matematika pre
TREDNÁ ODBORNÁ ŠKOLA STRÁŽSKE PRACOVNÝ ZOŠIT k predmetu Matematika pre 2. ročník SOŠ v Strážskom, študijný odbor 3760 6 00 prevádzka a ekonomika dopravy Operačný program: Vzdelávanie Programové obdobie:
Διαβάστε περισσότεραŠtrukturálne (syntaktické) rozpoznávanie
Štrukturálne (syntaktické) rozpoznávanie syntaktické metódy pracujú s relačnými štruktúrami, ktoré sa skladajú z prvkov nosiča relačnej štruktúry zodpovedajú primitívam ako ďalej nedeliteľným častiam
Διαβάστε περισσότεραRiešenie úloh v simulačnom jazyku MATLAB s využitím skriptov a funkcií
Riešenie úloh vsimulačnom využitím skriptov s.m, ktorý slúži na ukladanie postupnosti, alebo na ukladanie užívateľských funkcií. Využívajú sa predovšetkým vtedy, keď je potrebné zadať väčšie množstvo príkazov,
Διαβάστε περισσότεραKomplexné čísla, Diskrétna Fourierova transformácia 1
Komplexné čísla, Diskrétna Fourierova transformácia Komplexné čísla C - množina všetkých komplexných čísel komplexné číslo: z = a + bi, kde a, b R, i - imaginárna jednotka i =, t.j. i =. komplexne združené
Διαβάστε περισσότεραTeória grafov III stromy ako modely, vlastnosti stromov, binárne prehľadávanie, prefixové kódy, stromy algebraických výrazov, hry
12. kapitola Teória grafov III stromy ako modely, vlastnosti stromov, binárne prehľadávanie, prefixové kódy, stromy algebraických výrazov, hry 12.1 Stromy ako modely a ich základné vlastnosti Strom je
Διαβάστε περισσότεραOdporníky. 1. Príklad1. TESLA TR
Odporníky Úloha cvičenia: 1.Zistite technické údaje odporníkov pomocou katalógov 2.Zistite menovitú hodnotu odporníkov označených farebným kódom Schématická značka: 1. Príklad1. TESLA TR 163 200 ±1% L
Διαβάστε περισσότερα9. kapitola Boolove funkcie a logické obvody
9. kapitola Boolove funkcie a logické obvody Priesvitka 1 Boolova algebra Elektronické obvody v počítačoch a v podobných zariadeniach sú charakterizované binárnymi vstupmi a výstupmi (rovnajúcimi sa 0
Διαβάστε περισσότεραUČEBNÉ TEXTY. Pracovný zošit č.2. Moderné vzdelávanie pre vedomostnú spoločnosť Elektrotechnické merania. Ing. Alžbeta Kršňáková
Stredná priemyselná škola dopravná, Sokolská 911/94, 960 01 Zvolen Kód ITMS projektu: 26110130667 Názov projektu: Zvyšovanie flexibility absolventov v oblasti dopravy UČEBNÉ TEXTY Pracovný zošit č.2 Vzdelávacia
Διαβάστε περισσότεραSLOVENSKO maloobchodný cenník (bez DPH)
Hofatex UD strecha / stena - exteriér Podkrytinová izolácia vhodná aj na zaklopenie drevených rámových konštrukcií; pero a drážka EN 13171, EN 622 22 580 2500 1,45 5,7 100 145,00 3,19 829 hustota cca.
Διαβάστε περισσότεραHarmonizované technické špecifikácie Trieda GP - CS lv EN Pevnosť v tlaku 6 N/mm² EN Prídržnosť
Baumit Prednástrek / Vorspritzer Vyhlásenie o parametroch č.: 01-BSK- Prednástrek / Vorspritzer 1. Jedinečný identifikačný kód typu a výrobku: Baumit Prednástrek / Vorspritzer 2. Typ, číslo výrobnej dávky
Διαβάστε περισσότεραKatedra Informatiky Fakulta Matematiky, Fyziky a Informatiky Univerzita Komenského, Bratislava. Lucia Haviarová
Katedra Informatiky Fakulta Matematiky, Fyziky a Informatiky Univerzita Komenského, Bratislava Čiastočné boolovské funkcie (Bakalárska práca) Lucia Haviarová Vedúci: doc. RNDr. Eduard Toman, CSc. Bratislava,
Διαβάστε περισσότεραPríklady na precvičovanie Fourierove rady
Príklady na precvičovanie Fourierove rady Ďalším významným typom funkcionálnych radov sú trigonometrické rady, pri ktorých sú jednotlivé členy trigonometrickými funkciami. Konkrétne, jedná sa o rady tvaru
Διαβάστε περισσότεραPrediktívne dolovanie v dátach 1.
Prediktívne dolovanie v dátach 1. OBSAH PREDNÁŠKY Základné pojmy, dve fázy klasifikácie Výber príznakov pre klasifikáciu Vybrané základné typy klasifikačných modelov: 1. Rozhodovacie stromy 2. Pravidlové
Διαβάστε περισσότερα