Snímka 1
|
|
- Alojz Chládek
- pred 4 rokmi
- Prehliadani:
Prepis
1 Generovanie LOGICKÝCH KONJUNKCIÍ doc. Ing. Kristína Machová, PhD.
2 OSNOVA: 1. Prehľadávanie priestoru pojmov 2. Reprezentácia a použitie logických konjunkcií 3. Inkrementálna indukcia logických konjunkcií 4. VSS algoritmy (Version Space Search) 5. Prehľadávanie od špecifického k všeobecnému 6. Prehľadávanie od všeobecného k špecifickému 7. Obojsmerné prehľadávanie 8. Neinkrementálna indukcia logických konjunkcií 9. Úplné prehľadávanie 10.Heuristické prehľadávanie
3 PREHĽADÁVANIE PRIESTORU POJMOV Riadené prehľadávanie (usporiadanie podľa všeobecnosti) Operátory zovšeobecnenia/špecifikácie: nahradenie konštanty premennou farba( lopta, cervena) farba( lopta, X ) vypustenie podmienky z konjunktívneho výrazu t var( X, lopta) & velkost( X, mala ) t pridanie disjunkcie do výrazu t var( X, lopta) & farba( X, biela) t var( X, lopta) var( X, lopta) & farba( X, biela cervena) nahradenie vlastnosti jej rodičom v hierarchii tried farba( X, cervena) farba( X, primarna _ farba) Predpoklad: obj (Veľkosť, Farba, Tvar) Veľkosť = {veľká, malá} Farba = {červená, biela, modrá} Tvar = {lopta, tehla, kocka}
4 REPREZENTÁCIA A POUŽITIE LOGICKÝCH KONJUNKCIÍ Reprezentácia: IF konjunkcia podm. (A=v) THEN záver Použitie: TP vyhovujúci podmienkam konjunkcie je zaradený do triedy (označený ako pozitívny) Bičíky = {jeden, dva} Farba = {tmavá, svetlá} Jadrá = {jeden, dva}.
5 REPREZENTÁCIA A POUŽITIE LOGICKÝCH KONJUNKCIÍ IF H > 5 THEN + IF G < 5 THEN + IF H > 5 & H < 9 & G > 2 & G < 5 THEN + pričom 0<H<10 a 0<G<10
6 INKREMENTÁLNA INDUKCIA Vstup: postupnosť pozitívnych trénovacích príkladov pre triedu T postupnosť negatívnych trénovacích príkladov pre triedu T Výstup: logická konjunkcia, ktorá, korektne klasifikuje testovacie príklady Hľadáme aproximáciu pojmu (triedy) pomocou konjunkcie podmienok. Problémy v doménach obsahujúcich šum (reprezentačný bias). Multitriedna indukcia indukuje popisy pre množinu N pojmov, ktoré majú slúžiť na klasifikáciu do N tried.
7 VSS algoritmy (Version Space Search) Hľadáme pojmy, konzistentné so vstupnými príkladmi. Pokrývajú všetky pozitívne a žiaden negatívny príklad. Chceme sa vyhnúť prevšeobecneniu a prešpecifikácii.
8 PREHĽADÁVANIE od ŠPECIFICKÉHO ku VŠEOBECNÉMU Pracuje inkrementálne. Tento algoritmus uskutočňuje zovšeobecňovanie. Buduje množinu S ( specific ) kandidátov pojmov. Používa operátory zovšeobecnenia. Vyhýba sa prílišnému zovšeobecneniu. Pojem P je najšpecifickejšie zovšeobecnený, ak pre každý ďalší pojem P tiež pokrývajúci pozitívne príklady platí: P P.
9 PREHĽADÁVANIE od ŠPECIFICKÉHO ku VŠEOBECNÉMU begin N={},S=prvý pozitívny trénovací príklad for begin for if then end for begin end end. každý pozitívny príklad p každé s z S s nepokrýva p nahraď s jeho najšpecifickejším zovšeobecnením, ktoré pokrýva p vymaž z S hypotézy všeobecnejšie ako iné hypotézy v S vymaž z S hypotézy pokrývajúce nájdené negatívne príklady v N každý negatívny príklad n vymaž členov S pokrývajúcich n pridaj n do N pre kontrolu prílišného zovšeobecnenia budúcich hypotéz
10 PREHĽADÁVANIE od ŠPECIFICKÉHO ku VŠEOBECNÉMU
11 PREHĽADÁVANIE od VŠEOBECNÉHO k ŠPECIFICKÉMU Pracuje inkrementálne. Tento algoritmus uskutočňuje špecifikáciu. Buduje množinu G ( general ) kandidátov pojmov. Používa operátory špecifikácie. Vyhýba sa prílišnej špecifikácii. Pojem P je najvšeobecnejšou špecifikáciou, ak pre každý ďalší pojem P, ktorý tiež nepokrýva žiadny negatívny príklad, platí: P > P.
12 end PREHĽADÁVANIE od VŠEOBECNÉHO k ŠPECIFICKÉMU begin P={} G=najvšeobecnejší pojem priestoru for begin for každé g z G if g pokrýva n každý negatívny príklad n then nahraď g jeho najvšeobecnejšou špecifikáciou, ktorá nepokrýva n vymaž z G hypotézy špecifickejšie ako iné hypotézy v G end vymaž z G hypotézy nepokrývajúce niektoré pozitívne príklady for každý pozitívny príklad p begin vymaž z G hypotézy, nepokrývajúce p pridaj p do P pre kontrolu prílišnej špecifikácie budúcich hypotéz
13 PREHĽADÁVANIE od VŠEOBECNÉHO k ŠPECIFICKÉMU
14 OBOJSMERNÉ PREHĽADÁVANIE Algoritmus eliminácie kandidátov pojmov (Mitchell) Buduje množinu S ( specific ) a zároveň množinu G ( general ) kandidátov pojmov. Používa operátory zovšeobecnenia a špecifikácie.
15 OBOJSMERNÉ PREHĽADÁVANIE begin S=prvý pozitívny trénovací príklad, G=najvšeobecnejší pojem v priestore for každý nový pozitívny trénovací príklad p begin vymaž z G hypotézy, ktoré nepokrývajú p end for for každé s z S if s nepokrýva p then nahraď s jeho najšpecifickejším zovšeobecnením, ktoré pokrýva p vymaž z S hypotézy všeobecnejšie ako iné hypotézy v S vymaž z S hypotézy všeobecnejšie ako nejaká hypotéza v G každý nový negatívny príklad n begin vymaž z S hypotézy, ktoré pokrývajú n for každé g z G if g pokrýva n then nahraď g jeho najvšeobecnejšou špecifikáciou, ktorá nepokrýva n vymaž z G hypotézy špecifickejšie ako iné hypotézy v G vymaž z G hypotézy špecifickejšie ako niektorá hypotéza v S end if G=S then algoritmus našiel konzistentný pojem,
16 NEINKREMENTÁLNA INDUKCIA Vstup: množina pozitívnych trénovacích príkladov pre triedu T množina negatívnych trénovacích príkladov pre triedu T Výstup: logická konjunkcia, ktorá, korektne klasifikuje testovacie príklady Algoritmus úplného prehľadávania priestoru pojmov EGS (Exhaustive General to Specific) ESG (Exhaustive Specific to General) Algoritmus heuristického prehľadávania priestoru pojmov HGS (Heuristic General to Specific) HSG (Heuristic Specific to General)
17 EGS EXHAUSTIVE GENER. to SPEC. egs(pset,nset,cset,hset) for každý pojem H v HSET if H nepokrýva všetkých členov PSET then vymaž H z HSET if H nepokrýva žiadny člen z NSET then vymaž H z HSET & pridaj H do CSET if HSET={} then vráť CSET else nech NEWSET={} for každý pojem H v HSET nech SPECS sú všetky jedno-podmienkové špecifikácie H for každý pojem S v SPECS if CSET neobsahuje žiadny pojem všeobecnejší ako S (kontrola prílišnej špecifikácie) then pridaj S do NEWSET egs(pset,nset,cset,newset)
18 EGS EXHAUSTIVE GENER. to SPEC.
19 EGS EXHAUSTIVE GENER. to SPEC.
20 ESG EXHAUSTIVE SPEC. to GENER. Vykonáva logickú indukciu neinkrementálnej povahy Hľadá najšpecifickejšiu logickú konjunkciu Je výpočtovo menej náročná ako EGS Nepracuje s negatívnymi príkladmi EGS ako aj ESG algoritmus: oneuspeje ak neexistuje LK konzistentná s TM onezvláda zašumené dáta
21 HGS HEURISTIC GENER. to SPEC. Vykonáva heuristickú indukciu neinkrementálnej povahy. HGS hľadá najvšeobecnejšiu logickú konjunkciu. HSG Hľadá najšpecifickejšiu logickú konjunkciu. Používa ohodnocovaciu funkciu SCORE(h). Používa lúčové prehľadávanie beam-search, ktoré definuje parameter BS: beam-size HGS ako aj HSG algoritmus: oneuspeje ak neexistuje LK konzistentná s TM ozvláda zašumené dáta
22 HGS HEURISTIC GENER. to SPEC. hgs(pset,nset,closed-set,hset) nech OPEN-SET={} for každý pojem H v HSET nech SPECS sú všetky jedno-podmienkové špecifikácie H, nech NEWSET={} for každý špecifikovaný pojem S v SPECS if Score (S,PSET,NSET)>Score (H,PSET,NSET) then pridaj S do NEWSET if NEW-SET={} then pridaj H do CLOSED-SET else for každý pojem S v NEW-SET pridaj S do OPEN-SET for každý pojem C v CLOSED-SET if S je aspoň tak špecifický ako C then if Score (C,PSET,NSET)>Score (S,PSET,NSET) then vymaž S z OPEN-SET else vymaž C z CLOSED-SET if OPEN-SET={} then vráť člena s najvyšším skóre v CLOSED-SET else nech BEST-SET je Beam-Size počet najvyššie skórovaných členov zjednotenia OPEN-SET a CLOSED-SET hgs (PSET,NSET,CLOSED-SET,OPEN-SET).
23 HGS HEURISTIC GENER. to SPEC. Algoritmus používa hodnotiacu funkciu, napríklad v tvare: Pc N nc Score( H, P, N) P N Kde: P je množina pozitívnych príkladov N je množina negatívnych príkladov Pc sú pokryté pozitívne príklady Nnc sú nepokryté negatívne príklady Je možné používať aj štatistické a informačné miery, Ale aj tak jednoduchú mieru ako: Score( H, P, N) P c N nc
Algoritmizácia a programovanie - Príkazy
Algoritmizácia a programovanie Príkazy prof. Ing. Ján Terpák, CSc. Technická univerzita v Košiciach Fakulta baníctva, ekológie, riadenia a geotechnológíı Ústav riadenia a informatizácie výrobných procesov
Podrobnejšie1
ADM a logika 5. prednáška Sémantické tablá priesvitka 1 Úvodné poznámky Cieľom dnešnej prednášky je moderná sémantická metóda verifikácie skutočnosti, či formula je tautológia alebo kontradikcia: Metóda
PodrobnejšieRelačné a logické bázy dát
Unifikácia riešenie rovníc v algebre termov Ján Šturc Zima, 2010 Termy a substitúcie Definícia (term): 1. Nech t 0,..., t n -1 sú termy a f je n-árny funkčný symbol, potom aj f(t 0,..., t n -1 ) je term.
PodrobnejšieMatematický model činnosti sekvenčného obvodu 7 MATEMATICKÝ MODEL ČINNOSTI SEKVENČNÉHO OBVODU Konečný automat predstavuje matematický model sekvenčnéh
7 MTEMTICKÝ MODEL ČINNOSTI SEKVENČNÉHO OBVODU Konečný automat predstavuje matematický model sekvenčného obvodu. Konečný automat je usporiadaná pätica = (X, S, Y, δ, λ,) (7.) kde X je konečná neprázdna
PodrobnejšieParalelné algoritmy, cast c. 3
Paralelné algoritmy, čast č. 3 František Mráz Kabinet software a výuky informatiky, MFF UK, Praha Paralelné algoritmy, 2011/2012 František Mráz (KSVI MFF UK) Paralelné algoritmy, čast č. 3 Paralelné algoritmy,
PodrobnejšieKlasická metóda CPM
Operačná analýza 2-02a Klasická metóda CPM Úvod Je daná úloha časového plánovania U s množinou elementárnych činností E a reálnou funkciou c: E R ktorá každej činnosti A E priradí jej dobu trvania c(a).
PodrobnejšieNeineárne programovanie zimný semester 2018/19 M. Trnovská, KAMŠ, FMFI UK 1
Neineárne programovanie zimný semester 2018/19 M. Trnovská, KAMŠ, FMFI UK 1 Metódy riešenia úloh nelineárneho programovania využívajúce Lagrangeovu funkciu 2 Veta: Bod ˆx je optimálne riešenie úlohy (U3)
PodrobnejšieMetódy dokazovanie v matematike 1 Základné pojmy Matematika exaktná veda vybudovaná DEDUKTÍVNE ZÁKLADNÉ POJMY základy každej matematickej teórie sú in
Metódy dokazovanie v matematike 1 Základné pojmy Matematika exaktná veda vybudovaná DEDUKTÍVNE ZÁKLADNÉ POJMY základy každej matematickej teórie sú intuitívne jasné a názorné napr. prirodzené čísla, zlomok,
PodrobnejšieInteligentné rozhodovacie systémy Heuristické prehľadávanie SP Október, 2018 Katedra kybernetiky
Inteligentné rozhodovacie systémy Heuristické prehľadávanie SP Marian.Mach@tuke.sk http://people.tuke.sk/marian.mach Október, 2018 Katedra kybernetiky a umelej inteligencie FEI, TU v Košiciach 1 Best-first
PodrobnejšieMicrosoft Word - 16.kapitola.doc
6. kapitola Logická teória diagnózy zložitých systémov 6. Úvodné poznámky tanovenie diagnózy zložitých systémov v medicíne u človeka, veľkých výrobných zariadení, elektronických obvodov, a pod.) patrí
PodrobnejšieSnímka 1
Mgr. Ing. Roman Horváth, PhD. Katedra matematiky a informatiky Pedagogická fakulta Trnavská univerzita v Trnave roman.horvath@truni.sk Algoritmus a vlastnosti algoritmov Algoritmus konečná postupnosť krokov
PodrobnejšieParalelné algoritmy, cast c. 3
Paralelné algoritmy, čast č. 3 František Mráz Kabinet software a výuky informatiky, MFF UK, Praha Paralelné algoritmy, 2009/2010 František Mráz (KSVI MFF UK) Paralelné algoritmy, čast č. 3 Paralelné algoritmy,
Podrobnejšiebakalarska prezentacia.key
Inteligentné vyhľadávanie v systéme na evidenciu skautských družinových hier Richard Dvorský Základné pojmy Generátor družinoviek Inteligentné vyhľadávanie Ako to funguje Základné pojmy Skautská družina
PodrobnejšieParalelné algoritmy, cast c. 2
Paralelné algoritmy, čast č. 2 František Mráz Kabinet software a výuky informatiky, MFF UK, Praha Paralelné algoritmy, 2009/2010 František Mráz (KSVI MFF UK) Paralelné algoritmy, čast č. 2 Paralelné algoritmy,
PodrobnejšieMicrosoft Word - Algoritmy a informatika-priesvitky02.doc
3. 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 Priesvtika: 1 Definícia množiny Koncepcia množiny patrí medzi základné formálne prostriedky
PodrobnejšieGIS ako nástroj priestorového rozhodovania
Rastrový GIS ako nástroj priestorového rozhodovania Priestorové rozhodovanie Mapová algebra Priestorové rozhodovanie Rôzne úrovne priestorového riadenia Viac variantov rozhodovania Každý variant sa vyhodnocuje
PodrobnejšieNÁVRH UČEBNÝCH OSNOV PRE 1
PROGRAMOVANIE UČEBNÉ OSNOVY do ŠkVP Charakteristika voliteľného učebného predmetu Programovanie Programovanie rozširuje a prehlbuje žiacke vedomosti z predchádzajúcich povinného predmetu Informatika. Kompetencie
PodrobnejšieVzorové riešenia úlohy 4.1 Bodovanie Úvod do TI 2010 Dôvod prečo veľa z Vás malo málo bodov bolo to, že ste sa nepokúsili svoje tvrdenia dokázať, prič
Vzorové riešenia úlohy 4.1 Bodovanie Úvod do TI 2010 Dôvod prečo veľa z Vás malo málo bodov bolo to, že ste sa nepokúsili svoje tvrdenia dokázať, pričom to je veľmi dôležitá súčasť úlohy. Body sa udeľovali
PodrobnejšieCvičenie I. Úvodné informácie, Ekonómia, Vedecký prístup
Cvičenie I. Úvodné informácie, Ekonómia, Vedecký prístup Úvodné informácie k štúdiu - cvičenia 2 semestrálne písomky (25 b, v 7. a 11. týždni, cvičebnica) Aktivita (max 10 b za semester, prezentácie, iné)
PodrobnejšieMicrosoft Word - Argumentation_presentation.doc
ARGUMENTÁCIA V. Kvasnička Ústav aplikovanej informatiky FIIT STU Seminár UI, dňa 21.11.2008 Priesvitka 1 Úvodné poznámky Argumentácia patrí medzi dôležité aspekty ľudskej inteligencie. Integrálnou súčasťou
PodrobnejšieMicrosoft PowerPoint - OOP_prednaska_10.pptx
Creational Design Patterns Lecture #10 doc. Ing. Martin Tomášek, PhD. Department of Computers and Informatics Faculty of Electrical Engineering and Informatics Technical University of Košice 2018/2019
PodrobnejšieTomáš Jelínek - včely vyhľadávanie
Tomáš Jelínek - včely vyhľadávanie Včelí focused crawler Včelí focused crawler sa skladá z dvoch základných modelov správania sa včiel - správanie sa včely v úli (implementoval Tomáš Jelínek) a správanie
PodrobnejšieMicrosoft PowerPoint - Prog_p08.ppt
Štruktúra záznam Operácie s bitovými údajmi 1. Štruktúra záznam zložený typ štruktúry záznam varianty štruktúr záznam reprezentácia štruktúry záznam použitie štruktúry záznam v jazyku C 2. Operácie s bitovými
PodrobnejšieKolmogorovská zložitost
Kolmogorovská zložitosť 5.12.2013 (2013/14) KZ 5.12.2013 1 / 16 Kt zložitosť age(x) = min p{2 l(p) t : U(p) = x v priebehu t krokov} Def. (Kt zložitosť) UTS monotonne skenuje začiatok p kým vypíše x, t(p,
PodrobnejšieECDL Syllabus V50 SK-V01
SYLLABUS ECDL Modul Computing, M16 (Základy informatického myslenia a programovania) Sylabus, verzia 1.0 ECDL Module Computing Syllabus Version 1.0 Účel Tento dokument uvádza v plnom znení sylabus pre
PodrobnejšieHistória
Fakulta riadenia a informatiky ŽU Množiny Pojmy zavedené v 8. prednáške N-rozmerné polia Dvojrozmerné polia matica definícia typ[][] premenna inicializácia new typ[pocetriadkov][pocetstlpcov] práca s prvkami
PodrobnejšieŠtudijný program (Študijný odbor) Školiteľ Forma štúdia Téma Elektronické zbraňové systémy (8.4.3 Výzbroj a technika ozbrojených síl) doc. Ing. Martin
doc. Ing. Martin Marko, CSc. e-mail: martin.marko@aos.sk tel.: 0960 423878 Metódy kódovania a modulácie v konvergentných bojových rádiových sieťach Zameranie: Dizertačná práca sa bude zaoberať modernými
PodrobnejšieMicrosoft Word - skripta3b.doc
6. Vlastnosti binárnych relácií V tejto časti sa budeme venovať šiestim vlastnostiam binárnych relácií. Najprv si uvedieme ich definíciu. Reláciu R definovanú v množine M nazývame: a ) reflexívnou, ak
PodrobnejšieSúkromné gymnázium, Česká 10, Bratislava INFORMATIKA
Súkromné gymnázium, Česká 10, 831 03 Bratislava INFORMATIKA ÚVOD Cieľom maturitnej skúšky z informatiky je zistiť u žiakov najmä úroveň: - schopností riešiť algoritmické problémy, - schopností zdokumentovať
PodrobnejšiePM C-03 Prostredie riadenia ¾udských zdrojov
PROSTREDIE RIADENIA ĽUDSKÝCH ZDROJOV 1 OSNOVA vonkajšie prostredie vnútorné prostredie 2 PROSTREDIE 3 PROSTREDIE Analýza údajov o prostredí Definovanie tendencie prehľad údajov štatistická analýzy grafické
PodrobnejšieTue Oct 3 22:05:51 CEST Začiatky s jazykom C 2.1 Štruktúra programu Štruktúra programu by sa dala jednoducho popísať nasledovnými časťami, kto
Tue Oct 3 22:05:51 CEST 2006 2. Začiatky s jazykom C 2.1 Štruktúra programu Štruktúra programu by sa dala jednoducho popísať nasledovnými časťami, ktoré si postupne rozoberieme: dátové typy príkazy bloky
PodrobnejšieMicrosoft Word - Transparencies03.doc
3. prednáška Teória množín II relácie o operácie nad reláciami o rovnosť o usporiadanosť funkcie o zložená funkcia o inverzná funkcia. Verzia: 20. 3. 2006 Priesvitka: 1 Relácie Definícia. Nech X a Y sú
PodrobnejšieJednotkový koreň (unit root), diferencovanie časového radu, unit root testy Beáta Stehlíková Časové rady, FMFI UK, 2011/2012 Jednotkový koreň(unit roo
Jednotkový koreň (unit root), diferencovanie časového radu, unit root testy Beáta Stehlíková Časové rady, FMFI UK, 2011/2012 Jednotkový koreň(unit root),diferencovanie časového radu, unit root testy p.1/18
PodrobnejšieAlgoritmizácia a programovanie - Štruktúrované údajové typy
Algoritmizácia a programovanie Štruktúrované údajové typy prof. Ing. Ján Terpák, CSc. Technická univerzita v Košiciach Fakulta baníctva, ekológie, riadenia a geotechnológíı Ústav riadenia a informatizácie
Podrobnejšie03_ControlFlow.dvi
1 Riadenie toku programu Príkazy v Matlabe na kontrolu toku programu fungujú veľmi podobne ako v iných programovacích jazykoch. Zoznam: IF (IF-END, IF-ELSE-END, IF-ELSEIF-ELSE-END), SWITCH-CASE, FOR cykly,
PodrobnejšieVZTAH STUDENTŮ VŠ K DISCIPLÍNÁM TEORETICKÉ INFORMATIKY
5. vedecká konferencia doktorandov a mladých vedeckých pracovníkov LIMITA A DERIVÁCIA FUNKCIE UKÁŽKA KVANTITATÍVNEHO VÝSKUMU Ján Gunčaga The present paper is devoted to a qualitative research related to
Podrobnejšieenum
Objektovo orientované programovanie (enumeračné typy) 8. prednáška (3. časť) Vladislav Novák FEI STU v Bratislave 4.11.2014 (úprava 10.11. na str. 1, 3, 5) Enumeračné typy (Vymenované typy) Enumeračný
PodrobnejšieARMA modely čast 3: zmiešané modely (ARMA) Beáta Stehlíková Časové rady, FMFI UK ARMA modely časť 3: zmiešané modely(arma) p.1/30
ARMA modely čast 3: zmiešané modely (ARMA) Beáta Stehlíková Časové rady, FMFI UK ARMA modely časť 3: zmiešané modely(arma) p.1/30 ARMA modely - motivácia I. Odhadneme ACF a PACF pre dáta a nepodobajú sa
PodrobnejšieMicrosoft Word - Zaver.pisomka_januar2010.doc
Písomná skúška z predmetu lgebra a diskrétna matematika konaná dňa.. 00. príklad. Dokážte metódou vymenovaním prípadov vlastnosť: Tretie mocniny celých čísel sú reprezentované celými číslami ktoré končia
PodrobnejšieMicrosoft Word - 8.cvicenie.doc
Cvičenie Cvičenie 8.. ko je šecifikovaný argument? Riešenie. rgument je usoriadaná dvojica = ( Φ, ), kde {,,, } Φ = ϕ ϕ ϕ n je teória tvorená množinou formúl, ktorá vyhovuje odmienkam: () Φ (odmienka konzistentnosti),
Podrobnejšie1
1. CHARAKTERISTIKA DIGITÁLNEHO SYSTÉMU A. Charakteristika digitálneho systému Digitálny systém je dynamický systém (vo všeobecnosti) so vstupnými, v čase premennými veličinami, výstupnými premennými veličinami
PodrobnejšieUčebné osnovy
Názov predmetu Časový rozsah výučby Ročník Škola (názov, adresa) Názov ŠkVP Kód a názov ŠVP Kód a názov študijného odboru Stupeň vzdelania Dĺžka štúdia Forma štúdia Vyučovací jazyk Iné Charakteristika
Podrobnejšie1 Portál pre odborné publikovanie ISSN Heuristický adaptívny PSD regulátor založený na miere kmitavosti Šlezárová Alexandra Elektrotechnika
1 Portál pre odborné publikovanie ISSN 1338-0087 Heuristický adaptívny PSD regulátor založený na miere kmitavosti Šlezárová Alexandra Elektrotechnika 28.04.2010 Článok spočíva v predstavení a opísaní algoritmu
PodrobnejšieNumerické riešenie všeobecnej (klasickej) DMPK rovnice.
Numerické riešenie všeobecnej (klasickej) DMPK rovnice. J. Brndiar, R. Derian, P. Markos 11.6.27 1 Úvod Vodivost a transfér matica DMPK vs. zovšeobecnená DMPK rovnica 2 Numerické riešenie Ciel e Predpríprava
PodrobnejšieMatematika 2 - cast: Funkcia viac premenných
Matematika 2 časť: Funkcia viac premenných 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 Spojitosť
Podrobnejšie2.5. Dotyčnica krivky, dotykový kužeľ. Nech f je krivka a nech P V (f) (t.j. m P (f) 1). Ak m P (f) = r a l je taká priamka, že I P (f, l) > r, potom
2.5. Dotyčnica krivky, dotykový kužeľ. Nech f je krivka a nech P V (f) (t.j. m P (f) 1). Ak m P (f) = r a l je taká priamka, že I P (f, l) > r, potom l nazývame dotyčnicou krivky f v bode P. Pre daný bod
PodrobnejšieCentrum vedecko-technických informácií, Odbor pre hodnotenie vedy, Oddelenie pre hodnotenie publikačnej činnosti Vyhľadávanie a práca so záznamami - C
Centrum vedecko-technických informácií, Odbor pre hodnotenie vedy, Oddelenie pre hodnotenie publikačnej činnosti Vyhľadávanie a práca so záznamami - CREPČ 2 Manuál pre autorov (aktualizované dňa 18.3.2019)
Podrobnejšiebc.dvi
Univerzita Karlova v Praze Matematicko-fyzikální fakulta BAKALÁŘSKÁ PRÁCE Peter Valentovič Informační systém pro školu Ústav formální a aplikované lingvistiky Vedoucí bakalářské práce: Mgr. Jan Raab Studijní
PodrobnejšieSiete vytvorené z korelácií casových radov
Siete vytvorené z korelácií časových radov Beáta Stehlíková 2-EFM-155 Analýza sociálnych sietí Fakulta matematiky, fyziky a informatiky, UK v Bratislave, 2019 Siete vytvorené z korelácií Siete vytvorené
PodrobnejšieDediĊnosť
Gymnázium, Praha 10, Voděradská 2 Projekt OBZORY Dedičnosť v jazyku C# Praha & EU: Investujeme do vaší budoucnosti Evropský sociální fond OOP rekapitulácia Trieda je základná jednotka objektového programovania
PodrobnejšieGenetické algoritmy
GENETICKÉ ALGORITMY Darvinovská evolučná teória je v súčasnosti charakterizovaná ako univerzálny algoritmus s platnosťou nielen v biológii, ale aj v iných oblastiach ľudského poznania, tam, kde sme schopní
Podrobnejšie12Prednaska
propozičná logika vs. logika prvého rádu globálna vs. kompozičná vetviaci sa čas vs. lineárny čas časové body vs. časové intervaly diskrétny čas vs. spojitý čas minulosť vs. budúcnosť distribovanosť vs.
Podrobnejšie94 y t r o p Š Čas montáže Odporúčaný vek Prístupnosť Potrebný priestor m2 X Dopadový povrch EN 1176 Kotvenie pozri časť Možnosti
94 y t r o p Š Čas montáže Odporúčaný vek Prístupnosť Potrebný priestor m2 X Dopadový povrch EN 1176 Kotvenie pozri časť Možnosti 95 Športy Naše viacúčelové herné arény sú určené pre ľudí a tímy každého
PodrobnejšieÚlohy: Inteligentné modelovanie a riadenie model MR mobilný robot s diferenciálnym kolesovým podvozkom 1. Vytvorte simulačnú schému pre snímanie tréno
Úlohy: Inteligentné modelovanie a riadenie model MR mobilný robot s diferenciálnym kolesovým podvozkom 1. Vytvorte simulačnú schému pre snímanie trénovacích a testovacích dát dopredného neurónového modelu
PodrobnejšieTeória pravdepodobnosti Zákony velkých císel
10. Zákony veľkých čísel Katedra Matematických metód Fakulta Riadenia a Informatiky Žilinská Univerzita v Žiline 6. apríla 2014 1 Zákony veľkých čísel 2 Centrálna limitná veta Zákony veľkých čísel Motivácia
PodrobnejšieAxióma výberu
Axióma výberu 29. septembra 2012 Axióma výberu Axióma VIII (Axióma výberu) ( S)[( A S)(A ) ( A S)( B S)(A B A B = ) ( V )( A S)( x)(v A = {x})] Pre každý systém neprázdnych po dvoch disjunktných množín
PodrobnejšieAutoregresné (AR) procesy Beáta Stehlíková Časové rady, FMFI UK Autoregresné(AR) procesy p.1/22
Autoregresné (AR) procesy Beáta Stehlíková Časové rady, FMFI UK Autoregresné(AR) procesy p.1/22 Príklad 1 AR(2) proces z prednášky: x t =1.4x t 1 0.85x t 2 +u t V R-ku: korene charakteristického polynómu
PodrobnejšieEN
KOMISIA EURÓPSKYCH SPOLOČENSTIEV Brusel 12/IV/2006 konečné rozhodnutie K(2006)1502 ROZHODNUTIE KOMISIE z 12/IV/2006, ktorým sa mení a dopĺňa rozhodnutie K(2005) 1452, konečné znenie z 26. mája 2005, o
PodrobnejšieKatalóg cieľových požiadaviek k maturitnej skúške
CIEĽOVÉ POŽIADAVKY NA VEDOMOSTI A ZRUČNOSTI MATURANTOV Z INFORMATIKY BRATISLAVA 2019 Schválilo Ministerstvo školstva, vedy, výskum a športu Slovenskej republiky dňa 12. júna 2019 pod číslom 2019/2049:2-A1020
PodrobnejšieMilé študentky, milí študenti, v prvom rade vám ďakujeme za vyplnenie ankety. Táto anketa bola zameraná na zistenie vášho postoja ku kvalite výučby. J
Milé študentky, milí študenti, v prvom rade vám ďakujeme za vyplnenie ankety. Táto anketa bola zameraná na zistenie vášho postoja ku kvalite výučby. Jednotlivé výroky sme vyhodnotili zastúpením vášho súhlasu,
PodrobnejšieMetrické konštrukcie elipsy Soňa Kudličková, Alžbeta Mackovová Elipsu, ako regulárnu kužeľosečku, môžeme študovať synteticky (konštrukcie bodov elipsy
Metrické konštrukcie elipsy Soňa Kudličková, Alžbeta Mackovová Elipsu, ako regulárnu kužeľosečku, môžeme študovať synteticky (konštrukcie bodov elipsy) alebo analyticky (výpočet súradníc bodov elipsy).
PodrobnejšieNSK Karta PDF
Názov kvalifikácie: Projektový manažér pre informačné technológie Kód kvalifikácie U2421003-01391 Úroveň SKKR 7 Sektorová rada IT a telekomunikácie SK ISCO-08 2421003 / Projektový špecialista (projektový
PodrobnejšiePrenosový kanál a jeho kapacita
Prenosový kanál a jeho kapacita Stanislav Palúch Fakulta riadenia a informatiky, Žilinská univerzita 5. mája 2011 Stanislav Palúch, Fakulta riadenia a informatiky, Žilinská univerzita Prenosový kanál a
PodrobnejšieVianoce MOC.indd
VIANOČNÁ AKCIA platná od 9.12.2010 do 23.12.2010 Vianočná akcia Trek / 1 2 / Vianočná akcia Trek HORSKÉ BICYKLE -18,34% -18,34% Trek 3700 biela-čierna Dostupné veľkosti: 19.5, 21 Pôvodná cena: 349 Vianočná
PodrobnejšieŠkVP_INF
Súkromné Gymnázium DSA, Komenského 40, 083 01 Sabinov INFORMATIKA Učebné osnovy 3. september 2018 Názov predmetu Časový rozsah výučby Názov ŠkVP Názov ŠVP Stupeň vzdelania Dĺžka štúdia Forma štúdia Vyučovací
PodrobnejšieMicrosoft Word - clanok10.doc
Problémy s ohraničeniami Ako ilustračného reprezentanta kombinatorického problému s ohraničeniami nad konečnými doménami použijeme známy hlavolam Sudoku, ktorého jedna inštancia je zobrazená na Obrázku.
PodrobnejšieSK_mTransfer_Technicka_dokumentacia_ indd
mtransfer Technická dokumentácia Pre externých partnerov vložka číslo: 1503/B, IČO: 36 819 638, DIČ: 2022429156, IČ DPH: SK 2022429156 tel. č.: +421 2 68 23 03 01, fax: +421 2 68 23 03 00, www., e-mail:
PodrobnejšieKonkurentné programovanie
KONKURENTNÉ PROGRAMOVANIE 4. cvičenie: Konkurentné kolekcie Stav objektu/triedy Stav objektu je uložený v jeho inštančných premenných Stav triedy je uložený v jej statických premenných Stav objektu môže
PodrobnejšiePredmet didaktiky informatiky. Ciele a obsah školskej informatiky, osnovy, štandardy, maturita, učebnice ...
Bádateľsky orientované vyučovanie informatiky priebežné výsledky pedagogického výskumu Ľubomír Šnajder, Ján Guniš Konferencia DidInfo 2016, 31. 3. 2016, Banská Bystrica Osnova Bádateľsky orientované vyučovanie
PodrobnejšieEURÓPSKA KOMISIA V Bruseli C(2017) 1143 final DELEGOVANÉ NARIADENIE KOMISIE (EÚ) / z o klasifikácii parametra horizontálneho s
EURÓPSKA KOMISIA V Bruseli 24. 2. 2017 C(2017) 1143 final DELEGOVANÉ NARIADENIE KOMISIE (EÚ) / z 24. 2. 2017 o klasifikácii parametra horizontálneho sadania a krátkodobej absorpcie vody tepelnoizolačných
PodrobnejšieÚvodná prednáška z RaL
Rozvrhovanie a logistika Základné informácie o predmete Logistika a jej ciele Štruktúra činností výrobnej logistiky Základné skupiny úloh výrobnej logistiky Metódy používané na riešenie úloh výrobnej logistiky
PodrobnejšieSAEAUT SNMP OPC Server
SAEAUT SNMP OPC Server Monitoring a riadenie s využitím SNMP protokolu a prepojenie s inými systémami cez OPC. SAE Automation, s.r.o., Nová Dubnica Interoperabilita pre Vaše zariadenia a softvérové aplikácie
PodrobnejšieSnímka 1
Moderné vzdelávanie pre vedomostnú spoločnosť/projekt je spolufinancovaný zo zdrojov EÚ Ciele štúdie PISA a jej priebeh na národnej úrovni Finančná a štatistická gramotnosť žiakov v kontexte medzinárodných
PodrobnejšieSlide 1
SÚSTAVA TRANSF. VZŤAHY Plošné, objemové element Polárna Clindrická rcos rsin rcos r sin z z ds rddr dv rddrdz rcossin Sférická r sin sin dv r sin drd d z rcos Viacrozmerné integrál vo fzike Výpočet poloh
PodrobnejšieNSK Karta PDF
Názov kvalifikácie: Architekt informačných systémov Kód kvalifikácie U2511002-01348 Úroveň SKKR 6 Sektorová rada IT a telekomunikácie SK ISCO-08 2511002 / IT architekt, projektant SK NACE Rev.2 J INFORMÁCIE
PodrobnejšiePreco kocka stací? - o tom, ako sú rozdelené vlastné hodnoty laplasiánu v limite, ked sú velké
o tom, ako sú rozdelené vlastné hodnoty laplasiánu v limite, keď sú veľké o tom, ako sú rozdelené vlastné hodnoty laplasiánu v limite, keď sú veľké zaujímavé, ale len pre matematikov... NIE! o tom, ako
PodrobnejšieMO_pred1
Modelovanie a optimalizácia Ľudmila Jánošíková Katedra dopravných sietí Fakulta riadenia a informatiky Žilinská univerzita, Žilina Ludmila.Janosikova@fri.uniza.sk 041/5134 220 Modelovanie a optimalizácia
PodrobnejšieVyhľadávanie v CREPČ 2 (aktualizované dňa ) Centrum vedecko-technických informácií SR Odbor pre hodnotenie vedy Oddelenie pre hodnotenie pub
Vyhľadávanie v CREPČ 2 (aktualizované dňa 19.12.2018) Centrum vedecko-technických informácií SR Odbor pre hodnotenie vedy Oddelenie pre hodnotenie Obsah Úvod... 2 1 Vyhľadávanie... 3 2 Jednoduché vyhľadávanie...
PodrobnejšieSnímka 1
PREDSTAVA VS. REALITA PRI VYTVÁRANÍ POLOŽIEK ZO SLOVENSKÉHO JAZYKA A LITERATÚRY V E-TESTE Mgr. Alžbeta Palacková, Mgr. Branislav Hudcovský Bratislava, 21. október 2015 Moderné vzdelávanie pre vedomostnú
PodrobnejšiePowerPoint Presentation
3. Biznis logika a používateľské rozhrania 30. 09. 2013 ÚINF/PAZ1c (Róbert Novotný) Plán na dnes 1. generátor náhodného citátu 1. o biznis logike 2. cesta k trojvrstvovým aplikáciám 2. ďalšie okná do aplikácie:
PodrobnejšieSnímka 1
ContiPressureCheck Systém monitorovania tlaku tlaku v pneumatikách Udržiavanie správneho tlaku v pneumatikách Jednoduché riešenie Podhustené pneumatiky sú častou príčinou vysokých prevádzkových nákladov.
PodrobnejšieSlovenská komisia Matematickej olympiády FMFI UK, Mlynská dolina, Bratislava 51. ročník matematickej olympiády Riešenia úloh I. kola kategórie
Slovenská komisia Matematickej olympiády FMFI UK, Mlynská dolina, 842 48 Bratislava 51. ročník matematickej olympiády Riešenia úloh I. kola kategórie P Tento pracovný materiál nie je určený priamo študentom
PodrobnejšieÚroveň strojového kódu procesor Intel Pentium Pamäťový operand Adresovanie pamäte Priama nepriama a indexovaná adresa Práca s jednorozmerným poľom Pra
Úroveň strojového kódu procesor Intel Pentium Pamäťový operand Adresovanie pamäte Priama nepriama a indexovaná adresa Práca s jednorozmerným poľom Praktické programovanie assemblerových funkcií Autor:
PodrobnejšieIntervalový solver nelineárních podmínek
Univerzita Karlova v Praze Matematicko-fyzikální fakulta BAKALÁŘSKÁ PRÁCE Elif Garajová Intervalový solver nelineárních podmínek Katedra aplikované matematiky Vedoucí bakalářské práce: Studijní program:
PodrobnejšieSnímek 1
Ray Tracing Jan Dupej, johny74656@gmail.com úvod ide o prevod nejakej 3D reprezentácie scény do 2D bitmapy ray tracing je len jednou z metód prevodu Q: na čo? A: zobrazovanie priebehov funkcií niekoľkých
PodrobnejšieGEODETICKÝ A KARTOGRAFICKÝ ÚSTAV BRATISLAVA Chlumeckého 4, Bratislava II Obsah 1. Export údajov ZBGIS do CAD formá
GEODETICKÝ A KARTOGRAFICKÝ ÚSTAV BRATISLAVA Chlumeckého 4, 827 45 Bratislava II www.gku.sk, www.geoportal.sk Obsah 1. Export údajov ZBGIS do CAD formátu (DGN, DXF) pomocou Konverznej služby... 2 Konverzia
PodrobnejšieSVET PRÁCE PRIMÁRNE VZDELÁVANIE ISCED 2 VYUČOVACÍ JAZYK SLOVENSKÝ JAZYK VZDELÁVACIA OBLASŤ ČLOVEK A SVET PRÁCE PREDMET SVET PRÁCE SKRATKA PREDMETU SVP
SVET PRÁCE PRIMÁRNE VZDELÁVANIE ISCED 2 VYUČOVACÍ JAZYK SLOVENSKÝ JAZYK VZDELÁVACIA OBLASŤ ČLOVEK A SVET PRÁCE PREDMET SVET PRÁCE SKRATKA PREDMETU SVP ROČNÍK ÔSMY ČASOVÁ DOTÁCIA 0,5 HODINA TÝŽDENNE 16,5
PodrobnejšiePowerPoint Presentation
@ λ UINF/PAZ1c epizóda 8 framework vs. knižnica Knižnica vs. Framework Knižnica množina tried a ich metód, ktoré vytvoríme/zavoláme a oni pre nás niečo spravia Framework program, ktorému podhodíme
PodrobnejšieDIDKATICKÉ POSTUPY UČITEĽA
DIDAKTICKÉ MYSLENIE A POSTUPY UČITEĽA OBOZNÁMENIE SA SO VŠEOBECNÝMI CIEĽMI VÝUČBY A PREDMETU UJASNENIE TÉMY V RÁMCI TEMATICKÉHO CELKU DIDAKTICKÁ ANALÝZA UČIVA KONKRETIZÁCIA CIEĽOV VO VZŤAHU MOŽNOSTIAM
PodrobnejšieDobývanie znalostí
Dobývanie znalostí Vranec Maroš, Lučanský Ján Zadanie Predikcia pozície internetových stránok na kľúčové slovo vo vyhľadávači Google* * www.google.cz * site:cz Využitie Pri SEO (Search Engine Optimization)
PodrobnejšieSnímka 1
Fyzika - prednáška 12 Ciele 5. Fyzikálne polia 5.4 Stacionárne magnetické pole 5.5 Elektromagnetické pole Zopakujte si Fyzikálne pole je definované ako... oblasť v určitom priestore, pričom v každom bode
PodrobnejšiePoužívateľská príručka POUŽÍVATEĽSKÁ PRÍRUČKA Generátor XML dávok pre Informačný systém kontrolných známok z MS Excel šablóny Dátum: Verzia
Používateľská príručka POUŽÍVATEĽSKÁ PRÍRUČKA Generátor XML dávok pre Informačný systém kontrolných známok z MS Excel šablóny Dátum: 23.05.2017 Verzia aplikácie: 1.12 Strana 2 / 11 Zmenená funkcionalita
PodrobnejšieAnalýza toku dát Ján Šturc Zima 2010 Kompilátory
Analýza toku dát Ján Šturc Zima 2010 Kompilátory O čom to je? Počas kompilácie usudzujeme o vlastnostiach a chovaní sa programu počas behu. Čo nás zaujíma Vlastnosti, ktoré musia platiť vždy (invarianty)
PodrobnejšieVšetkým záujemcom V Bratislave, dňa 24. júla 2018 VEC Vysvetlenie zverejnených dokumentov k zákazke s názvom Základné medicínske zariadenia (NsP Spišs
Všetkým záujemcom V Bratislave, dňa 24. júla 2018 VEC Vysvetlenie zverejnených dokumentov k zákazke s názvom Základné medicínske zariadenia (NsP Spišská Nová Ves) VIII. kolo Verejný obstarávateľ týmto
PodrobnejšieDetekcia anomálií
Detekcia anomálií OBSAH PREDNÁŠKY Validácia zhlukov dokončenie minulej prednášky interné a externé kritériá validity Úvod do detekcie anomálií, príklady aplikácií Analýza extrémnych hodnôt (extreme value
Podrobnejšie4. Pravidlo ret azenia. Často sa stretávame so skupinami premenných, ktoré zložitým spôsobom závisia od iných skupín premenných. Pravidlo ret azenia p
4. Pravidlo ret azenia. Často sa stretávame so skupinami premenných, ktoré zložitým spôsobom závisia od iných skupín premenných. Pravidlo ret azenia pre funkcie viacerých premenných je univerzálna metóda,
Podrobnejšie1 Rekurencie este raz riesenia niektorych rekurencii z cvik. mame danu rekurenciu napr T (n) = at ( n b ) + k. idea postupu je postupne rozpisovat cle
1 Rekurencie este raz riesenia niektorych rekurencii z cvik. mame danu rekurenciu napr at b + k. idea postupu je postupne rozpisovat cleny T b... teda T b = at + 1... dokym v tom neuvidime nejaky tvar
PodrobnejšieFINANČNÉ RIADITEĽSTVO SLOVENSKEJ REPUBLIKY INTERNÝ RIADIACI AKT č. 83/2012/ Znak finančnej správy a Slávnostný znak finančnej správy Vypracoval
FINANČNÉ RIADITEĽSTVO SLOVENSKEJ REPUBLIKY INTERNÝ RIADIACI AKT č. 83/2012/1000100 Znak finančnej správy a Slávnostný znak finančnej správy Vypracoval: Kancelária prezidenta FS Účinné od do: od 22. marca
PodrobnejšiePREDCHÁDZAME PORUCHÁM UČENIA
Mgr. Zuzana Hronová NOVEMBER 2018 - Poruchy čítanej a písanej reči. - Ich predikcie je možné rozoznať už v predškolskom veku. - Majú neurobiologický pôvod, avšak včasnou intervenciou je možné stav zmierniť.
Podrobnejšie