Microsoft Word - 8.cvicenie.doc
|
|
- Dagmar Horáková
- pred 4 rokmi
- Prehliadani:
Prepis
1 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), () Φ (z odmnožiny Φ logicky vylýva formula ), (3) Φ je minimálna množina vyhovujúca odmienke () (stačí, ak odstránime jeden rvok odmnožiny Φ a restane latiť odmienka Φ ). Formula sa nazýva dôsledok argumentu a odmnožina Φ sa nazýva odora (suort) = Φ, argumentu. Schematické znázornenie argumentu V hornej časti diagramu sú uvedené východiskové redoklady argumentu (konzistetná odora argumentu), v dolnej časti diagramu je uvedený dôsledok (výsledná formula), ktorý je odvodený omocou zásad rirodzenej dedukcie výrokovej logiky (táto ostunosť oerácií rirodzenej logiky je rerezentovaná šíkami idúcimi zhora nadol). Cvičenie 8.. Nech Δ = {, β, γ β, γ, δ, δ β,, γ }, otom nad touto množinou formúl môžeme definovať tieto argumenty: = β,, β, ({ } ) {, }, 3 = ({ δδ β, }, β ), 4 = ({ }, ), 5 = ({ γ }, γ ), 6 {, }, 7 ({ }, ) = γ βγ β, = β β, = γ δ γ. Dokážte re tieto argumenty korektnosť ich dôsledkov. Riešenie. rgument. likácia modus onens na teóriu Φ = {, β }, Φ β. rgument. likácia modus onens na teóriu Φ = { γ β, γ }, Φ β. -6 (8. kaitola, verzia o 3:09:0)
2 rgument 3. likácia modus onens na teóriu Φ = { δ, δ β }, Φ rgument 4. Koírovanie redokladu z teórie Φ = { }, Φ. rgument 5. Koírovanie redokladu z teórie Φ = { γ }, Φ γ. rgument 6. likácia modus onens na teóriu Φ = {, β }, Φ rozšírený omocou disjunkcie o, otom Φ β β. β, tento dôsledok je rgument 5. Koírovanie redokladu z teórie Φ = { γ }, otom Φ γ, tento dôsledok je rozírený omocou disjunkcie o δ, dostaneme Φ ( δ γ) ( δ γ) Cvičenie 8.3. ko je definovaná relácia konzervatívný argument? Riešenie. Hovoríme, že argument = ( Φ, ) je konzervatívnejší ako argument = ( Ψ, β ) vtedy a len vtedy, ak Φ Ψ a β. Obrazne môžeme ovedať, že konzervatívnejší argument má všeobecnejší charakter, kladie menšie ožiadavky na odoru a menej šecifický na dôsledok. Význam tohto ojmu je znázornený na obrázku Cvičenie 8.4. Vysvetlite reláciu konzervatívnejší re dva argumenty = {, q },q 443 { a Φ = {, q,q r },q { r Ψ β Riešenie. Pretože latí Φ Ψ a β, argument je konzervatívnejší ako argument., ričom latí q { r q {. Túto skutočnosť môžeme alternatívne vyjadriť takto β ({, q },q) ({, q,q r },r q) { q,q r} r q t. j. rozšírením argumentu = ({, q },q) o ďalší člen q r ({, q,q r },r q) dostaneme nový argument =, ričom argument je konzervatívnejší ako argument. Cvičenie 8.5. ko je definované sochybnenie argumentu iným argumentom? -6 (8. kaitola, verzia o 3:09:0)
3 = Ψ β ráve vtedy, ak dôsledok argumentu je negácia niektorých redokladov argumentu, t. j. β ( ϕ ϕ n ), kde { ϕ,, ϕn} Φ. Táto formulácia sochybnenia jedného argumentu druhým je ekvivalentná s tým, že asoň jeden redoklad argumentu je negáciou dôsledku argumentu., ozri riložený obrázok Riešenie. Hovoríme, že argument = ( Φ, ) je sochybnený argumentom (, ) Φ Ψ ( ϕ ϕ n ) (sochybnenie) Cvičenie 8.6. ko je definované vyvrátenie argumentu iným argumentom? = Ψ β ráve vtedy, ak dôsledok argumentu je negácia dôsledku argumentu, t. j. β, ozri riložený obrázok Φ Ψ Riešenie. Hovoríme, že argument = ( Φ, ) je vyvrátený argumentom (, ) β B (vyvrátenie) Príklad 8.7. Nech univerzálna množina oznatkov má tvar Δ = {, β, γ, γ }, z tejto množiny vytvoríme dva argumenty = ({ β, }, β ) a = ({ γγ, }, ). Dokážte, že argument sochybňuje argument. Riešenie. Záver argumentu atakuje odoru Φ = {, β} argumentu = {, β}, β, ozri obrázok 3-6 (8. kaitola, verzia o 3:09:0)
4 Príklad 8.8. Nech univerzálna množina oznatkov má tvar Δ = {, β, γ, β η γ }, z tejto množiny vytvoríme dva argumenty = ({ β, }, β ) a = ({ γβ η γ, }, β ). Dokážte, že argument vyvracia argument. Riešenie. Pre úlnosť znázorníme omocou rirodzenej dedukcie odvodenie záveru β re argument, ozri nasledujúcu tabuľku γ. redoklad β η γ. redoklad 3 γ (β η) alikácia transozície imlikácie na 4 γ β η reis 3 omocou DeMorganovho zákona 5 β η alikácia modus onens na a 4 6 β alikácia eliminácie konjunkcie na 5 Na nasledujúcom obrázku sú znázornené argumenty a, je ukázané, že tieto argumenty sú vo vzájomnom konflikte nazývanom vyvrátenie, ich závery sú vo vzájomnej kontradikcii. Cvičenie 8.9. Nech Δ = {, β,, β} je univerzálna množina oznatkov, zostrojíme nad ňou tieto argumenty 0 = ({ β, }, β ) = ({ }, ( β )) = ({ β }, ( β )) Dokážte, že argumenty a sú sochybnenia argumentu 0. Riešenie. Pre úlnosť ešte uvedieme tabuľku rirodzenej dedukcie re jednotlivé argumenty, ktoré z redokladov každého argumentu vedú k jeho záveru. argument 0 argument argument β β β β β β ( β ) Cvičenie 8.0. Dokážte, že vzťah sochybnenia medzi dvoma argumentmi je symetrický. 4-6 (8. kaitola, verzia o 3:09:0)
5 Riešenie. Z redokladu, že ( Ψβ, ) je sochybnenie argumentu (, ) Φ= { ϕ,, ϕ n} ; otom (, ) (, ( n )) vylýva Ψ β, alebo Ψ ( ϕ ϕn ) n ( n) n ( n) Φ ( ψ ψn ). čiže môžeme zostrojiť argument (, ( n )) sochybnenie argumentu ( Ψβ, ). Φ vylýva, re Ψβ = Ψ ϕ ϕ. Pre záver β z definície argumentu, čo môžeme reísať ako imlikáciu ψ ψ ϕ ϕ, oužitím transozície imlikácie dostaneme ϕ ϕ ψ ψ. Týmto sme dokázali, že z redokladu latnosti vety vylýva Φ ψ ψ, ktorý je Cvičenie 8.. Dokážte, že vzťah vyvrátenia medzi dvoma argumentmi je symetrický. Riešenie. Z redokladu, že ( Ψβ, ) je vyvrátením argumentu (, ) β, otom latí aj β, t. j. argument ( Φ, ) je vyvrátením argumentu (, ) bolo otrené dokázať. Φ vylýva ekvivalencia Ψ β, čo Cvičenie 8.. ko je šecifikovaný strom argumentácie? Riešenie. Pod argumentáciou rozumieme roces, ktorý je zahájený očiatočným argumentom, = ( Φ, ), ktorého záver logicky vylýva (čo môžeme nar. verifikovať omocou rirodzenej dedukcie) z odory Φ, formálne Φ. Námietka (rvý rotiargument) je vytvorený omocou ataku = ( Φ, ), kde dôsledok je v kontradikcii asoň s jedným redokladom ϕ Φ (sochybnenie), alebo je v kontradikcii so záverom,. Týchto atakov očiatočného argumentu môže byť vytvorených niekoľko. Tento roces oakujeme tak dlho, ako je možné vytvárať neekvivalentné ataky argumentov z redchádzajúcej etay. Konštrukciu týchto argumentácií a ich rotiargumentácií môžeme znázorniť omocou stromu argumentácie, ktorý je koreňovým stromom, kde koreňom je očiatočný argument, v nasledujúcej vrstve sú umiestnené rotiargumenty k ôvodnému argumentu, atď. Príklad 8.3. Nech { rs,,, ( r ) q, ( s) q} databázy oznatkov vytvoríme tieto argumenty Δ=. Z tejto univerzálnej ({ } ) = r, r q, q, 5-6 (8. kaitola, verzia o 3:09:0)
6 () ({ } ) = s, s q, q, ( ) ({ } ) ({ } ) = s, s q, r q, r, () 3 =, r q, q. Zostrojte ich strom argumentácie. Cvičenie. Inferenčné schémy re jednotlivé argumenty sú uvedenbe v tabuľke argument r r q r r q argument ( ) ( ) argument s s q s s q s s q r q ( ) s s q q r ( ) ( r ) ( r) ( ) argument ( ) r q r r q 3 Pre každý argument zostrojíme ríslušné schéma usudzovania rirodzenej dedukcie, omocou ktorého z redokladov argumentu uvedených v zložených zátvorkách zostrojíme dôsledok Strom argumentácie má tvar znázornený na nasledujúcom obrázku. 6-6 (8. kaitola, verzia o 3:09:0)
Microsoft 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š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šieMicrosoft Word - 7.cvicenie.doc
Cvičenia Cvičenie 7 Ako je šecifikovaný mentálny model v kognitívnej vede? Riešenie Mentálne modely (alebo mentálne modelovanie) boli vý kát ostulované škótskym sychológom Kenneth Caikom v 9, ktoý edokladal,
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šieObsah 1 Úvod Úvod Sylaby a literatúra Označenia a pomocné
Obsah 1 Úvod 3 1.1 Úvod......................................... 3 1. Sylaby a literatúra................................. 3 1.3 Označenia a omocné tvrdenia.......................... 4 Prvočísla 6.1 Deliteľnosť......................................
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š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š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š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šieMicrosoft Word - Final_test_2008.doc
Záverečná písomka z Matematiky pre kog. vedu konaná dňa 3. 1. 008 Príklad 1. Odpovedzte na otázky z výrokovej logiky: (a Ako je definovaná formula (b Aký je rozdiel medzi tautológiou a splniteľnou formulou
PodrobnejšieBRKOS
Pomocný text Výroková logika autor: Viki Logika je nástroj, ktorý nám umoº uje matematicky uvaºova o veciach okolo nás. Dovo uje nám formalizova tvrdenia, ktoré chceme dokáza a zárove formalizova samotný
PodrobnejšieŠtudent 1. kapitola Maticová algebra I 1.1 Definícia matice V mnohých prípadoch dáta majú štruktúru dvojrozmernej tabuľky, ktorá má m riadkov a n stĺp
Študent. kapitola Maticová algebra I. Definícia matice V mnohých prípadoch dáta majú štruktúru dvojrozmernej tabuľky, ktorá má m riadkov a n stĺpcov. Jednoduchý príklad dát tohto druhu je tabuľka, ktorá
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š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š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š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šie8 Cvičenie 1.1 Dokážte, že pre ľubovoľné body X, Y, Z platí X + Y Z = Z + Y X. 1.2 Dokážte, že pre ľubovoľné body A, B, D, E, F, G afinného priestoru
8 Cvičenie 1.1 Dokážte, že pre ľubovoľné body X, Y, Z platí X + Y Z = Z + Y X. 1. Dokážte, že pre ľubovoľné body A, B, D, E, F, G afinného priestoru P platí F B = F A, BD = AE, DG = EG F = G. 1.3 Dokážte
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šiePoznámky k cvičeniu č. 2
Formálne jazyky a automaty (1) Zimný semester 2017/18 Zobrazenia, obrazy a inverzné obrazy Poznámky k cvičeniu č. 2 Peter Kostolányi 4. októbra 2017 Nech f : X Y je zobrazenie. Obraz prvku x X pri zobrazení
PodrobnejšieIII. Diferenciálny počet funkcie viac premenných (Prezentácia k prednáškam, čast B) Matematická analýza IV (ÚMV/MAN2d/10) RNDr. Lenka Halčinová, PhD.
III. Diferenciálny počet funkcie viac premenných (Prezentácia k prednáškam, čast B) (ÚMV/MAN2d/10) lenka.halcinova@upjs.sk 11. apríla 2019 3.3 Derivácia v smere, vzt ah diferenciálu, gradientu a smerovej
Podrobnejšie9. kapitola Maticová algebra II systém lineárnych rovníc, Frobeniova veta, Gaussova eliminačná metóda, determinanty 1. Systém lineárnych rovníc Systém
9. kapitola Maticová algebra II systém lineárnych rovníc, Frobeniova veta, Gaussova eliminačná metóda, determinanty. Systém lineárnych rovníc Systém lineárnych rovníc, ktorý obsahuje m rovníc o n neznámych
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š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šieNáuka o teple
Náuka o tele Stavová rovnica ideálneho lynu. Určité množstvo vodíka uzavreté v nádobe, ktorá má konštantný objem, má v toiacom sa ľade tlak Pa. Keď nádobu onoríme do teelného kúeľa, vzrastie tlak vodíka
Podrobnejšie2-UMA-115 Teória množín Martin Sleziak 21. októbra 2010
2-UMA-115 Teória množín Martin Sleziak 21. októbra 2010 Obsah 1 Úvod 4 1.1 Predhovor...................................... 4 1.2 Sylaby a literatúra................................. 5 1.2.1 Literatúra..................................
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š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šieInformačná a modelová podpora pre kvantifikáciu prvkov daňovej sústavy SR
Nelineárne optimalizačné modely a metódy Téma prednášky č. 5 Prof. Ing. Michal Fendek, CSc. Katedra operačného výskumu a ekonometrie Ekonomická univerzita Dolnozemská 1 852 35 Bratislava Označme ako množinu
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š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šie7/1/2015 Úvod do databáz, skúškový test, max 25 bodov, 90 min
19/1/2017 Úvod do databáz, skúškový test, max 60 bodov 1. Uvažujte databázu bez duplikátov a null hodnôt: lubipijan, Alkohol, navstivilidn, Pijan, Krcma, vypilidn, Alkohol, Mnozstvo. Platí: Idn Pijan,
PodrobnejšieZeszyty Naukowe PWSZ, Nowy Sącz 2013 Konštrukcie magických obdĺžnikov Marián Trenkler Faculty of Education, Catholic University in Ružomberok Hrabovsk
Zeszyty Naukowe PWSZ, Nowy Sącz 2013 Konštrukcie magických obdĺžnikov Marián Trenkler Faculty of Education, Catholic University in Ružomberok Hrabovská cesta 1, 034 01 Ružomberok, Slovakia e-mail: marian.trenkler@ku.sk
PodrobnejšieExpertízny posudok stability drevín
Dodávateľ: Ústav ekológie lesa SAV Zvolen Pobočka biológie drevín Nitra Akademická 2 949 01 Nitra Objednávateľ: Mesto Pezinok Radničné námestie 44/7 902 14 Pezinok EXPERTÍZNY POSUDOK Číslo objednávky:
PodrobnejšieHranoly (11 hodín) September - 17 hodín Opakovanie - 8. ročník (6 hodín) Mesiac Matematika 9. ročník 5 hodín/týždeň 165 hodín/rok Tematický celok Poče
Hranoly ( hodín) September - 7 hodín Opakovanie - 8. ročník (6 hodín) Mesiac Matematika 9. ročník 5 hodín/týždeň 65 hodín/rok Tematický celok Počet hodín 6 Téma Obsahový štandard Výkonový štandard Opakovanie
PodrobnejšieSnímka 1
Fyzika - prednáška 8 Ciele 3. Kmity 3.1 Netlmený harmonický kmitavý pohyb 3. Tlmený harmonický kmitavý pohyb Zopakujte si Výchylka netlmeného harmonického kmitavého pohybu je x = Asin (ω 0 t + φ 0 ) Mechanická
PodrobnejšieObsah 1 Úvod Predhovor Sylaby a literatúra Základné označenia
Obsah 1 Úvod 3 1.1 Predhovor...................................... 3 1.2 Sylaby a literatúra................................. 4 1.3 Základné označenia................................. 4 2 Množiny a zobrazenia
PodrobnejšieObsah 1 Úvod Predhovor Sylaby a literatúra Základné označenia
Obsah 1 Úvod 3 1.1 Predhovor...................................... 3 1.2 Sylaby a literatúra................................. 4 1.3 Základné označenia................................. 4 2 Množiny a zobrazenia
PodrobnejšiePríklady Cvičenie 1 V krúžku je 20 študentov, ktorí sa zúčastnili skúšky z predmetu XX. Hodnotenie každého z nich je prvok z množiny H ta, B, C, D, E,
Príklady Cvičenie 1 V krúžku je 20 študentov, ktorí sa zúčastnili skúšky z predmetu XX. Hodnotenie každého z nich je prvok z množiny H ta, B, C, D, E, F Xu. Označme množinu študentov S. a) Môže byt zobrazenie
PodrobnejšieVyhodnotenie študentských ankét 2013
Výsledky študentskej ankety na UJS v akademickom roku 2012/2013 Študenti Univerzity J. Selyeho v zmysle 70 ods. 1 písm. h) zákona č. 131/2002 Z. z. o vysokých školách a o zmene a doplnení niektorých zákonov
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šieOperačná analýza 2
Súradnicové sústavy a zobrazenia Súradnicové sústavy v rovine (E 2 ) 1. Karteziánska súradnicová sústava najpoužívanejšia súradnicová sústava; určená začiatkom O, kolmými osami x, y a rovnakými jednotkami
PodrobnejšieSnímka 1
Generovanie LOGICKÝCH KONJUNKCIÍ doc. Ing. Kristína Machová, PhD. kristina.machova@tuke.sk http://people.tuke.sk/kristina.machova/ OSNOVA: 1. Prehľadávanie priestoru pojmov 2. Reprezentácia a použitie
PodrobnejšieOperačná analýza 2
Krivky (čiary) Krivku môžeme definovať: trajektória (dráha) pohybujúceho sa bodu, jednoparametrická sústava bodov charakterizovaná určitou vlastnosťou,... Krivky môžeme deliť z viacerých hľadísk, napr.:
Podrobnejšie1
ADM a logika. prednáška Logické neuróny a neurónové siete Priesvitka Logické neuróny McCullocha a Pittsa Logické neuróny a neurónové siete boli prvý krát študované v publikácii Warrena McCullocha a Waltera
PodrobnejšiePodpora metód operačného výskumu pri navrhovaní systému liniek doc. RNDr. Štefan PEŠKO, CSc. Katedra matematických metód, Fa
Podpora metód operačného výskumu pri navrhovaní systému liniek doc. RNDr. Štefan PEŠKO, CSc. stefan.pesko@fri.uniza.sk Katedra matematických metód, Fakulta riadenia a informatiky, Žilinská univerzita v
PodrobnejšieB5.indd
Úvod do limitných prechodov Vladimír Janiš ÚVOD DO LIMITNÝCH PRECHODOV Autor: doc. RNDr. Vladimír Janiš, CSc. Recenzenti: doc. RNDr. Martin Kalina, CSc. RNDr. Pavol Krá, PhD. Vydavate : Belianum. Vydavate
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šies sol
15/1/2009 Úvod do databáz, skúškový test, max 25 bodov, 90 min 0. Súhlasím so zverejnením výsledku môjho testu vo forme [Meno, Výsledok] na webstránke prednášky. ÁNO (1), NIE (0). ÁNO 1. Daná je databáza:
PodrobnejšieExpertízny posudok stability drevín
Dodávateľ: Ústav ekológie lesa SAV Zvolen Pobočka biológie drevín Nitra Akademická 2 949 01 Nitra Objednávateľ: Mesto Pezinok Radničné námestie 7 902 14 Pezinok EXPERTÍZNY POSUDOK Objednávka č. 20180252/2018
PodrobnejšieROZBOR ROVNOVÁŽNYCH BINÁRNYCH DIAGRAMOV (2. ČASŤ) Cieľ cvičenia Zostrojiť rovnovážne binárne diagramy podľa zadania úloh na cvičení. Teoretická časť P
ROZBOR ROVNOVÁŽNYCH BINÁRNYCH DIAGRAMOV (2. ČASŤ) Cieľ cvičenia Zostrojiť rovnovážne binárne diagramy podľa zadania úloh na cvičení. Teoretická časť Predošlá kapitola bol venovaná rozboru základných rovnovážnych
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šieDiplomová práca
VYSOKÉ UČENÍ ECHNICKÉ V BNĚ BNO UNIVESIY OF ECHNOLOGY FAKULA ELEKOECHNIKY A KOMUNIKAČNÍCH ECHNOLOGIÍ ÚSAV MIKOELEKONIKY FACULY OF ELECICAL ENGINEEING AND COMMUNICAION DEPAMEN OF MICOELECONICS MĚŘENÍ EPLONÍCH
PodrobnejšieMicrosoft Word - Diskusia11.doc
Univerzita Komenského v Bratislave Fakulta matematiky, fyziky a informatiky MATEMATIKA - 011 sem vlepiť čiarový kód uchádzača Test obsahuje 30 úloh. Na jeho vypracovanie máte 90 minút. Každá úloha spolu
PodrobnejšieMicrosoft Word - 6 Výrazy a vzorce.doc
6 téma: Výrazy a vzorce I Úlohy na úvod 1 1 Zistite definičný obor výrazu V = 4 Riešte sústavu 15 = 6a + b, = 4a c, 1 = 4a + b 16c Rozložte na súčin výrazy a) b 4 a 18, b) c 5cd 10c d +, c) 6 1 s + z 4
PodrobnejšieÚvod do lineárnej algebry Monika Molnárová Prednášky 2006
Úvod do lineárnej algebry Monika Molnárová Prednášky 2006 Prednášky: 1. 3. marca 2006 2. 10. marca 2006 c RNDr. Monika Molnárová, PhD. Obsah 1 Aritmetické vektory a matice 4 1.1 Aritmetické vektory........................
PodrobnejšieObsah 1 Úvod Predhovor Sylaby a literatúra Grupy a podgrupy 4 2
Obsah 1 Úvod 3 1.1 Predhovor...................................... 3 1.2 Sylaby a literatúra................................. 3 2 Grupy a podgrupy 4 2.1 Základné vlastnosti grúp..............................
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šieSK MATEMATICKÁOLYMPIÁDA skmo.sk 2009/ ročník MO Riešenia úloh česko-poľsko-slovenského stretnutia 1. Určte všetky trojice (a, b, c) kladných r
SK MATEMATICKÁOLYMPIÁDA skmo.sk 009/010 59. ročník MO Riešenia úloh česko-poľsko-slovenského stretnutia 1. Určte všetky trojice (a, b, c) kladných reálnych čísel, ktoré sú riešením sústavy rovníc a b c
PodrobnejšieSnímka 1
Fyzika - prednáška 11 Ciele 5. Fyzikálne polia 5.2 Elektrostatické pole 5.3 Jednosmerný elektrický prúd Zopakujte si Fyzikálne pole je definované ako... oblasť v určitom priestore, pričom v každom bode
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šieO babirusách
VAN HIELE: ROZVOJ GEOMETRICKÉHO MYSLENIA VYRIEŠTE ÚLOHU Máme danú priamku e. Ktoré body ležia vo vzdialenosti 5cm od tejto priamky? Zoraďte žiacke riešenia v dokumente VanHiele_riesenia.pdf podľa úrovne
PodrobnejšieNSK Karta PDF
Názov kvalifikácie: Podlahár špeciálnych podláh Kód kvalifikácie C7122001-01534 Úroveň SKKR 3 Sektorová rada Stavebníctvo, geodézia a kartografia SK ISCO-08 7122001 / Podlahár SK NACE Rev.2 F STAVEBNÍCTVO,
PodrobnejšiePokrocilé programovanie II - Nelineárne iteracné schémy, chaos, fraktály
Pokročilé programovanie II Nelineárne iteračné schémy, chaos, fraktály Peter Markoš Katedra experimentálnej fyziky F2-253 Letný semester 27/28 Obsah Logistická mapa - May Period doubling, podivný atraktor,
PodrobnejšieMicrosoft Word - FRI”U M 2005 forma B k¾úè.doc
Fakulta riadenia a informatik Žilinskej univerzit ( ) ( 6 ) 6 = 3 () 8 (D) 8 m Závislosť hmotnosti m častice od jej rýchlosti v je vjadrená vzťahom m =, kde m je v c pokojová hmotnosť častice, c je rýchlosť
PodrobnejšieRepublika Srbsko MINISTERSTVO OSVETY, VEDY A TECHNOLOGICKÉHO ROZVOJA ÚSTAV PRE HODNOTENIE KVALITY VZDELÁVANIA A VÝCHOVY VOJVODINSKÝ PEDAGOGICKÝ ÚSTAV
Republika Srbsko MINISTERSTVO OSVETY, VEDY A TECHNOLOGICKÉHO ROZVOJA ÚSTAV PRE HODNOTENIE KVALITY VZDELÁVANIA A VÝCHOVY VOJVODINSKÝ PEDAGOGICKÝ ÚSTAV ZÁVEREČNÁ SKÚŠKA NA KONCI ZÁKLADNÉHO VZDELÁVANIA A
Podrobnejšie1-INF-155 Algebra 2 Martin Sleziak 10. februára 2013
1-INF-155 Algebra 2 Martin Sleziak 10. februára 2013 Obsah 1 Úvod 4 1.1 Predhovor...................................... 4 1.2 Sylaby a literatúra................................. 4 2 Grupy a podgrupy 5
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šie01 Podrobné kritériá 2016_01_13_Sk _tr changes-Jany
Príloha č. 14.3 K Príručke pre prijímateľa programu Interreg V-A Poľsko-Slovensko Program cezhraničnej spolupráce Interreg V-A Poľsko - Slovensko Podrobné kritériá hodnotenia Strešných Projektov I FORMÁLNE
Podrobnejšie9.1 MOMENTY ZOTRVACNOSTI \(KVADRATICKÉ MOMENTY\) A DEVIACNÝ MOMENT PRIEREZU
Učebný cieľ kapitoly Po preštudovaní tejto kapitoly by ste mali ovládať: Charakteristiku kvadratických momentov prierezových plôch. Ako je definovaný kvadraticky moment plochy k osi a k pólu. Ako je definovaný
PodrobnejšieObsah
Obsah str. 1. Základné pojmy pružnosti a pevnosti 1.1 Predmet a význam náuky o pružnosti a pevnosti 3 1.2 Z histórie oboru 3 1.3 Základné predpoklady o materiáli 4 1.4 Vonkajšie a vnútorné sily 5 1.5 Normálové
PodrobnejšieStatika konštrukcií - prednášky
PEDAGOGICKÁ DOKUMENTÁCIA PREDMETU Názov : Statika konštrukcií Identifikačné číslo : B-501205 Garantujúca katedra, ústav : Katedra stavebnej mechaniky, Ústav inžinierskeho staviteľstva Študijný odbor :
PodrobnejšieStavba Lobačevského planimetrie Dodatok In: Ján Gatial (author); Milan Hejný (author): Stavba Lobačevského planimetrie. (Slovak). Praha: Mladá fronta,
Stavba Lobačevského planimetrie Dodatok In: Ján Gatial (author); Milan Hejný (author): Stavba Lobačevského planimetrie. (Slovak). Praha: Mladá fronta, 1969. pp. 110 116. Persistent URL: http://dml.cz/dmlcz/403692
PodrobnejšieŠkVP_MAT
Súkromné Gymnázium DSA, Komenského 40, 083 01 Sabinov MATEMATIKA 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šieSK MATEMATICKÁOLYMPIÁDA skmo.sk 63. ročník Matematickej olympiády 2013/2014 Riešenia úloh česko-poľsko-slovenského stretnutia 1. Dokážte, že kladné re
SK MATEMATICKÁOLYMPIÁDA skmo.sk 63. ročník Matematickej olympiády 2013/2014 Riešenia úloh česko-poľsko-slovenského stretnutia 1. Dokážte, že kladné reálne čísla a, b, c spĺňajú rovnicu a 4 + b 4 + c 4
PodrobnejšieSRPkapitola06_v1.docx
Štatistické riadenie procesov Regulačné diagramy na reguláciu porovnávaním 6-1 6 Regulačné diagramy na reguláciu porovnávaním Cieľ kapitoly Po preštudovaní tejto kapitoly budete vedieť: čo sú regulačné
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šie1. KOMPLEXNÉ ČÍSLA 1. Nájdite výsledok operácie v tvare x+yi, kde x, y R. a i (5 2i)(4 i) b. i(1 + i)(1 i)(1 + 2i)(1 2i) (1 7i) c. (2+3i) a+bi d
KOMPLEXNÉ ČÍSLA Nájdite výsledok operácie v tvare xyi, kde x, y R 7i (5 i)( i) i( i)( i)( i)( i) ( 7i) (i) abi a bi, a, b R i(i) 5i Nájdite x, y R také, e (x y) i(x y) = i (ix y)(x iy) = i y ix x iy i
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š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šieSK MATEMATICKA OLYMPIADA 2010/ ročník MO Riešenia úloh domáceho kola kategórie Z4 1. Doplň do prázdnych políčok čísla od 1 do 7 každé raz tak,
SK MATEMATICKA OLYMPIADA 2010/2011 60. ročník MO Riešenia úloh domáceho kola kategórie Z4 1. Doplň do prázdnych políčok čísla od 1 do 7 každé raz tak, aby matematické operácie boli vypočítané správne.
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šiePríklad 5 - Benzén 3. Bilančná schéma 1. Zadanie príkladu n 1 = kmol/h Definovaný základ výpočtu. Na základe informácií zo zadania si ho bude v
Príklad 5 - enzén 3. ilančná schéma 1. Zadanie príkladu n 1 = 12.862 kmol/h efinovaný základ výpočtu. Na základe informácií zo zadania si ho bude vhodné prepočítať na hmotnostný tok. m 1 = n 1*M 1 enzén
PodrobnejšieFunkcie viac premenných
Funkcie viac premenných January 21, 215 Regulárne zobrazenia Nech je zobrazenie X = Φ(T) dané rovnicami: x 1 = ϕ 1 (t 1, t 2,, t n), x 2 = ϕ 2 (t 1, t 2,, t n), x n = ϕ n(t 1, t 2,, t n), a ak majú funkcie
PodrobnejšiePriebeh funkcie
Technická univerzita Košice monika.molnarova@tuke.sk Obsah 1 Monotónnosť funkcie Lokálne extrémy funkcie Globálne (absolútne) extrémy funkcie Konvexnosť a konkávnosť funkcie Monotónnosť funkcie Monotónnosť
PodrobnejšiePríklad 9 - Lisovanie+ Vylúhovanie+ Sušenie 3. Bilančná schéma 1. Zadanie príkladu Bilančná schéma: m6 =? w6a = m4 =? kg 0.1 Zvolený základ výpočtu: w
Príklad 9 - Lisovanie+ Vylúhovanie+ Sušenie 3. Bilančná schéma 1. Zadanie príkladu Bilančná schéma: m6 =? w6a = m4 =? kg 0.1 Zvolený základ výpočtu: w4d = 1 w6d = 0.9 m 1 = 100 kg 4 6 EXTRAKTOR 1 3 LIS
PodrobnejšieO možnosti riešenia deformácie zemského povrchu z pohladu metódy konecných prvkov konference pro studenty matematiky
O možnosti riešenia deformácie zemského povrchu z pohľadu metódy konečných prvkov 19. konference pro studenty matematiky Michal Eliaš ČESKÉ VYSOKÉ UČENÍ TECHNICKÉ V PRAZE Katedra matematiky 7. 9. 6. 2011
PodrobnejšieOtázky k štátnej skúške z predmetu didaktika matematiky Prípravy študenta na štátnice - tvorba 14-tich rôznych príprav na vyučovaciu jednotku k temati
Otázky k štátnej skúške z predmetu didaktika matematiky Prípravy študenta na štátnice - tvorba 14-tich rôznych príprav na vyučovaciu jednotku k tematickým okruhom uvedeným nižšie - vyučovacia jednotka
PodrobnejšieAnalýza sociálnych sietí Geografická lokalizácia krajín EU
Analýza sociálnych sietí Geografická lokalizácia krajín EU Ekonomická fakulta TU v Košiciach 20. februára 2009 Vzt ahy medzi krajinami - teória grafov Doterajšie riešenia 1 problém farbenia grafov (Francis
PodrobnejšieKatalóg cieľových požiadaviek k maturitnej skúške
CIEĽOVÉ POŽIADAVKY NA VEDOMOSTI A ZRUČNOSTI MATURANTOV Z MATEMATIKY 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šietrafo
Výpočet rozptylovej reaktancie transformátora Vo väčších transformátoroch je X σk oveľa väčšia ako R k a preto si vyžaduje veľkú pozornosť. Ak magnetické napätia oboch vinutí sú presne rovnaké, t.j. N
PodrobnejšieFórum cudzích jazykov (Časopis pre jazykovú komunikáciu a výučbu jazykov) 3/2014 VYSOKÁ ŠKOLA DANUBIUS ISSN
Fórum cudzích jazykov (Časopis pre jazykovú komunikáciu a výučbu jazykov) 3/2014 VYSOKÁ ŠKOLA DANUBIUS ISSN 1337-9321 Fórum cudzích jazykov (Časopis pre jazykovú komunikáciu a výučbu jazykov) Vydáva: VYSOKÁ
PodrobnejšieMetódy násobenie v stredoveku
1 Lucia Pekarčíková História matematiky Metódy násobenia v stredoveku (Referát) Lucia Pekarčíková 1.roč. II.stupňa Mat Inf ÚVOD V dobe ranného stredoveku sa v Európe všeobecne nepoužíval abakus, nerobili
Podrobnejšie10.priklady Lukasiewicz and Zadeh
Cvični Cvični 9.. Zostrojt hrktristiké funki risp množín, ktoré rprzntujú intrvl rálnh čísl () (, ) I ( x) = ( x R) () 0, ) ( x 0, ) ) I ( x) 0 ( x (, 0 )) (), 0 (, 0) ( x, 0 (, 0) ) I ( x) 0 x, ) 0, 0,
Podrobnejšiegis5 prifuk
Úrovne implementácie vektorového GIS. Eva Mičietová Univerzita Komenského v Bratislave Prírodovedecká fakulta Katedra kartografie, geoinformatiky a diaľkového prieskumu zeme Email: miciet@fns.uniba.sk
PodrobnejšieKrátky popis k Solárnemu ohrievaciemu systému Solar Fox Air Collector Všeobecný popis: Solar Fox Air ohrievací systém je systém ktorý sa vyrába pod zn
Krátky popis k Solárnemu ohrievaciemu systému Solar Fox Air Collector Všeobecný popis: Solar Fox Air ohrievací systém je systém ktorý sa vyrába pod značkou Solar Fox, slúži na ventiláciu a vykurovanie
PodrobnejšieČísla Nájdite všetky dvojice prirodzených čísiel, ktoré vyhovujú rovnici: 2 ( a+ b) ( a b) + 2b ( a+ 2b) 2b = 49 RIEŠENIE ( ) ( ) ( ) 2 a+ b a
Čísla 9 89. Nájdite všetky dvojice prirodzených čísiel, ktoré vyhovujú rovnici: ( a+ b) ( a b) + b ( a+ b) b 9 ( ) ( ) ( ) a+ b a b + b a+ b b 9 ( a b ) + ab + b b 9 a b + ab + b 9 a + ab + b 9 a+ b 9
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šieOceňovanie amerických opcií p. 1/17 Oceňovanie amerických opcií Beáta Stehlíková Finančné deriváty, FMFI UK Bratislava
Oceňovanie amerických opcií p. 1/17 Oceňovanie amerických opcií Beáta Stehlíková Finančné deriváty, FMFI UK Bratislava Oceňovanie amerických opcií p. 2/17 Európske a americké typy derivátov Uvažujme put
Podrobnejšie