Ekvačná a kvantifikačná logika

Μέγεθος: px
Εμφάνιση ξεκινά από τη σελίδα:

Download "Ekvačná a kvantifikačná logika"

Transcript

1 a kvantifikačná 3. prednáška ( )

2 Prehľad 1 1 (dokončenie)

3 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 tabiel (soundness & completeness) T i A práve vtedy, keď T i A Sporom: Predpokladáme T i A a skonštruujeme interpretáciu M zo syntaktického materiálu (herbrandovskú) tak, aby = M i T, ale = M i A

4 ekvačnej do propozičnej Syntaktická redukcia T i A práve vtedy, keď T, Eq p A Sémantická redukcia T i A práve vtedy, keď T, Eq A,T p A T i A T i A T, Eq p A T, Eq p A

5 Prehľad 1 1 (dokončenie)

6 Termy ako v ekvačnej logike Formuly atomické: P i (τ 1,..., τ n ), ak τ 1,..., τ n sú termy a P i je predikátový symbol arity n propozičné:,, A 1, A 1 A, A 1 A, A 1 A, A 1 A, ak A 1 a A sú formuly kvantifikačné: existenčné: x A[x], všeobecné: x A[x], ak A[x] je formula, v ktorej sa môže vyskytovať objektová premenná x

7 Voľné a viazané premenné Premenná x je viazaná (bound) vo formulách x A[x] a x A[x] Premenné, ktoré nie sú viazané, sú voľné (free) z x = f (z) y(p(y, x) x y = g(x, x)) Dosadenie: Ak A[x] je formula, v ktorej sa môže vyskytovať premenná x, A[τ] vznikne dosadením termu τ za voľné výskyty x τ f f (7) z f f (7) = f (z) y(p(y, f f (7)) x y = g(x, x)) Formula bez voľných premenných sa nazýva veta (sentence)

8 Interpretácie a spĺňanie formúl Štruktúry a interpretácie ako v ekvačnej logike Relácia = M A: formula A je splnená (satisfied; tiež pravdivá) v interpretácii M pre atomické A ako = M i A = M x A[x] práve vtedy, keď = M A[y] platí pre aspoň jedno rozšírenie (expansion) M interpretácie M o intepretáciu novej premennej y = M x A[x] práve vtedy, keď = M A[y] platí pre všetky rozšírenia M interpretácie M o intepretáciu novej premennej y pre propozičné A ( A 1, A 1 A,... ) analogicky ako propozičná Interpretácia M spĺňa množinu formúl T ( = M T ) práve vtedy, keď pre všetky formuly A T platí = M A

9 ké vyplývanie a platné formuly Množina formúl S logicky vyplýva z množiny formúl T (S is a logical consequence of T ; T S) práve vtedy, keď v každej interpretácii M spĺňajúcej T platí = M A pre aspoň jedno A S Formula A je platná (valid; A), keď {A}, teda keď je A splnená v každej interpretácii

10 Tautológie, kvázitautológie a platné formuly Všetky tautológie sú kvázitautológiami ( p A = i A) Všetky kvázitautológie sú platnými formulami ( i A = A) Ale nie naopak! x = y y = x: kvázitautológia, ale nie tautológia Z pohľadu propozičnej sú atomické a kvantifikačné formuly propozičnými premennými x(a = b b = c) a = c: platná formula, ale nie kvázitautológia Z pohľadu ekvačnej sú kvantifikačné formuly propozičnými konštantami

11 ké vyplývanie T S má nasledujúce vlastnosti, ktoré nám umožnia saturovať množiny T a S. x A[x], T S práve vtedy, keď A[τ], x A[x], T S pre ľubovoľný term τ T x A[x], S práve vtedy, keď T A[τ], x A[x], S pre ľubovoľný term τ x A[x], T S práve vtedy, keď A[z], x A[x], T S pre novú premennú z (nie je voľná v T ani v S) T x A[x], S práve vtedy, keď T A[z], x A[x], S pre novú premennú z Všetky saturačné vlastnosti kvázitautologického a propozičného vyplývania

12 Tablové pravidlá pre Inštanciačné pravidlá (instantiation rules) x A[x] x A[x] ( ), A[τ] A[τ] ( ) pre ľubovoľný term τ Pravidlá s vlastnou premennou (eigen-variable rules) x A[x] x A[x] ( ), A[z] A[z] ( ), kde z je premenná, ktorá sa v table ešte nevyskytla voľná

13 Kvantifikačným pravidlám zodpovedajú kvantifikačné Inštanciačné x A[x] A[τ] A[τ] x A[x] pre ľubovoľný term τ Axiómy s vlastnými premennými dosvedčujúca (witnessing) x A[x] A[z] vlastná premenná z sa nazýva svedok (witness) kontrapríkladová A[z] x A[x] vlastná premenná z sa nazýva kontrapríklad (counterexample) pre vhodnú premennú z

14 Regulárne množiny axióm Požiadavky na vlastné premenné Vlastná premenná x A[x] A[z] sa nesmie vyskytovať v x A[x] Vlastná premenná A[z] x A[x] sa nesmie vyskytovať v x A[x] Všetky kvantifikačné použité v table musia tvoriť regulárnu množinu, teda je možné usporiadať ich do postupnosti Q 1, Q,..., Q n tak, že vlastná premenná Q i+1, i < n, sa nevyskytuje v žiadnej axióme Q j pre 1 j i

15 Význam axióm umožnia redukovať kvantifikačnú logiku do ekvačnej: T S práve vtedy, keď T, Q i S pre vhodne zvolenú množinu axióm Q

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 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í

Διαβάστε περισσότερα

5. kapitola Predikátová logika I Úvod do predikátovej logiky

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

Διαβάστε περισσότερα

Definícia parciálna derivácia funkcie podľa premennej x. Definícia parciálna derivácia funkcie podľa premennej y. Ak existuje limita.

Definícia parciálna derivácia funkcie podľa premennej x. Definícia parciálna derivácia funkcie podľa premennej y. Ak existuje limita. Teória prednáška č. 9 Deinícia parciálna deriácia nkcie podľa premennej Nech nkcia Ak eistje limita je deinoaná okolí bod [ ] lim. tak túto limit nazýame parciálno deriácio nkcie podľa premennej bode [

Διαβάστε περισσότερα

Matematika 2. časť: Funkcia viac premenných Letný semester 2013/2014

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

Διαβάστε περισσότερα

Vybrané partie z logiky

Vybrané partie z logiky FAKULTA MATEMATIKY, FYZIKY A INFORMATIKY UNIVERZITA KOMENSKÉHO Katedra informatiky Vybrané partie z logiky Eduard Toman Bratislava 2005 Obsah 1 Úvod 3 1.1 Jazyk logiky..................................

Διαβάστε περισσότερα

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

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

Διαβάστε περισσότερα

VLASTNÉ ČÍSLA A JORDANOV KANONICKÝ TVAR. Michal Zajac. 3 T b 1 = T b 2 = = = 2b

VLASTNÉ ČÍSLA A JORDANOV KANONICKÝ TVAR. Michal Zajac. 3 T b 1 = T b 2 = = = 2b VLASTNÉ ČÍSLA A JORDANOV KANONICKÝ TVAR Michal Zajac Vlastné čísla a vlastné vektory Pripomeňme najprv, že lineárny operátor T : L L je vzhl adom na bázu B = {b 1, b 2,, b n } lineárneho priestoru L určený

Διαβάστε περισσότερα

Úvod do lineárnej algebry. Monika Molnárová Prednášky

Ú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

Διαβάστε περισσότερα

Život vedca krajší od vysnívaného... s prírodou na hladine α R-P-R

Život vedca krajší od vysnívaného... s prírodou na hladine α R-P-R Život vedca krajší od vysnívaného... s prírodou na hladine α R-P-R Ako nadprirodzené stretnutie s murárikom červenokrídlym naformátovalo môj profesijný i súkromný život... Osudové stretnutie s murárikom

Διαβάστε περισσότερα

4. Výrokové funkcie (formy), ich definičný obor a obor pravdivosti

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

Διαβάστε περισσότερα

Matematická logika. Emília Draženská Helena Myšková

Matematická logika. Emília Draženská Helena Myšková Matematická logika Emília Draženská Helena Myšková Košice 2014 Recenzenti: RNDr. Ján Buša, CSc. RNDr. Daniela Kravecová, PhD. Tretie rozšírene a opravené vydanie Za odbornú stránku učebného textu zodpovedajú

Διαβάστε περισσότερα

Jednotkový koreň (unit root), diferencovanie časového radu, unit root testy

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

Διαβάστε περισσότερα

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. 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é

Διαβάστε περισσότερα

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Š. 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.........................................

Διαβάστε περισσότερα

Výroky, hypotézy, axiómy, definície a matematické vety

Výroky, hypotézy, axiómy, definície a matematické vety Výroky, hypotézy, axiómy, definície a matematické vety Výrok je každá oznamovacia veta (tvrdenie), o ktorej má zmysel uvažovať, či je pravdivá alebo nepravdivá. Výroky označujeme pomocou symbolov: A, B,

Διαβάστε περισσότερα

VLADIMÍR KVASNIČKA JIŘÍ POSPÍCHAL. Matematická logika

VLADIMÍR KVASNIČKA JIŘÍ POSPÍCHAL. Matematická logika VLADIMÍR KVASNIČKA JIŘÍ POSPÍCHAL Matematická logika Slovenská technická univerzita v Bratislave 2006 prof. Ing. Vladimír Kvasnička, DrSc., doc. RNDr. Jiří Pospíchal, DrSc. Lektori: doc. PhDr. Ján Šefránek,

Διαβάστε περισσότερα

6 Limita funkcie. 6.1 Myšlienka limity, interval bez bodu

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

Διαβάστε περισσότερα

Vektorový priestor V : Množina prvkov (vektory), na ktorej je definované ich sčítanie a ich

Vektorový priestor V : Množina prvkov (vektory), na ktorej je definované ich sčítanie a ich Tuesday 15 th January, 2013, 19:53 Základy tenzorového počtu M.Gintner Vektorový priestor V : Množina prvkov (vektory), na ktorej je definované ich sčítanie a ich násobenie reálnym číslom tak, že platí:

Διαβάστε περισσότερα

FUNKCIE N REÁLNYCH PREMENNÝCH

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

Διαβάστε περισσότερα

4 Reálna funkcia reálnej premennej a jej vlastnosti

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ý

Διαβάστε περισσότερα

Zadaci sa prethodnih prijemnih ispita iz matematike na Beogradskom univerzitetu

Zadaci sa prethodnih prijemnih ispita iz matematike na Beogradskom univerzitetu Zadaci sa prethodnih prijemnih ispita iz matematike na Beogradskom univerzitetu Trigonometrijske jednačine i nejednačine. Zadaci koji se rade bez upotrebe trigonometrijskih formula. 00. FF cos x sin x

Διαβάστε περισσότερα

Komplexné čísla, Diskrétna Fourierova transformácia 1

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é

Διαβάστε περισσότερα

PRIEMER DROTU d = 0,4-6,3 mm

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

Διαβάστε περισσότερα

DIFERENCÁLNE ROVNICE Matematická analýza (MAN 2c)

DIFERENCÁLNE ROVNICE Matematická analýza (MAN 2c) Prírodovedecká fakulta Univerzity P. J. Šafárika v Košiciach Božena Mihalíková, Ivan Mojsej Strana 1 z 43 DIFERENCÁLNE ROVNICE Matematická analýza (MAN 2c) 1 Obyčajné diferenciálne rovnice 3 1.1 Úlohy

Διαβάστε περισσότερα

Rozsah hodnotenia a spôsob výpočtu energetickej účinnosti rozvodu tepla

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

Διαβάστε περισσότερα

Automaty a formálne jazyky

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é

Διαβάστε περισσότερα

Algebra a diskrétna matematika

Algebra a diskrétna matematika Algebra a diskrétna matematika VLADIMÍR KVASNIČKA JIŘÍ POSPÍCHAL Algebra a diskrétna matematika Slovenská technická univerzita v Bratislave 008 prof. Ing. Vladimír Kvasnička, DrSc., prof. RNDr. Jiří Pospíchal,

Διαβάστε περισσότερα

Symbolická logika. Stanislav Krajči. Prírodovedecká fakulta

Symbolická logika. Stanislav Krajči. Prírodovedecká fakulta Symbolická logika Stanislav Krajči Prírodovedecká fakulta UPJŠ Košice 2008 Názov diela: Symbolická logika Autor: Doc. RNDr. Stanislav Krajči, PhD. Vydala: c UPJŠ Košice, 2008 Recenzovali: Doc. RNDr. Miroslav

Διαβάστε περισσότερα

Kontrolné otázky na kvíz z jednotiek fyzikálnych veličín. Upozornenie: Umiestnenie správnej a nesprávnych odpovedí sa môže v teste meniť.

Kontrolné otázky na kvíz z jednotiek fyzikálnych veličín. Upozornenie: Umiestnenie správnej a nesprávnych odpovedí sa môže v teste meniť. Kontrolné otázky na kvíz z jednotiek fyzikálnych veličín Upozornenie: Umiestnenie správnej a nesprávnych odpovedí sa môže v teste meniť. Ktoré fyzikálne jednotky zodpovedajú sústave SI: a) Dĺžka, čas,

Διαβάστε περισσότερα

Obyčajné diferenciálne rovnice

Obyčajné diferenciálne rovnice (ÚMV/MAN3b/10) RNDr. Ivan Mojsej, PhD ivan.mojsej@upjs.sk 14.3.2013 Úvod patria k najdôležitejším a najviac prepracovaným matematickým disciplínam. Nielen v minulosti, ale aj v súčastnosti predstavujú

Διαβάστε περισσότερα

Moderné vzdelávanie pre vedomostnú spoločnosť Projekt je spolufinancovaný zo zdrojov EÚ M A T E M A T I K A

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

Διαβάστε περισσότερα

ÚVOD DO MATEMATICKEJ LOGIKY Podporné učebné texty pre vyučovanie matematiky v 1.ročníku gymnázia

ÚVOD DO MATEMATICKEJ LOGIKY Podporné učebné texty pre vyučovanie matematiky v 1.ročníku gymnázia ÚVOD DO MATEMATICKEJ LOGIKY Podporné učebné texty pre vyučovanie matematiky v 1.ročníku gymnázia 1. VÝROKY Pod pojmom "výrok" rozumieme v bežnom živote čosi ako VÝsledok ROKovania ( napr. súdu, alebo komisie

Διαβάστε περισσότερα

zlomok poznatel nej časti skutočnosti. Robí tak prostredníctvom svojich pojmov (tento proces môžeme nazvat formalizácia), jej hlavnou úlohou je potom

zlomok poznatel nej časti skutočnosti. Robí tak prostredníctvom svojich pojmov (tento proces môžeme nazvat formalizácia), jej hlavnou úlohou je potom 0 Úvod 1 0 Úvod 0 Úvod 2 Matematika (a platí to vo všeobecnosti pre každú vedu) sa viac či menej úspešne pokúša zachytit istý zlomok poznatel nej časti skutočnosti. Robí tak prostredníctvom svojich pojmov

Διαβάστε περισσότερα

Obsah. 1.1 Reálne čísla a ich základné vlastnosti... 7 1.1.1 Komplexné čísla... 8

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.......................................

Διαβάστε περισσότερα

Vladimír Kvasnička. Úvod do logiky pre informatikov

Vladimír Kvasnička. Úvod do logiky pre informatikov Vladimír Kvasnička Úvod do logiky pre informatikov Ústav aplikovanej informatiky Fakulta informatiky a informačných technológií Slovenská technická univerzita v Bratislave 202 2 Úvod V tejto knihe, ktorá

Διαβάστε περισσότερα

MIDTERM (A) riešenia a bodovanie

MIDTERM (A) riešenia a bodovanie MIDTERM (A) riešenia a bodovanie 1. (7b) Nech vzhl adom na štandardnú karteziánsku sústavu súradníc S 1 := O, e 1, e 2 majú bod P a vektory u, v súradnice P = [0, 1], u = e 1, v = 2 e 2. Aký predpis bude

Διαβάστε περισσότερα

u R Pasívne prvky R, L, C v obvode striedavého prúdu Činný odpor R Napätie zdroja sa rovná úbytku napätia na činnom odpore.

u R Pasívne prvky R, L, C v obvode striedavého prúdu Činný odpor R Napätie zdroja sa rovná úbytku napätia na činnom odpore. Pasívne prvky, L, C v obvode stredavého prúdu Čnný odpor u u prebeh prúdu a napäta fázorový dagram prúdu a napäta u u /2 /2 t Napäte zdroja sa rovná úbytku napäta na čnnom odpore. Prúd je vo fáze s napätím.

Διαβάστε περισσότερα

MATEMATICKÁ ANALÝZA 1

MATEMATICKÁ ANALÝZA 1 UNIVERZITA PAVLA JOZEFA ŠAFÁRIKA V KOŠICIACH Prírodovedecká fakulta Ústav matematických vied Božena Mihalíková, Ján Ohriska MATEMATICKÁ ANALÝZA Vysokoškolský učebný text Košice, 202 202 doc. RNDr. Božena

Διαβάστε περισσότερα

2742/ 207/ /07.10.1999 «&»

2742/ 207/ /07.10.1999 «&» 2742/ 207/ /07.10.1999 «&» 1,,,. 2 1. :.,,,..,..,,. 2., :.,....,, ,,..,,..,,,,,..,,,,,..,,,,,,..,,......,,. 3., 1. ' 3 1.., : 1. T,, 2., 3. 2 4. 5. 6. 7. 8. 9..,,,,,,,,, 1 14. 2190/1994 ( 28 ),,..,, 4.,,,,

Διαβάστε περισσότερα

1-MAT-220 Algebra februára 2012

1-MAT-220 Algebra februára 2012 1-MAT-220 Algebra 1 12. februára 2012 Obsah 1 Grupy 3 1.1 Binárne operácie.................................. 3 1.2 Cayleyho veta.................................... 3 2 Faktorizácia 5 2.1 Relácie ekvivalencie

Διαβάστε περισσότερα

Termodynamika. Doplnkové materiály k prednáškam z Fyziky I pre SjF Dušan PUDIŠ (2008)

Termodynamika. Doplnkové materiály k prednáškam z Fyziky I pre SjF Dušan PUDIŠ (2008) ermodynamika nútorná energia lynov,. veta termodynamická, Izochorický dej, Izotermický dej, Izobarický dej, diabatický dej, Práca lynu ri termodynamických rocesoch, arnotov cyklus, Entroia Dolnkové materiály

Διαβάστε περισσότερα

Číslo a číslica. Pojem čísla je jedným zo základných pojmov matematiky. Číslo je abstraktná entita (fil. niečo existujúce) používaná na opis množstva.

Číslo a číslica. Pojem čísla je jedným zo základných pojmov matematiky. Číslo je abstraktná entita (fil. niečo existujúce) používaná na opis množstva. Číslo a číslica Pojem čísla je jedným zo základných pojmov matematiky. Číslo je abstraktná entita (fil. niečo existujúce) používaná na opis množstva. Číslica (cifra) je grafický znak, pomocou ktorého zapisujeme

Διαβάστε περισσότερα

M6: Model Hydraulický systém dvoch zásobníkov kvapaliny s interakciou

M6: Model Hydraulický systém dvoch zásobníkov kvapaliny s interakciou M6: Model Hydraulický ytém dvoch záobníkov kvapaliny interakciou Úlohy:. Zotavte matematický popi modelu Hydraulický ytém. Vytvorte imulačný model v jazyku: a. Matlab b. imulink 3. Linearizujte nelineárny

Διαβάστε περισσότερα

4. decembra decembra 2003 Teria grafov 1

4. decembra decembra 2003 Teria grafov 1 4. decembra 2003 19. decembra 2003 Teria grafov 1 9. Teória grafov Definícia. Obyčajný graf G je dvojica (V, E), kde V je množina vrcholov grafu G, E množina hrán grafu G je podmnožinou množiny ( V 2).

Διαβάστε περισσότερα

Ispitivanje toka i skiciranje grafika funkcija

Ispitivanje toka i skiciranje grafika funkcija Ispitivanje toka i skiciranje grafika funkcija Za skiciranje grafika funkcije potrebno je ispitati svako od sledećih svojstava: Oblast definisanosti: D f = { R f R}. Parnost, neparnost, periodičnost. 3

Διαβάστε περισσότερα

Zbierka úloh z VÝROKOVEJ LOGIKY

Zbierka úloh z VÝROKOVEJ LOGIKY Zbierka úloh z VÝROKOVEJ LOGIKY Martin Šrámek 0 OBSAH Úvod...2 Výrok...3 Výroková premenná...3 Logické spojky...4 Formula výrokovej logiky...4 Logická ekvivalencia...4 Tabuľková metóda riešenia úloh...4

Διαβάστε περισσότερα

ZÁPISKY Z MATEMATICKEJ ANALÝZY 1

ZÁPISKY Z MATEMATICKEJ ANALÝZY 1 UNIVERZITA PAVLA JOZEFA ŠAFÁRIKA V KOŠICIACH Prírodovedecká fakulta Ústav matematických vied 4 3 4 n 6 4 3 2 3 2 4 3 6 5 6 7 3 4 2 3 3/5 /2 2/5 /3 /4 /5 /0 d 0/ /0 /5 /4 /3 2/5 6 3 2 3 2 6 5 6 7 3 4 2

Διαβάστε περισσότερα

Predikátová logika II prirodzená dedukcia a sylogizmy. 6.1 Metóda prirodzenej dedukcie pre predikátovú logiku

Predikátová logika II prirodzená dedukcia a sylogizmy. 6.1 Metóda prirodzenej dedukcie pre predikátovú logiku 6. kapitola Predikátová logika II prirodzená dedukcia a sylogizmy 6.1 Metóda prirodzenej dedukcie pre predikátovú logiku Jednoduché rozšírenie metódy prirodzenej dedukcie pre predikátovú logiku uskutočníme

Διαβάστε περισσότερα

Úvod do diskrétnych matematických štruktúr. Daniel Olejár Martin Škoviera

Úvod do diskrétnych matematických štruktúr. Daniel Olejár Martin Škoviera Úvod do diskrétnych matematických štruktúr Daniel Olejár Martin Škoviera 24. augusta 2007 i This book was developed during the project Thematic Network 114046-CP-1-2004-1-BG- ERASMUS-TN c Daniel Olejár,

Διαβάστε περισσότερα

MATRICE I DETERMINANTE - formule i zadaci - (Matrice i determinante) 1 / 15

MATRICE I DETERMINANTE - formule i zadaci - (Matrice i determinante) 1 / 15 MATRICE I DETERMINANTE - formule i zadaci - (Matrice i determinante) 1 / 15 Matrice - osnovni pojmovi (Matrice i determinante) 2 / 15 (Matrice i determinante) 2 / 15 Matrice - osnovni pojmovi Matrica reda

Διαβάστε περισσότερα

Lineárne kódy. Ján Karabáš. Kódovanie ZS 13/14 KM FPV UMB. J. Karabáš (FPV UMB) Lineárne kódy Kodo ZS 13/14 1 / 19

Lineárne kódy. Ján Karabáš. Kódovanie ZS 13/14 KM FPV UMB. J. Karabáš (FPV UMB) Lineárne kódy Kodo ZS 13/14 1 / 19 Lineárne kódy Ján Karabáš KM FPV UMB Kódovanie ZS 13/14 J. Karabáš (FPV UMB) Lineárne kódy Kodo ZS 13/14 1 / 19 Algebraické štruktúry Grupy Grupa je algebraická štruktúra G = (G;, 1, e), spolu s binárnou

Διαβάστε περισσότερα

Učební texty k státní bakalářské zkoušce Matematika Vektorové prostory. študenti MFF 15. augusta 2008

Učební texty k státní bakalářské zkoušce Matematika Vektorové prostory. študenti MFF 15. augusta 2008 Učební texty k státní bakalářské zkoušce Matematika Vektorové prostory študenti MFF 15. augusta 2008 1 9 Vektorové priestory Požiadavky Základné vlastnosti vektorových priestorov, podpriestorov generovania,

Διαβάστε περισσότερα

Για να εμφανιστούν σωστά οι χαρακτήρες της Γραμμικής Β, πρέπει να κάνετε download και install τα fonts της Linear B που υπάρχουν στο τμήμα Downloads.

Για να εμφανιστούν σωστά οι χαρακτήρες της Γραμμικής Β, πρέπει να κάνετε download και install τα fonts της Linear B που υπάρχουν στο τμήμα Downloads. Για να εμφανιστούν σωστά οι χαρακτήρες της Γραμμικής Β, πρέπει να κάνετε download και install τα fonts της Linear B που υπάρχουν στο τμήμα Downloads. Η μυκηναϊκή Γραμμική Β γραφή ονομάστηκε έτσι από τον

Διαβάστε περισσότερα

(P.I.) PRETPOSTAVKA INDUKCIJE - pretpostavimo da tvrdnja vrijedi za n = k.

(P.I.) PRETPOSTAVKA INDUKCIJE - pretpostavimo da tvrdnja vrijedi za n = k. 1 3 Skupovi brojeva 3.1 Skup prirodnih brojeva - N N = {1, 2, 3,...} Aksiom matematičke indukcije Neka je N skup prirodnih brojeva i M podskup od N. Ako za M vrijede svojstva: 1) 1 M 2) n M (n + 1) M,

Διαβάστε περισσότερα

UNIVERZITA KOMENSKÉHO V BRATISLAVE FAKULTA MATEMATIKY, FYZIKY A INFORMATIKY DIPLOMOVÁ PRÁCA

UNIVERZITA KOMENSKÉHO V BRATISLAVE FAKULTA MATEMATIKY, FYZIKY A INFORMATIKY DIPLOMOVÁ PRÁCA UNIVERZITA KOMENSKÉHO V BRATISLAVE FAKULTA MATEMATIKY, FYZIKY A INFORMATIKY DIPLOMOVÁ PRÁCA Bratislava 2006 Petra Klenková UNIVERZITA KOMENSKÉHO V BRATISLAVE FAKULTA MATEMATIKY, FYZIKY A INFORMATIKY Katedra

Διαβάστε περισσότερα

Zrýchľovanie vesmíru. Zrýchľovanie vesmíru. o výprave na kraj vesmíru a čo tam astronómovia objavili

Zrýchľovanie vesmíru. Zrýchľovanie vesmíru. o výprave na kraj vesmíru a čo tam astronómovia objavili Zrýchľovanie vesmíru o výprave na kraj vesmíru a čo tam astronómovia objavili Zrýchľovanie vesmíru o výprave na kraj vesmíru a čo tam astronómovia objavili Zrýchľovanie vesmíru o výprave na kraj vesmíru

Διαβάστε περισσότερα

KURZ JAZYKA C učebný text pre kvartu a kvintu osemročného gymnázia

KURZ JAZYKA C učebný text pre kvartu a kvintu osemročného gymnázia Škola pre Mimoriadne Nadané Deti a Gymnázium, Teplická 7, 831 02 Bratislava Mgr. Anino BELAN KURZ JAZYKA C učebný text pre kvartu a kvintu osemročného gymnázia BRATISLAVA 2003 1 2 Obsah Úvod...4 Totálny

Διαβάστε περισσότερα

Dijagrami: Greda i konzola. Prosta greda. II. Dijagrami unutarnjih sila. 2. Popre nih sila TZ 3. Momenata savijanja My. 1. Uzdužnih sila N. 11.

Dijagrami: Greda i konzola. Prosta greda. II. Dijagrami unutarnjih sila. 2. Popre nih sila TZ 3. Momenata savijanja My. 1. Uzdužnih sila N. 11. Dijagrami:. Udužnih sia N Greda i konoa. Popre nih sia TZ 3. Momenata savijanja My. dio Prosta greda. Optere ena koncentriranom siom F I. Reaktivne sie:. M A = 0 R B F a = 0. M B = 0 R A F b = 0 3. F =

Διαβάστε περισσότερα

IZVODI ZADACI (I deo)

IZVODI ZADACI (I deo) IZVODI ZADACI (I deo) Najpre da se podsetimo tablice i osnovnih pravila:. C`=0. `=. ( )`= 4. ( n )`=n n-. (a )`=a lna 6. (e )`=e 7. (log a )`= 8. (ln)`= ` ln a (>0) 9. = ( 0) 0. `= (>0) (ovde je >0 i a

Διαβάστε περισσότερα

Riadenie elektrizačných sústav

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ý

Διαβάστε περισσότερα

radni nerecenzirani materijal za predavanja R(f) = {f(x) x D}

radni nerecenzirani materijal za predavanja R(f) = {f(x) x D} Matematika 1 Funkcije radni nerecenzirani materijal za predavanja Definicija 1. Neka su D i K bilo koja dva neprazna skupa. Postupak f koji svakom elementu x D pridružuje točno jedan element y K zovemo funkcija

Διαβάστε περισσότερα

Matematička logika. novembar 2012

Matematička logika. novembar 2012 Predikatska logika 1 Matematička logika Department of Mathematics and Informatics, Faculty of Science, University of Novi Sad, Serbia novembar 2012 1 različiti nazivi: predikatska logika, logika prvog

Διαβάστε περισσότερα

A Lambda Model Characterizing Computational Behaviours of Terms

A Lambda Model Characterizing Computational Behaviours of Terms A Lambda Model Characterizing Computational Behaviours of Terms joint paper with Silvia Ghilezan RPC 01, Sendai, October 26, 2001 1 Plan of the talk normalization properties inverse limit model Stone dualities

Διαβάστε περισσότερα

Modul pružnosti betónu

Modul pružnosti betónu f cm tan α = E cm 0,4f cm ε cl E = σ ε ε cul Modul pružnosti betónu α Autori: Stanislav Unčík Patrik Ševčík Modul pružnosti betónu Autori: Stanislav Unčík Patrik Ševčík Trnava 2008 Obsah 1 Úvod...7 2 Deformácie

Διαβάστε περισσότερα

KURZ JAZYKA C učebný text pre kvartu a kvintu osemročného gymnázia

KURZ JAZYKA C učebný text pre kvartu a kvintu osemročného gymnázia Škola pre Mimoriadne Nadané Deti a Gymnázium, Teplická 7, 831 02 Bratislava Anino BELAN KURZ JAZYKA C učebný text pre kvartu a kvintu osemročného gymnázia 2. vydanie BRATISLAVA 2003 2011 Copyright 2011,

Διαβάστε περισσότερα

KONVEKSNI SKUPOVI. Definicije: potprostor, afin skup, konveksan skup, konveksan konus. 1/5. Back FullScr

KONVEKSNI SKUPOVI. Definicije: potprostor, afin skup, konveksan skup, konveksan konus. 1/5. Back FullScr KONVEKSNI SKUPOVI Definicije: potprostor, afin skup, konveksan skup, konveksan konus. 1/5 KONVEKSNI SKUPOVI Definicije: potprostor, afin skup, konveksan skup, konveksan konus. 1/5 1. Neka su x, y R n,

Διαβάστε περισσότερα

Metodicko pedagogické centrum. Národný projekt VZDELÁVANÍM PEDAGOGICKÝCH ZAMESTNANCOV K INKLÚZII MARGINALIZOVANÝCH RÓMSKYCH KOMUNÍT

Metodicko pedagogické centrum. Národný projekt VZDELÁVANÍM PEDAGOGICKÝCH ZAMESTNANCOV K INKLÚZII MARGINALIZOVANÝCH RÓMSKYCH KOMUNÍT Moderné vzdelávanie pre vedomostnú spoločnosť / Projekt je spolufinancovaný zo zdrojov EÚ Kód ITMS: 26130130051 číslo zmluvy: OPV/24/2011 Metodicko pedagogické centrum Národný projekt VZDELÁVANÍM PEDAGOGICKÝCH

Διαβάστε περισσότερα

vyjadrujú spriahnutie agentov. Procesy môžu byť aj nekonečné, ale predpokladáme, že každý nekonečný proces možno opísať procesom typu (A) ω

vyjadrujú spriahnutie agentov. Procesy môžu byť aj nekonečné, ale predpokladáme, že každý nekonečný proces možno opísať procesom typu (A) ω C. Procesy vyjadrujú spriahnutie agentov. Procesy môžu byť aj nekonečné, ale predpokladáme, že každý nekonečný proces možno opísať procesom typu (A) ω Pre konečný proces existuje agent ktorý ho šecifikuje.

Διαβάστε περισσότερα

Odťahy spalín - všeobecne

Odťahy spalín - všeobecne Poznámky - všeobecne Príslušenstvo na spaliny je súčasťou osvedčenia CE. Z tohto dôvodu môže byť použité len originálne príslušenstvo na spaliny. Povrchová teplota na potrubí spalín sa nachádza pod 85

Διαβάστε περισσότερα

23. Zhodné zobrazenia

23. Zhodné zobrazenia 23. Zhodné zobrazenia Zhodné zobrazenie sa nazýva zhodné ak pre každé dva vzorové body X,Y a ich obrazy X,Y platí: X,Y = X,Y {Vzdialenosť vzorov sa rovná vzdialenosti obrazov} Medzi zhodné zobrazenia patria:

Διαβάστε περισσότερα

AerobTec Altis Micro

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

Διαβάστε περισσότερα

HANA LAURINCOVÁ KLASICKÝ VS. NEPARAMETRICKÝ PRÍSTUP Štatistika Poistná matematika

HANA LAURINCOVÁ KLASICKÝ VS. NEPARAMETRICKÝ PRÍSTUP Štatistika Poistná matematika UNIVERZITA KOMENSKÉHO, BRATISLAVA FAKULTA MATEMATIKY, FYZIKY A INFORMATIKY KATEDRA POISTNEJ MATEMATIKY A ŠTATISTIKY PARCIÁLNA A MNOHONÁSOBNÁ KORELÁCIA: KLASICKÝ VS. NEPARAMETRICKÝ PRÍSTUP (Bakalárska práca)

Διαβάστε περισσότερα

18. listopada listopada / 13

18. listopada listopada / 13 18. listopada 2016. 18. listopada 2016. 1 / 13 Neprekidne funkcije Važnu klasu funkcija tvore neprekidne funkcije. To su funkcije f kod kojih mala promjena u nezavisnoj varijabli x uzrokuje malu promjenu

Διαβάστε περισσότερα

e jθ = cos θ j sin θ(1.2)

e jθ = cos θ j sin θ(1.2) Πανεπιστήµιο Κρήτης - Τµήµα Επιστήµης Υπολογιστών Εφαρµοσµένα Μαθηµατικά για Μηχανικούς ιδάσκων : Α. Μουχτάρης Εφαρµοσµένα Μαθηµατικά για Μηχανικούς - Λύσεις ης Σειράς Ασκήσεων Ασκηση. Σχέσεις του Euler

Διαβάστε περισσότερα

τατιςτική ςτην Εκπαίδευςη II

τατιςτική ςτην Εκπαίδευςη II ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΣΙΑ ΠΑΝΕΠΙΣΗΜΙΟ ΚΡΗΣΗ τατιςτική ςτην Εκπαίδευςη II Αρχείο αποτελεςμάτων Διδάσκων: Μιχάλης Λιναρδάκης ΠΑΙΔΑΓΩΓΙΚΟ ΤΜΗΜΑ ΔΗΜΟΤΙΚΗΣ ΕΚΠΑΙΔΕΥΣΗΣ ΣΧΟΛΗ ΕΠΙΣΤΗΜΩΝ ΑΓΩΓΗΣ Άδειες Χρήσης Το παρόν

Διαβάστε περισσότερα

Technická univerzita v Košiciach. Zbierka riešených a neriešených úloh. z matematiky. pre uchádzačov o štúdium na TU v Košiciach

Technická univerzita v Košiciach. Zbierka riešených a neriešených úloh. z matematiky. pre uchádzačov o štúdium na TU v Košiciach Technická univerzita v Košiciach Zbierka riešených a neriešených úloh z matematiky pre uchádzačov o štúdium na TU v Košiciach Martin Bača Ján Buša Andrea Feňovčíková Zuzana Kimáková Denisa Olekšáková Štefan

Διαβάστε περισσότερα

7 Derivácia funkcie. 7.1 Motivácia k derivácii

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

Διαβάστε περισσότερα

Ján Buša Štefan Schrötter

Ján Buša Štefan Schrötter Ján Buša Štefan Schrötter 1 KOMPLEXNÉ ČÍSLA 1 1.1 Pojem komplexného čísla Väčšine z nás je známe, že druhá mocnina ľubovoľného reálneho čísla nemôže byť záporná (ináč povedané: pre každé x R je x 0). Ako

Διαβάστε περισσότερα

ZADANIE 1_ ÚLOHA 3_Všeobecná rovinná silová sústava ZADANIE 1 _ ÚLOHA 3

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

Διαβάστε περισσότερα

Výrazy a ich úpravy. -17x 6 : -17 koeficient; x premenná; 6 exponent premennej x. 23xy 3 z 5 = 23x 1 y 3 z 5 : 23 koeficient; x; y; z premenné;

Výrazy a ich úpravy. -17x 6 : -17 koeficient; x premenná; 6 exponent premennej x. 23xy 3 z 5 = 23x 1 y 3 z 5 : 23 koeficient; x; y; z premenné; Výrazy a ich úpravy Počtový výraz je matematický zápis, ktorým vyjadrujeme počtové operácie s číslami a poradie v akom majú byť prevedené. Napr.: ( (5 1,76)+5):0,4. Počtové výrazy sa pomenovávajú podľa

Διαβάστε περισσότερα

2007/ ročník MO Riešenia úloh domácej časti I. kola kategórie C

2007/ ročník MO Riešenia úloh domácej časti I. kola kategórie C 007/008 57. ročník MO Riešenia úloh domácej časti I. kola kategórie C. Určte najmenšie prirodzené číslo n, pre ktoré aj čísla n, n, 5 5n sú prirodzené. (Jaroslav Švrček) Riešenie. Vysvetlíme, prečo prvočíselný

Διαβάστε περισσότερα

XVIII. ročník BRKOS 2011/2012. Pomocný text. Kde by bola matematika bez čísel? Čísla predstavujú jednu z prvých abstrakcií, ktorú

XVIII. ročník BRKOS 2011/2012. Pomocný text. Kde by bola matematika bez čísel? Čísla predstavujú jednu z prvých abstrakcií, ktorú Pomocný text Číselné obory Číselné obory Kde by bola matematika bez čísel? Čísla predstavujú jednu z prvých abstrakcií, ktorú ľudia začali vnímať. Abstrakcia spočívala v tom, že množstvo, ktoré sa snažili

Διαβάστε περισσότερα

Zadání úloh. Úloha 4.1 Sirky. Úloha 4.2 Zvuk. (4b) (4b) Studentský matematicko-fyzikální časopis ročník IX číslo 4. Termín odeslání 24. 3.

Zadání úloh. Úloha 4.1 Sirky. Úloha 4.2 Zvuk. (4b) (4b) Studentský matematicko-fyzikální časopis ročník IX číslo 4. Termín odeslání 24. 3. Studentský matematicko-fyzikální časopis ročník IX číslo 4 Termín odeslání 24. 3. 2003 Milí kamarádi, jetunovéčíslonašehočasopisuasnímiprvníinformaceojarnímsoustředění.budesekonat3. 11.května2003vCelnémuTěchonínavokreseÚstí

Διαβάστε περισσότερα

Trapézové profily Lindab Coverline

Trapézové profily Lindab Coverline Trapézové profily Lindab Coverline Trapézové profily - produktová rada Rova Trapéz T-8 krycia šírka 1 135 mm Pozink 7,10 8,52 8,20 9,84 Polyester 25 μm 7,80 9,36 10,30 12,36 Trapéz T-12 krycia šírka 1

Διαβάστε περισσότερα

Katedra Informatiky Fakulta Matematiky, Fyziky a Informatiky Univerzita Komenského, Bratislava. Lucia Haviarová

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,

Διαβάστε περισσότερα

Akvizicija tereta. 5660t. Y= masa drva, X=masa cementa. Na brod će se ukrcati 1733 tona drva i 3927 tona cementa.

Akvizicija tereta. 5660t. Y= masa drva, X=masa cementa. Na brod će se ukrcati 1733 tona drva i 3927 tona cementa. Akvizicija tereta. Korisna nosivost broda je 6 t, a na brodu ia 8 cu. ft. prostora raspoloživog za sještaj tereta pod palubu. Navedeni brod treba krcati drvo i ceent, a na palubu ože aksialno ukrcati 34

Διαβάστε περισσότερα

ŠNEKÁČI mýty o přidávání CO2 založenie akvária Poecilia reticulata REPORTÁŽE

ŠNEKÁČI mýty o přidávání CO2 založenie akvária Poecilia reticulata REPORTÁŽE bulletin občianskeho združenia 2 /6.11.2006/ ŠNEKÁČI mýty o přidávání CO2 založenie akvária Poecilia reticulata REPORTÁŽE akvá ri um pr pree kre vet y, raky a krab y akva foto gr afi e Ji Jiřříí Plí š

Διαβάστε περισσότερα

PRÍPRAVNÝ KURZ ZO STREDOŠKOLSKEJ MATEMATIKY

PRÍPRAVNÝ KURZ ZO STREDOŠKOLSKEJ MATEMATIKY Moderné vzdelávanie pre vedomostnú spoločnosť/ Projekt je spolufinancovaný zo zdrojov EÚ PRÍPRAVNÝ KURZ ZO STREDOŠKOLSKEJ MATEMATIKY Strojnícka fakulta Andrea Feňovčíková Gabriela Ižaríková aaaa aaaa Táto

Διαβάστε περισσότερα

IspitivaƬe funkcija: 1. Oblast definisanosti funkcije (ili domen funkcije) D f

IspitivaƬe funkcija: 1. Oblast definisanosti funkcije (ili domen funkcije) D f IspitivaƬe funkcija: 1. Oblast definisanosti funkcije (ili domen funkcije) D f IspitivaƬe funkcija: 1. Oblast definisanosti funkcije (ili domen funkcije) D f 2. Nule i znak funkcije; presek sa y-osom IspitivaƬe

Διαβάστε περισσότερα

Nám z DBS manuál nestačí I. ( neoficiálne skriptá pre zimný semester Databázových systémov

Nám z DBS manuál nestačí I. ( neoficiálne skriptá pre zimný semester Databázových systémov Prírodovedecká fakulta UPJŠ Košice Nám z DBS manuál nestačí I. ( neoficiálne skriptá pre zimný semester Databázových systémov prednáša: RNDr. Stanislav Krajči, PhD. ) IMPRIMATUR Košice, 7. mája 2002 RNDr.

Διαβάστε περισσότερα

ΕΠΙΧΕΙΡΗΣΙΑΚΗ ΑΛΛΗΛΟΓΡΑΦΙΑ ΚΑΙ ΕΠΙΚΟΙΝΩΝΙΑ ΣΤΗΝ ΑΓΓΛΙΚΗ ΓΛΩΣΣΑ

ΕΠΙΧΕΙΡΗΣΙΑΚΗ ΑΛΛΗΛΟΓΡΑΦΙΑ ΚΑΙ ΕΠΙΚΟΙΝΩΝΙΑ ΣΤΗΝ ΑΓΓΛΙΚΗ ΓΛΩΣΣΑ Ανοικτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ιονίων Νήσων ΕΠΙΧΕΙΡΗΣΙΑΚΗ ΑΛΛΗΛΟΓΡΑΦΙΑ ΚΑΙ ΕΠΙΚΟΙΝΩΝΙΑ ΣΤΗΝ ΑΓΓΛΙΚΗ ΓΛΩΣΣΑ Ενότητα 1: Elements of Syntactic Structure Το περιεχόμενο του μαθήματος διατίθεται με άδεια

Διαβάστε περισσότερα

Jednotkový koreň (unit root), diferencovanie časového radu, unit root testy

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

Διαβάστε περισσότερα

Analytická geometria

Analytická geometria Analytická geometria Analytická geometria je oblasť matematiky, v ktorej sa študujú geometrické útvary a vzťahy medzi nimi pomocou ich analytických vyjadrení. Praktický význam analytického vyjadrenia je

Διαβάστε περισσότερα

Fakulta matematiky, fyziky a informatiky. Univerzita Komenského. Contents I. Úvod do problematiky numeriky 2

Fakulta matematiky, fyziky a informatiky. Univerzita Komenského. Contents I. Úvod do problematiky numeriky 2 NUMERICKÁ MATEMATIKA ročník Fakulta matematiky, fyziky a informatiky Univerzita Komenského Contents I Úvod do problematiky numeriky II Počítačová realizácia reálnych čísel 3 III Diferenčný počet 5 IV CORDIC

Διαβάστε περισσότερα

Ταξίδι Γενικά. Γενικά - Τα απαραίτητα. Γενικά - Συνομιλία. Możesz mi pomóc? [form.:] Może Pan(i) mi pomóc? Παράκληση για βοήθεια

Ταξίδι Γενικά. Γενικά - Τα απαραίτητα. Γενικά - Συνομιλία. Możesz mi pomóc? [form.:] Może Pan(i) mi pomóc? Παράκληση για βοήθεια - Τα απαραίτητα Możesz mi pomóc? [form.:] Może Pan(i) mi pomóc? Παράκληση για βοήθεια Czy mówisz po angielsku? [form.:] Czy mówi Pan(i) po angielsku? Ερώτηση σε πρόσωπο αν μιλά αγγλικά Czy mówisz po _

Διαβάστε περισσότερα

ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ ΤΜΗΜΑ ΕΠΙΣΤΗΜΗΣ ΥΠΟΛΟΓΙΣΤΩΝ ΓΛΩΣΣΕΣ ΚΑΙ ΜΕΤΑΦΡΑΣΤΕΣ ΗΥ340

ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ ΤΜΗΜΑ ΕΠΙΣΤΗΜΗΣ ΥΠΟΛΟΓΙΣΤΩΝ ΓΛΩΣΣΕΣ ΚΑΙ ΜΕΤΑΦΡΑΣΤΕΣ ΗΥ340 ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ ΤΜΗΜΑ ΕΠΙΣΤΗΜΗΣ ΥΠΟΛΟΓΙΣΤΩΝ ΓΛΩΣΣΕΣ ΚΑΙ ΜΕΤΑΦΡΑΣΤΕΣ ΗΥ340 ΕΑΡΙΝΟ ΕΞΑΜΗΝΟ 2008 ΔΙΔΑΣΚΩΝ: ΑΝΤΩΝΙΟΣ ΣΑΒΒΙΔΗΣ ΒΑΣΙΚΗ ΕΡΓΑΣΙΑ ΦΑΣΗ 2η από 5 Παράδοση: Πέμπτη 10 Απριλίου 2008, 24:00 (μεσάνυχτα)

Διαβάστε περισσότερα

Harmonizované technické špecifikácie Trieda GP - CS lv EN Pevnosť v tlaku 6 N/mm² EN Prídržnosť

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

Διαβάστε περισσότερα

Z O S I L Ň O V A Č FEARLESS SÉRIA D

Z O S I L Ň O V A Č FEARLESS SÉRIA D FEARLESS SÉRIA D FEARLESS SÉRIA D Fearless 5000 D Fearless 2200 D Fearless 4000 D Fearless 1000 D FEARLESS SÉRIA D Vlastnosti: do 2 ohmov Class-D, vysoko výkonný digitálny kanálový subwoofer, 5 kanálový

Διαβάστε περισσότερα

1. písomná práca z matematiky Skupina A. 1. písomná práca z matematiky Skupina B

1. písomná práca z matematiky Skupina A. 1. písomná práca z matematiky Skupina B . písoá pác z tetik Skpi A. Zjedodšte výz : ) z 8 ) c). Doplňte, pltil ovosť : ) ). Vpočítjte : ) ) c). Vpočítjte : ) ( ) ) v v v c). Upvte výz ovete spávosť výsledk pe : 6. Zostojte tojholík ABC, k c

Διαβάστε περισσότερα

Mate Vijuga: Rijeseni zadaci iz matematike za srednju skolu

Mate Vijuga: Rijeseni zadaci iz matematike za srednju skolu 7. KOMPLEKSNI BROJEVI 7. Opc pojmov Kompleksn brojev su sastavljen dva djela: Realnog djela (Re) magnarnog djela (Im) Promatrajmo broj a+ b = + 3 Realn do jednak je Re : Imagnarna jednca: = - l = (U elektrotehnc

Διαβάστε περισσότερα