Diszkrét matematika I.

Méret: px
Mutatás kezdődik a ... oldaltól:

Download "Diszkrét matematika I."

Átírás

1 Diszkrét matematika I. középszint ősz 1. Diszkrét matematika I. középszint 3. előadás Mérai László diái alapján Komputeralgebra Tanszék ősz

2 Relációk Diszkrét matematika I. középszint ősz 2. Relációk A relációk a függvényfogalom általánosításai;,,hagyományos függvények pontos definiálása;,,többértékű függvények kapcsolatot ír le =, <,, oszthatóság,...

3 Relációk Diszkrét matematika I. középszint ősz 3. Rendezett pár Adott x y és (x, y) rendezett pár esetén számít a sorrend: {x, y} = {y, x} (x, y) (y, x). Az (x, y) rendezett párt a {{x}, {x, y}} halmazzal definiáljuk. Az (x, y) rendezett pár esetén a x az első, az y a második koordináta. Az X, Y halmazok Descartes-szorzatán az X Y = {(x, y) : x X, y Y } rendezett párokból álló halmazt értjük.

4 Relációk Diszkrét matematika I. középszint ősz 4. Binér relációk Adott X, Y halmazok esetén az R X Y halmazokat binér (kétváltozós) relációknak nevezzük. Ha R binér reláció, akkor gyakran (x, y) R helyett xry-t írunk. 1. I X = {(x, x) X X : x X } az egyenlőség reláció. 2. {(x, y) Z Z : x y} az osztója reláció. 3. F halmazrendszer esetén az {(X, Y ) F F : X Y } a tartalmazás reláció. 4. Adott f : R R függvény esetén a függvény grafikonja {(x, f (x)) R R : x R}. Ha valamely X, Y halmazokra R X Y, akkor azt mondjuk, hogy R reláció X és Y között. Ha X = Y, akkor azt mondjuk, hogy R X -beli reláció (homogén binér reláció).

5 Relációk Diszkrét matematika I. középszint ősz 5. Relációk értelmezési tartománya, értékkészlete Ha R reláció X és Y között (R X Y ) és X X, Y Y, akkor R reláció X és Y között is! Az R X Y reláció értelmezési tartománya a értékkészlete dmn(r) = {x X y Y : (x, y) R}, rng(r) = {y Y x X : (x, y) R}. 1. Ha R = {(x, 1/x 2 ) : x R}, akkor dmn(r) = {x R : x 0}, rng(r) = {x R : x > 0}. 2. Ha R = {(1/x 2, x) : x R}, akkor dmn(r) = {x R : x > 0}, rng(r) = {x R : x 0}.

6 Relációk Diszkrét matematika I. középszint ősz 6. Relációk kitejesztése, leszűkítése, inverze Egy R binér relációt az S binér reláció kiterjesztésének, illetve S-et az R leszűkítésének (megszorításának) nevezzük, ha S R. Ha A egy halmaz, akkor az R reláció A-ra való leszűkítése (az A-ra való megszorítása) az R A = {(x, y) R : x A}. Legyen R = {(x, x 2 ) R R : x R}, S = {( x, x) R R : x R}. Ekkor R az S kiterjesztése, S az R leszűkítése, S = R R + 0 (ahol R + 0 a nemnegatív valós számok halmaza). Egy R binér reláció inverze az R 1 = {(y, x) : (x, y) R}. R 1 = {(x 2, x) R R : x R}, S 1 = {(x, x) R R : x R}

7 Relációk Diszkrét matematika I. középszint ősz 7. Halmaz képe, teljes inverz képe Legyen R X Y egy binér reláció, A egy halmaz. Az A halmaz képe az R(A) = {y Y x A : (x, y) R}. Adott B halmaz inverz képe, vagy teljes ősképe az R 1 (B), vagyis a B halmaz képe az R 1 reláció esetén. Legyen R = {(x 2, x) R R : x R}, S = {(x, x) R R : x R}. R({9}) = { 3, +3} (vagy röviden R(9) = { 3, +3}), S(9) = {+3}.

8 Relációk Diszkrét matematika I. középszint ősz 8. Legyen R reláció az X = {A, B, C,..., P} halmazon, és legyen T T, ha (T, T ) R. dmn(r) = {A, B, C, D, F, G, H, I, K}. rng(r) = {A, B, C, E, F, G, H, I, J, L}. R {A,B,C,D} = {(A, B), (B, C), (C, A), (D, E), (D, F )}.

9 Relációk Diszkrét matematika I. középszint ősz 9. Kompozíció Legyenek R és S binér relációk. Ekkor az R S kompozíció (összetétel, szorzat) reláció: R S = {(x, y) z : (x, z) S, (z, y) R}. Kompozíció esetén a relációkat,,jobbról-balra írjuk : Legyen R sin = {(x, y) R R : sin x = y}, Legyen S log = {(x, y) R R : log x = y}. Ekkor R sin S log = {(x, y) z : log x = z, sin z = y} R sin S log = {(x, y) R R : sin log x = y}.

10 Relációk Diszkrét matematika I. középszint ősz 10. Kompozíció R S = {(x, y) z : (x, z) S, (z, y) R} Legyen S, R két reláció, és tekintsük a T = R S kompozíciót:

11 Relációk Diszkrét matematika I. középszint ősz 11. Adott cég esetén legyenek A,B,..., J az alkalmazottak. A cég két projekten dolgozik: BANK, JÁTÉK. beosztás menedzser programozó tesztelő HR tech. dolgozó alkalmazott A, B C, D, E F, G, H I J projekt alkalmazott határidő BANK A, C, D, F JÁTÉK B, D, E, F, G, H Legyen B a beosztás reláció: például A B menedzser. Legyen P a projekt reláció: például A P BANK Legyen H a határidő reláció: például BANK H Kik dolgoznak a BANK projekten? P 1 (BANK). Kik a tesztelők? B 1 (tesztelő). Mi a BANK projekt határideje? H(BANK). Milyen határidejei vannak az alkalmazottaknak? H P. Milyen határidejei vannak a tesztelőknek? H P B 1 (tesztelő).

12 Relációk Diszkrét matematika I. középszint ősz 12. Kompozíció R S = {(x, y) z : (x, z) S, (z, y) R} Álĺıtás Legyen R, S, T binér reláció. Ekkor 1. Ha rng(s) dmn(r), akkor rng(r S) = rng(r). 2. R (S T ) = (R S) T (a kompozíció asszociatív). 3. (R S) 1 = S 1 R 1. Bizonyítás 1. rng(r) = {y z : (z, y) R}. Mivel rng(s) dmn(r), ezért minden (z, y) R esetén x : (x, z) S, így (x, y) R S. 2. R (S T ) = {(w, z) y : (w, y) S T, (y, z) R} = {(w, z) y x : (w, x) T, (x, y) S, (y, z) R} = (R S) T. 3. (R S) 1 = {(y, x) z : (x, z) S, (z, y) R} = {(y, x) z : (z, x) S 1, (y, z) R 1 } = S 1 R 1.

13 Relációk Diszkrét matematika I. középszint ősz 13. Relációk tulajdonságai Relációk: =, <,,,, T = {(x, y) : x, y R, x y < 1}. Legyen R reláció X -en. Ekkor azt mondjuk, hogy 1. R tranzitív, ha x, y, z X : (xry yrz) xrz;( =, <,,, ) 2. R szimmetrikus, ha x, y X : xry yrx; ( =, T ) 3. R antiszimmetrikus, ha x, y X : (xry yrx) x = y;( =,, ) 4. R szigorúan antiszimmetrikus, ha xry és yrx egyszerre nem teljesülhet; ( <) 5. R reflexív, ha x X : xrx; ( =,,,, T ) 6. R irreflexív, ha x X : xrx; ( <) 7. R trichotóm, ha x, y X esetén x = y, xry és yrx közül pontosan egy teljesül; ( <) 8. R dichotóm, ha x, y X esetén xry vagy yrx (esetleg mindkettő). ( )

14 Relációk Diszkrét matematika I. középszint ősz 14. Relációk tulajdonságai A reflexív, trichotóm, dichotóm tulajdonságok nem csak a relációtól függnek, hanem az alaphalmaztól is: Az {(x, x) R R, x R} R R C C mint R-en értelmezett reláció reflexív, de mint C-n értelmezett reláció nem reflexív. X X X a a a b b b c c c tranzitív X szigorúan antiszimmetrikus X trichotóm X szimmetrikus X reflexív X dichotóm X antiszimmetrikus irreflexív X

15 Relációk Diszkrét matematika I. középszint ősz 15. Relációk gráfja A relációk gráfját egyszerűsíthetjük: Ha egy reláció reflexív, akkor a hurokéleket nem rajzoljuk osztója reláció Ha egy reláció tranzitív, akkor elhagyjuk az olyan éleket, amelyek létezése a tranzitivitás miatt a már berajzolt élekből következik osztója reláció Ha egy reláció szimmetrikus, akkor irányított élek helyett csak éleket (vonalakat) rajzolunk mod3

16 Relációk Diszkrét matematika I. középszint ősz 16. Ekvivalenciareláció, osztályozások Legyen X egy halmaz, R reláció X -en. Az R relációt ekvivalenciarelációnak mondjuk, ha reflexív, szimmetrikus, tranzitív. 1. =; 2. z w, ha Re(z) = Re(w). Az X részhalmazainak egy O rendszerét az X osztályozásának nevezzük, ha O páronként diszjunkt nem-üres halmazokból álló halmazrendszer és O = X. 1. R egy osztályozása: { {a} : a R } ; 2. C egy osztályozása: { {z C : Re(z) = r} : r R }.

17 Relációk Diszkrét matematika I. középszint ősz 17. Ekvivalenciareláció, osztályozások Tétel Valamely X halmazon értelmezett ekvivalenciareláció esetén az x = {y X : y x} (x X ), ekvivalenciaosztályok X -nek egy osztályozását adják, ezt az osztályozást X / -mal jelöljük. Bizonyítás Legyen egy X -beli ekvivalenciareláció. Azt kell megmutatni, hogy X / = {x : x X } az X egy osztályozását adja. Mivel reflexív, így x x x x = X. Különböző ekvivalenciaosztályok páronként diszjunktak. Tfh x y, legyen z x y. Mivel z x z x, ahonnan a szimmetria miatt x z. Hasonlóan z y z y. A tranzitivitás miatt x z y x y x y. Hasonlóan y x x = y.

18 Relációk Diszkrét matematika I. középszint ősz 18. Ekvivalenciareláció, osztályozások Tétel Valamely X halmazon bármely O osztályozás esetén az R = {Y Y : Y O} reláció ekvivalenciareláció, amelyhez tartozó ekvivalenciaosztályok halmaza O. Bizonyítás R reflexív: legyen az x osztálya Y : x Y O. Ekkor (x, x) Y Y. R szimmetrikus: legyen az (x, y) R. Ekkor x, y Y valamely Y osztályra, speciálisan (y, x) Y Y. R tranzitív: hasonlóan legyen (x, y), (y, z) R, ezért x, y Y, y, z Y. Mivel az osztályok páronként diszjunktak, így Y = Y, speciálisan z Y, azaz (x, z) Y Y.

19 Relációk Diszkrét matematika I. középszint ősz 19. Ekvivalenciareláció, osztályozások Az ekvivalenciarelációk illetve osztályozások kölcsönösen egyértelműen meghatározzák egymást. = { {a} : a R } ; z w, ha Re(z) = Re(w) { {z C : Re(z) = r} : r R }. A síkon két egyenes legyen szerint relációban, ha párhuzamosak. Ekkor az osztályok az irány fogalomát adják. A síkon két szakasz legyen szerint relációban, ha egybevágóak. Ekkor az osztályok a hossz fogalomát adják. Két egész számpár esetén (r, s) (p, q) (s, q 0), ha r q = p s. Ekkor az osztályok a racionális számok halmaza.

20 Relációk Diszkrét matematika I. középszint ősz 20. Részbenrendezés, rendezés Az X halmazon értelmezett reflexív, tranzitív és antiszimmetrikus relációt részbenrendezésnek nevezzük. (Jele:,,... ) Ha x, y X esetén x y vagy y x, akkor x és y összehasonĺıtható. (Ha minden elempár összehasonĺıtható, akkor a reláció dichotóm.) Az X halmazon értelmezett reflexív, tranzitív, antiszimmetrikus és dichotóm relációt rendezésnek nevezzük. Ha egy részbenrendezés esetén bármely két elem összehasonĺıtható, akkor az rendezés. R-en a reláció rendezés: x, y R: x y vagy y x. N-en az (osztója) reláció részbenrendezés: 4 5, 5 4. Az X halmaz összes részhalmazán a reláció részbenrendezés X = {a, b, c}, {a} {b, c}, {b, c} {a}.

21 Relációk Diszkrét matematika I. középszint ősz 21. Szigorú és gyenge reláció Az X -beli R relációhoz tartozó szigorú reláció, az az S reláció, melyre xsy xry x y. Az X -beli R relációhoz tartozó gyenge reláció, az a T reláció, melyre xty xry x = y. Másképpen megfogalmazva: S = R \ I X, T = R I X, ahol I X = {(x, x) : x X }. relációhoz tartozó szigorú reláció: <. relációhoz tartozó szigorú reláció:. osztója relációhoz tartozó szigorú reláció: valódi osztója.

22 Relációk Diszkrét matematika I. középszint ősz 22. Szigorú és gyenge rendezés Az X halmazon értelmezett tranzitív és irreflexív relációt szigorú részbenrendezésnek nevezzük. (Jele: <,,... ) Megjegyzések A tranzitivitásból és az irreflexivitásból következik a szigorú antiszimmetria: ha x y és y x tranzitivitás miatt x x, ami ellentmondás. Egy részbenrendezés relációnak szigorú változata szigorú részbenrendezés, és fordítva: = \I X, = I X. Álĺıtás Ha a reláció rendezés, akkor trichotóm, és fordítva. Bizonyítás Kell: x = y, x y és y x egyszerre nem teljesülhet. Ha x = y, akkor igaz az álĺıtás. Továbbá x y és y x sem teljesülhet egyszerre.

23 Relációk Diszkrét matematika I. középszint ősz 23. Intervallumok Legyen X egy részbenrendezett halmaz. Ha x z és z y, akkor azt mondjuk, hogy z az x és y közé esik, ha x z és z y, akkor azt mondjuk, hogy z szigorúan az x és y közé esik. Az összes ilyen elem halmazát [x, y], ill. (x, y) jelöli. A [x, y), ill. (x, y] jelölések definíciója analóg. Legyen X az {a, b, c} halmaz hatványhalmaza a részhalmaz relációval. Ekkor [{a}, {a, b, c}] = { {a}, {a, b}, {a, c}, {a, b, c} } ; Ekkor ({a}, {a, b, c}) = { {a, b}, {a, c} }. Legyen X a pozitív egész számok halmaza az osztója relációval. Ekkor [2, 12] = { 2, 4, 6, 12 } ; Ekkor (2, 12) = { 4, 6 }.

24 Relációk Diszkrét matematika I. középszint ősz 24. Intervallumok Ha x y, de nem létezik szigorúan x és y közé eső elem, akkor x közvetlenül megelőzi y-t. Legyen X az {a, b, c} halmaz hatványhalmaza a részhalmaz relációval. Ekkor az {a} közvetlenül megelőzi {a, b}-t, illetve {a, c}-t. Legyen X a pozitív egész számok halmaza az osztója relációval. Ekkor 2 közvetlenül megelőzi a 4, 6, 10, 14 elemeket. Az {y X : y < x} részhalmazt az x elemhez tartozó kezdőszeletnek nevezzük. Legyen X az {a, b, c} halmaz hatványhalmaza a részhalmaz relációval. Ekkor az {a, b} elemhez tartozó kezdőszelet: {, {a}, {b} }.

25 Relációk Diszkrét matematika I. középszint ősz 25. Részbenrendezések Hasse-diagramja Ha egy részbenrendezett halmaz elemeit pontokkal ábrázoljuk, és csak azon (x, y) párok esetén rajzolunk irányított élt, amelyre x közvetlenül megelőzi y-t, akkor a részbenrendezett halmaz Hasse-diagramját kapjuk. Néha irányított élek helyett irányítatlan élt rajzolunk, és a kisebb elem kerül lejjebb

26 Relációk Diszkrét matematika I. középszint ősz 26. Legkisebb, legnagyobb, minimális, maximális elem Az X részbenrendezett halmaz legkisebb eleme: olyan x X : y X, x y; legnagyobb eleme: olyan x X : y X, y x; minimális eleme: olyan x X : y X, x y, y x; maximális eleme: olyan x X : y X, x y, x y. Legyen X = {1, 2,..., 8} az oszthatóságra: 8 legkisebb elem: 1, legnagyobb elem: nincs, minimális elem: 1, maximális elemek: 5, 6, 7,

27 Relációk Diszkrét matematika I. középszint ősz 27. Legkisebb, legnagyobb, minimális, maximális elem Megjegyzések Minimális és maximális elemből több is lehet. Ha a halmaz rendezett, akkor a minimális és legkisebb elem, továbbá a maximális és legnagyobb elem egybeesik. Ha X -nek létezik egyértelmű minimális, ill. maximális eleme, akkor azt min X, ill. max X jelöli. Legyen X = {1, 2,..., 8} az oszthatóságra: 8 min X = 1, max X nincs

28 Relációk Diszkrét matematika I. középszint ősz 28. Korlátok Egy X részbenrendezett halmaz x eleme az Y részhalmaz alsó korlátja, ha y Y : x y; felső korlátja, ha y Y : y x. Ha az alsó korlátok halmazában van legnagyobb elem, akkor ez az Y infimuma: inf Y, ha a felső korlátok halmazában van legkisebb elem, akkor ez az Y supremuma: sup Y. Legyen X = {1, 2,..., 8} az oszthatóságra: {1, 2, 3} alsó korlátja: 1, felső korlátja: 6, 8 infimuma: 1, supremuma: {2, 3, 4} alsó korlátja: 1, 5 felső korlátja: nincs, 2 infimuma: 1, supremuma: nincs

29 Relációk Diszkrét matematika I. középszint ősz 29. Korlátok Ha az X részbenrendezett halmaz bármely nem üres, felülről korlátos részhalmazának van supremuma, akkor felső határ tulajdonságúnak nevezzük, ha bármely nem üres, alulról korlátos részhalmazának van infimuma, akkor X -et alsó határ tulajdonságúnak nevezzük. A pozitív egész számok halmaza az oszthatóságra nézve alsó, és felső határ tulajdonságú: Ha Y = {a 1, a 2,... }, akkor inf Y = lnko(a 1, a 2,... ), felső határa lkkt(a 1, a 2,... ). A racionális számok halmaza a szokásos rendezésre nézve sem alsó, sem felső határ tulajdonságú: Y = {r Q : r 2} halmaznak van felső korlátja (pl.: 1000, 999, 2, 1, 42,... ), de nincs (racionális) supremuma (a supremum 2 Q lenne).

Nagy Gábor compalg.inf.elte.hu/ nagy

Nagy Gábor  compalg.inf.elte.hu/ nagy Diszkrét matematika 1. középszint 2017. ősz 1. Diszkrét matematika 1. középszint 5. előadás Nagy Gábor nagygabr@gmail.com nagy@compalg.inf.elte.hu compalg.inf.elte.hu/ nagy Mérai László diái alapján Komputeralgebra

Részletesebben

Diszkrét matematika I.

Diszkrét matematika I. Diszkrét matematika I. középszint 2013 ősz 1. Diszkrét matematika I. középszint 9. előadás Mérai László merai@compalg.inf.elte.hu compalg.inf.elte.hu/ merai Komputeralgebra Tanszék 2013 ősz Halmazok Diszkrét

Részletesebben

Diszkrét matematika 2. estis képzés

Diszkrét matematika 2. estis képzés Diszkrét matematika 2. estis képzés 2018. tavasz 1. Diszkrét matematika 2. estis képzés 1. előadás Nagy Gábor nagygabr@gmail.com nagy@compalg.inf.elte.hu compalg.inf.elte.hu/ nagy Mérai László diái alapján

Részletesebben

Nagy Gábor compalg.inf.elte.hu/ nagy

Nagy Gábor  compalg.inf.elte.hu/ nagy Diszkrét matematika 1. estis képzés 2017. ősz 1. Diszkrét matematika 1. estis képzés 11. előadás Nagy Gábor nagygabr@gmail.com nagy@compalg.inf.elte.hu compalg.inf.elte.hu/ nagy Mérai László diái alapján

Részletesebben

Diszkrét matematika 1. középszint

Diszkrét matematika 1. középszint Diszkrét matematika 1. középszint 2017. sz 1. Diszkrét matematika 1. középszint 3. el adás Nagy Gábor nagygabr@gmail.com nagy@compalg.inf.elte.hu compalg.inf.elte.hu/ nagy Mérai László diái alapján Komputeralgebra

Részletesebben

KOVÁCS BÉLA, MATEMATIKA I.

KOVÁCS BÉLA, MATEMATIKA I. KOVÁCS BÉLA, MATEmATIkA I. 3 III. MEGFELELTETÉSEk, RELÁCIÓk 1. BEVEZETÉS Emlékeztetünk arra, hogy az rendezett párok halmazát az és halmazok Descartes-féle szorzatának nevezzük. Más szóval az és halmazok

Részletesebben

1. Mondjon legalább három példát predikátumra. 4. Mikor van egy változó egy kvantor hatáskörében?

1. Mondjon legalább három példát predikátumra. 4. Mikor van egy változó egy kvantor hatáskörében? Definíciók, tételkimondások 1. Mondjon legalább három példát predikátumra. 2. Sorolja fel a logikai jeleket. 3. Milyen kvantorokat ismer? Mi a jelük? 4. Mikor van egy változó egy kvantor hatáskörében?

Részletesebben

Nagy Gábor compalg.inf.elte.hu/ nagy ősz

Nagy Gábor  compalg.inf.elte.hu/ nagy ősz Diszkrét matematika 1. középszint 2017. ősz 1. Diszkrét matematika 1. középszint 6. előadás Nagy Gábor nagygabr@gmail.com nagy@compalg.inf.elte.hu compalg.inf.elte.hu/ nagy Mérai László diái alapján Komputeralgebra

Részletesebben

1.1 Halmazelméleti fogalmak, jelölések

1.1 Halmazelméleti fogalmak, jelölések 1.1 Halmazelméleti fogalmak, jelölések Alapfogalmak (nem definiáljuk) Halmaz x eleme az A halmaznak x nem eleme A halmaznak Jelölések A,B,C, x A x A SiUDWODQ V]iRN Halmaz megadása: Elemeinek felsorolásával:

Részletesebben

Relációk Függvények. A diákon megjelenő szövegek és képek csak a szerző (Kocsis Imre, DE MFK) engedélyével használhatók fel!

Relációk Függvények. A diákon megjelenő szövegek és képek csak a szerző (Kocsis Imre, DE MFK) engedélyével használhatók fel! függvények RE 1 Relációk Függvények függvények RE 2 Definíció Ha A, B és ρ A B, akkor azt mondjuk, hogy ρ reláció A és B között, vagy azt, hogy ρ leképezés A-ból B-be. Ha speciálisan A=B, azaz ρ A A, akkor

Részletesebben

RE 1. Relációk Függvények. A diákon megjelenő szövegek és képek csak a szerző (Kocsis Imre, DE MFK) engedélyével használhatók fel!

RE 1. Relációk Függvények. A diákon megjelenő szövegek és képek csak a szerző (Kocsis Imre, DE MFK) engedélyével használhatók fel! RE 1 Relációk Függvények RE 2 Definíció: Ha A, B és ρ A B, akkor azt mondjuk, hogy ρ reláció A és B között, vagy azt, hogy ρ leképezés A-ból B-be. Ha speciálisan A=B, azaz ρ A A, akkor azt mondjuk, hogy

Részletesebben

Itt és a továbbiakban a számhalmazokra az alábbi jelöléseket használjuk:

Itt és a továbbiakban a számhalmazokra az alábbi jelöléseket használjuk: 1. Halmazok, relációk, függvények 1.A. Halmazok A halmaz bizonyos jól meghatározott dolgok (tárgyak, fogalmak), a halmaz elemeinek az összessége. Azt, hogy az a elem hozzátartozik az A halmazhoz így jelöljük:

Részletesebben

A relációelmélet alapjai

A relációelmélet alapjai A relációelmélet alapjai A reláció latin eredet szó, jelentése kapcsolat. A reláció, két vagy több nem feltétlenül különböz halmaz elemei közötti viszonyt, kapcsolatot fejez ki. A reláció értelmezése gráffal

Részletesebben

2014. szeptember 24. és 26. Dr. Vincze Szilvia

2014. szeptember 24. és 26. Dr. Vincze Szilvia 2014. szeptember 24. és 26. Dr. Vincze Szilvia Mind a hétköznapi, mind a tudományos életben gyakran előfordul, hogy bizonyos halmazok elemei között kapcsolat figyelhető meg. A kapcsolat fogalmának matematikai

Részletesebben

SZÁMÍTÁSTUDOMÁNY ALAPJAI

SZÁMÍTÁSTUDOMÁNY ALAPJAI SZÁMÍTÁSTUDOMÁNY ALAPJAI INBGM0101-17 Előadó: Dr. Mihálydeák Tamás Sándor Gyakorlatvezető: Kovács Zita 2017/2018. I. félév 2. gyakorlat Az alábbi összefüggések közül melyek érvényesek minden A, B halmaz

Részletesebben

Diszkrét matematika I.

Diszkrét matematika I. Diszkrét matematika I. középszint 2014. ősz 1. Diszkrét matematika I. középszint 5. előadás Mérai László diái alapján Komputeralgebra Tanszék 2014. ősz Számfogalom bővítése Diszkrét matematika I. középszint

Részletesebben

Mikor van egy változó egy kvantor hatáskörében? Milyen tulajdonságokkal rendelkezik a,,részhalmaz fogalom?

Mikor van egy változó egy kvantor hatáskörében? Milyen tulajdonságokkal rendelkezik a,,részhalmaz fogalom? Definíciók, tételkimondások Mondjon legalább három példát predikátumra. Sorolja fel a logikai jeleket. Milyen kvantorokat ismer? Mi a jelük? Hogyan kapjuk a logikai formulákat? Mikor van egy változó egy

Részletesebben

Nagy Gábor compalg.inf.elte.hu/ nagy ősz

Nagy Gábor  compalg.inf.elte.hu/ nagy ősz Diszkrét matematika 1. középszint 2016. ősz 1. Diszkrét matematika 1. középszint 6. előadás Nagy Gábor nagygabr@gmail.com nagy@compalg.inf.elte.hu compalg.inf.elte.hu/ nagy Mérai László diái alapján Komputeralgebra

Részletesebben

D(x, y) - x osztója y-nak

D(x, y) - x osztója y-nak 1. Mondjon legalább három példát predikátumra! P (x) - x prím M(x, y) - x merőleges y-ra E(x) - x egyenes D(x, y) - x osztója y-nak 2. Sorolja fel a logikai jeleket! - és (konjunkció) - vagy (diszjunkció)

Részletesebben

3. Venn-diagrammok használata nélkül bizonyítsuk be az alábbi összefüggéseket!

3. Venn-diagrammok használata nélkül bizonyítsuk be az alábbi összefüggéseket! Halmazelmélet Alapfogalmak Unió: A B = {x x A vagy x B}; metszet: A B = {x x A és x B}; különbség: A\B = A B = {x x A és x B}; komplementer: A = {x x A és x U} (itt U egy univerzum halmaz). Egyenlőség:

Részletesebben

HALMAZELMÉLET feladatsor 1.

HALMAZELMÉLET feladatsor 1. HALMAZELMÉLET feladatsor 1. Egy (H,, ) algebrai struktúra háló, ha (H, ) és (H, ) kommutatív félcsoport, és teljesül az ún. elnyelési tulajdonság: A, B H: A (A B) = A, A (A B) = A. A (H,, ) háló korlátos,

Részletesebben

Diszkrét matematika gyakorlat 1. ZH október 10. α csoport

Diszkrét matematika gyakorlat 1. ZH október 10. α csoport Diszkrét matematika gyakorlat 1. ZH 2016. október 10. α csoport 1. Feladat. (5 pont) Adja meg az α 1 β szorzatrelációt, amennyiben ahol A {1, 2, 3, 4}. α {(1, 2), (1, 3), (2, 1), (3, 1), (3, 4), (4, 4)}

Részletesebben

Diszkrét matematika I.

Diszkrét matematika I. EÖTVÖS LORÁND TUDOMÁNYEGYETEM - INFORMATIKAI KAR Diszkrét matematika I. Vizsgaanyag Cserép Máté 2009.01.20. A dokumentum a programtervező informatikus szak Diszkrét matematika I. kurzusának vizsgaanyagát

Részletesebben

4. Fuzzy relációk. Gépi intelligencia I. Fodor János NIMGI1MIEM BMF NIK IMRI

4. Fuzzy relációk. Gépi intelligencia I. Fodor János NIMGI1MIEM BMF NIK IMRI 4. Fuzzy relációk Gépi intelligencia I. Fodor János BMF NIK IMRI NIMGI1MIEM Tartalomjegyzék I 1 Klasszikus relációk Halmazok Descartes-szorzata Relációk 2 Fuzzy relációk Fuzzy relációk véges alaphalmazok

Részletesebben

1. előadás: Halmazelmélet, számfogalom, teljes

1. előadás: Halmazelmélet, számfogalom, teljes 1. előadás: Halmazelmélet, számfogalom, teljes indukció Szabó Szilárd Halmazok Halmaz: alapfogalom, bizonyos elemek (matematikai objektumok) összessége. Egy halmaz akkor adott, ha minden objektumról eldönthető,

Részletesebben

DISZKRÉT MATEMATIKA I. TÉTELEK

DISZKRÉT MATEMATIKA I. TÉTELEK DISZKRÉT MATEMATIKA I. TÉTELEK Szerkesztette: Bókay Csongor 2011 őszi félév Az esetleges hibákat kérlek a csongor@csongorbokay.com címen jelezd! Utolsó módosítás: 2012. január 16. Ez a Mű a Creative Commons

Részletesebben

4. Fogyasztói preferenciák elmélete

4. Fogyasztói preferenciák elmélete 4. Fogyasztói preferenciák elmélete (ld. Temesi J.: A döntéselmélet alapjai, 47-63) 4.1 Preferencia relációk Mit jelent a fogyasztó választása? Legyen X egy olyan halmaz amelynek az elemei azok a lehetőségek

Részletesebben

Halmaz: alapfogalom, bizonyos elemek (matematikai objektumok) Egy halmaz akkor adott, ha minden objektumról eldönthető, hogy

Halmaz: alapfogalom, bizonyos elemek (matematikai objektumok) Egy halmaz akkor adott, ha minden objektumról eldönthető, hogy 1. előadás: Halmazelmélet Szabó Szilárd Halmazok Halmaz: alapfogalom, bizonyos elemek (matematikai objektumok) összessége. Egy halmaz akkor adott, ha minden objektumról eldönthető, hogy hozzátartozik-e,

Részletesebben

Relációk. 1. Descartes-szorzat. 2. Relációk

Relációk. 1. Descartes-szorzat. 2. Relációk Relációk Descartes-szorzat. Relációk szorzata, inverze. Relációk tulajdonságai. Ekvivalenciareláció, osztályozás. Részbenrendezés, Hasse-diagram. 1. Descartes-szorzat 1. Deníció. Tetsz leges két a, b objektum

Részletesebben

A valós számok halmaza

A valós számok halmaza VA 1 A valós számok halmaza VA 2 A valós számok halmazának axiómarendszere és alapvető tulajdonságai Definíció Az R halmazt a valós számok halmazának nevezzük, ha teljesíti a következő axiómarendszerben

Részletesebben

DISZKRÉT MATEMATIKA RENDEZETT HALMAZOKKAL KAPCSOLATOS PÉLDÁK. Rendezett halmaz. (a, b) R a R b 1. Reflexív 2. Antiszimmetrikus 3.

DISZKRÉT MATEMATIKA RENDEZETT HALMAZOKKAL KAPCSOLATOS PÉLDÁK. Rendezett halmaz. (a, b) R a R b 1. Reflexív 2. Antiszimmetrikus 3. Rendezett halmaz R A x A rendezési reláció A-n, ha R Másképpen: (a, b) R a R b 1. Reflexív 2. Antiszimmetrikus 3. Tranzitív arb for (a, b) R. 1. a A ara 2. a,b A (arb bra a = b 3. a,b,c A (arb brc arc

Részletesebben

Halmazelmélet. 1. Jelenítsük meg Venn-diagrammon az alábbi halmazokat: a) b) c) 2. Milyen halmazokat határoznak meg az alábbi Venn-diagrammok?

Halmazelmélet. 1. Jelenítsük meg Venn-diagrammon az alábbi halmazokat: a) b) c) 2. Milyen halmazokat határoznak meg az alábbi Venn-diagrammok? Halmazelmélet Alapfogalmak Unió: ; metszet: ; különbség: ; komplementer: (itt U egy univerzum halmaz). Egyenlőség: két halmaz egyenlő, ha ugyanazok az elemeik. Ezzel ekvivalens, hogy. Tartalmazás: ; valódi

Részletesebben

Nagy Gábor compalg.inf.elte.hu/ nagy ősz

Nagy Gábor  compalg.inf.elte.hu/ nagy ősz Diszkrét matematika 1. középszint 2017. ősz 1. Diszkrét matematika 1. középszint 7. előadás Nagy Gábor nagygabr@gmail.com nagy@compalg.inf.elte.hu compalg.inf.elte.hu/ nagy Mérai László diái alapján Komputeralgebra

Részletesebben

BOOLE ALGEBRA Logika: A konjunkció és diszjunkció tulajdonságai

BOOLE ALGEBRA Logika: A konjunkció és diszjunkció tulajdonságai BOOLE ALGEBRA Logika: A konjunkció és diszjunkció tulajdonságai 1.a. A B B A 2.a. (A B) C A (B C) 3.a. A (A B) A 4.a. I A I 5.a. A (B C) (A B) (A C) 6.a. A A I 1.b. A B B A 2.b. (A B) C A (B C) 3.b. A

Részletesebben

Diszkrét matematika I.

Diszkrét matematika I. Diszkrét matematika I. - Vizsga anyag 1 EÖTVÖS LORÁND TUDOMÁNYEGYETEM INFORMATIKAI KAR Diszkrét matematika I. Vizsgaanyag Készítette: Nyilas Árpád Diszkrét matematika I. - Vizsga anyag 2 Bizonyítások 1)

Részletesebben

Mindent olyan egyszerűvé kell tenni, amennyire csak lehet, de nem egyszerűbbé.

Mindent olyan egyszerűvé kell tenni, amennyire csak lehet, de nem egyszerűbbé. HA 1 Mindent olyan egyszerűvé kell tenni, amennyire csak lehet, de nem egyszerűbbé. (Albert Einstein) HA 2 Halmazok HA 3 Megjegyzések A halmaz, az elem és az eleme fogalmakat nem definiáljuk, hanem alapfogalmaknak

Részletesebben

Klasszikus algebra előadás. Waldhauser Tamás április 28.

Klasszikus algebra előadás. Waldhauser Tamás április 28. Klasszikus algebra előadás Waldhauser Tamás 2014. április 28. 5. Számelmélet integritástartományokban Oszthatóság Mostantól R mindig tetszőleges integritástartományt jelöl. 5.1. Definíció. Azt mondjuk,

Részletesebben

R c AxB R = {(x,y ~x E A 1\Y EB 1\x+ y < 7}vagy rövidenxry. A={O,2, 5} ésb = {l, 3, 6,

R c AxB R = {(x,y ~x E A 1\Y EB 1\x+ y < 7}vagy rövidenxry. A={O,2, 5} ésb = {l, 3, 6, ~2- CJl- ",lot&v~ o.. ~qfo5 Binér (kételemu) reláció A szorzatha1mazfogalmának felhasználásával megadhatjuk a reláció matematikai fogalmát. A relác két vagy több halmaz Descartes-féle szorzatának valamilven

Részletesebben

Mindent olyan egyszerűvé kell tenni, amennyire csak lehet, de nem egyszerűbbé. (Albert Einstein) Halmazok 1

Mindent olyan egyszerűvé kell tenni, amennyire csak lehet, de nem egyszerűbbé. (Albert Einstein) Halmazok 1 Halmazok 1 Mindent olyan egyszerűvé kell tenni, amennyire csak lehet, de nem egyszerűbbé. (Albert Einstein) Halmazok 2 A fejezet legfontosabb elemei Halmaz megadási módjai Halmazok közti műveletek (metszet,

Részletesebben

Nagy Gábor compalg.inf.elte.hu/ nagy ősz

Nagy Gábor  compalg.inf.elte.hu/ nagy ősz Diszkrét matematika 1. középszint 2017. ősz 1. Diszkrét matematika 1. középszint 8. előadás Nagy Gábor nagygabr@gmail.com nagy@compalg.inf.elte.hu compalg.inf.elte.hu/ nagy Mérai László diái alapján Komputeralgebra

Részletesebben

Relációk. 1. Descartes-szorzat

Relációk. 1. Descartes-szorzat Relációk Descartes-szorzat. Relációk szorzata, inverze. Relációk tulajdonságai. Ekvivalenciareláció, osztályozás. Részbenrendezés, Hasse-diagram.. Descartes-szorzat A kurzuson már megtanultuk mik a halmazok

Részletesebben

Diszkrét matematika I.

Diszkrét matematika I. Diszkrét matematika I. középszint 2014. ősz 1. Diszkrét matematika I. középszint 8. előadás Mérai László diái alapján Komputeralgebra Tanszék 2014. ősz Elemi számelmélet Diszkrét matematika I. középszint

Részletesebben

Diszkrét matematika I.

Diszkrét matematika I. Diszkrét matematika I. középszint 2014. ősz 1. Diszkrét matematika I. középszint 2. előadás Mérai László diái alapján Komputeralgebra Tanszék 2014. ősz Matematikai logika Diszkrét matematika I. középszint

Részletesebben

Nagy Gábor compalg.inf.elte.hu/ nagy ősz

Nagy Gábor  compalg.inf.elte.hu/ nagy ősz Diszkrét matematika 1. középszint 2016. ősz 1. Diszkrét matematika 1. középszint 8. előadás Nagy Gábor nagygabr@gmail.com nagy@compalg.inf.elte.hu compalg.inf.elte.hu/ nagy Mérai László diái alapján Komputeralgebra

Részletesebben

A valós számok halmaza 5. I. rész MATEMATIKAI ANALÍZIS

A valós számok halmaza 5. I. rész MATEMATIKAI ANALÍZIS A valós számok halmaza 5 I rész MATEMATIKAI ANALÍZIS 6 A valós számok halmaza A valós számok halmaza 7 I A valós számok halmaza A valós számokra vonatkozó axiómák A matematika lépten-nyomon felhasználja

Részletesebben

DHARMA Initiative Diszkrét Matematika 1. DHARMA INITIATIVE

DHARMA Initiative Diszkrét Matematika 1. DHARMA INITIATIVE DHARMA INITIATIVE Diszkrét Matematika 1. Definíciók (középszint) E dokumentum az ELTE IK Diszkrét Matematika 1. 2010/2011-es vizsgájára készült. Az elkészítéshez a korábbi évek kidolgozott listáit használtuk.

Részletesebben

Térinformatikai algoritmusok Elemi algoritmusok

Térinformatikai algoritmusok Elemi algoritmusok Cserép Máté 2016. szeptember 14. Analóg programozásnak nevezzük azt, amikor egy feladat megoldásához egy már ismert és megoldott feladat megoldását használjuk fel. Általában nem pontosan ugyanazt a feladatot

Részletesebben

Az R halmazt a valós számok halmazának nevezzük, ha teljesíti az alábbi 3 axiómacsoport axiómáit.

Az R halmazt a valós számok halmazának nevezzük, ha teljesíti az alábbi 3 axiómacsoport axiómáit. 2. A VALÓS SZÁMOK 2.1 A valós számok aximómarendszere Az R halmazt a valós számok halmazának nevezzük, ha teljesíti az alábbi 3 axiómacsoport axiómáit. 1.Testaxiómák R-ben két művelet van értelmezve, az

Részletesebben

IV.A. Relációk Megoldások

IV.A. Relációk Megoldások IV.A. Relációk Megoldások 1. Az X X halmaz összes részhalma adja a megoldást, ezek a N YHWNH]N 0HOHP&HN{ 1HOHP&HN{ ( a ; },{ },{ },{ 2HOHP&ek: {( a ;, },{( a ;, },{( a ;, },{( a ;, }, {( a ;, }, {( b ;

Részletesebben

A fontosabb definíciók

A fontosabb definíciók A legfontosabb definíciókat jelöli. A fontosabb definíciók [Descartes szorzat] Az A és B halmazok Descartes szorzatán az A és B elemeiből képezett összes (a, b) a A, b B rendezett párok halmazát értjük,

Részletesebben

Halmazelméleti alapfogalmak

Halmazelméleti alapfogalmak Halmazelméleti alapfogalmak halmaz (sokaság) jól meghatározott, megkülönböztetett dolgok (tárgyak, fogalmak, stb.) összessége. - halmaz alapfogalom. z azt jelenti, hogy csak példákon keresztül magyarázzuk,

Részletesebben

DEFINICIÓK. Például a síkgeometriában predikátumok: ( egyenes ), ( pont ), ( illeszkedik - ra ).

DEFINICIÓK. Például a síkgeometriában predikátumok: ( egyenes ), ( pont ), ( illeszkedik - ra ). DEFINICIÓK 1. Mondjon legalább három példát predikátumra. Például a síkgeometriában predikátumok: ( egyenes ), ( pont ), ( illeszkedik - ra ). 2. Sorolja fel a logikai jeleket. A logikai formulák alkotóelemei:

Részletesebben

Diszkrét matematika 1. estis képzés

Diszkrét matematika 1. estis képzés Diszkrét matematika 1. estis képzés 2019. tavasz 1. Diszkrét matematika 1. estis képzés 9. előadás Nagy Gábor nagygabr@gmail.com nagy@compalg.inf.elte.hu compalg.inf.elte.hu/ nagy Mérai László diái alapján

Részletesebben

KOVÁCS BÉLA, MATEMATIKA I.

KOVÁCS BÉLA, MATEMATIKA I. KOVÁCS BÉLA, MATEmATIkA I. 4 IV. FÜGGVÉNYEk 1. LEkÉPEZÉSEk, függvények Definíció Legyen és két halmaz. Egy függvény -ből -ba egy olyan szabály, amely minden elemhez pontosan egy elemet rendel hozzá. Az

Részletesebben

Nagy Gábor compalg.inf.elte.hu/ nagy ősz

Nagy Gábor  compalg.inf.elte.hu/ nagy ősz Diszkrét matematika 1. középszint 2017. ősz 1. Diszkrét matematika 1. középszint 9. előadás Nagy Gábor nagygabr@gmail.com nagy@compalg.inf.elte.hu compalg.inf.elte.hu/ nagy Mérai László diái alapján Komputeralgebra

Részletesebben

Sorozatok határértéke SOROZAT FOGALMA, MEGADÁSA, ÁBRÁZOLÁSA; KORLÁTOS ÉS MONOTON SOROZATOK

Sorozatok határértéke SOROZAT FOGALMA, MEGADÁSA, ÁBRÁZOLÁSA; KORLÁTOS ÉS MONOTON SOROZATOK Sorozatok határértéke SOROZAT FOGALMA, MEGADÁSA, ÁBRÁZOLÁSA; KORLÁTOS ÉS MONOTON SOROZATOK Sorozat fogalma Definíció: Számsorozaton olyan függvényt értünk, amelynek értelmezési tartománya a pozitív egész

Részletesebben

Analízis I. beugró vizsgakérdések

Analízis I. beugró vizsgakérdések Analízis I. beugró vizsgakérdések Programtervező Informatikus szak 2008-2009. 2. félév Készítette: Szabó Zoltán SZZNACI.ELTE zotyo@bolyaimk.hu v1.7 Forrás: Dr. Weisz Ferenc: Prog. Mat. 2006-2007 definíciók

Részletesebben

Diszkrét matematika 2.C szakirány

Diszkrét matematika 2.C szakirány Diszkrét matematika 2.C szakirány 2017. tavasz 1. Diszkrét matematika 2.C szakirány 4. előadás Nagy Gábor nagygabr@gmail.com nagy@compalg.inf.elte.hu compalg.inf.elte.hu/ nagy Komputeralgebra Tanszék 2017.

Részletesebben

Analízis előadás és gyakorlat vázlat

Analízis előadás és gyakorlat vázlat Analízis előadás és gyakorlat vázlat Készült a PTE TTK GI szakos hallgatóinak Király Balázs 2010-11. I. Félév 2 1. fejezet Számhalmazok és tulajdonságaik 1.1. Nevezetes számhalmazok ➀ a) jelölése: N b)

Részletesebben

Sorozatok. 5. előadás. Farkas István. DE ATC Gazdaságelemzési és Statisztikai Tanszék. Sorozatok p. 1/2

Sorozatok. 5. előadás. Farkas István. DE ATC Gazdaságelemzési és Statisztikai Tanszék. Sorozatok p. 1/2 Sorozatok 5. előadás Farkas István DE ATC Gazdaságelemzési és Statisztikai Tanszék Sorozatok p. 1/2 A sorozat definíciója Definíció. A természetes számok halmazán értelmezett valós értékű a: N R függvényt

Részletesebben

Nagy Gábor compalg.inf.elte.hu/ nagy ősz

Nagy Gábor  compalg.inf.elte.hu/ nagy ősz Diszkrét matematika 1. estis képzés 017. ősz 1. Diszkrét matematika 1. estis képzés 4. előadás Nagy Gábor nagygabr@gmail.com nagy@compalg.inf.elte.hu compalg.inf.elte.hu/ nagy Mérai László diái alapján

Részletesebben

Minden x > 0 és y 0 valós számpárhoz létezik olyan n természetes szám, hogy y nx.

Minden x > 0 és y 0 valós számpárhoz létezik olyan n természetes szám, hogy y nx. 1. Archimedesz tétele. Minden x > 0 és y 0 valós számpárhoz létezik olyan n természetes szám, hogy y nx. Legyen y > 0, nx > y akkor és csak akkor ha n > b/a. Ekkor elég megmutatni, hogy létezik minden

Részletesebben

1. tétel Halmazok és halmazok számossága. Halmazműveletek és logikai műveletek kapcsolata.

1. tétel Halmazok és halmazok számossága. Halmazműveletek és logikai műveletek kapcsolata. 1. tétel Halmazok és halmazok számossága. Halmazműveletek és logikai műveletek kapcsolata. HLMZOK halmaz axiomatikus fogalom, nincs definíciója. benne van valami a halmazban szintén axiomatikus fogalom,

Részletesebben

Diszkrét matematika 2.C szakirány

Diszkrét matematika 2.C szakirány Diszkrét matematika 2.C szakirány 2015. tavasz 1. Diszkrét matematika 2.C szakirány 1. előadás Nagy Gábor nagygabr@gmail.com nagy@compalg.inf.elte.hu Komputeralgebra Tanszék 2015. tavasz Gráfelmélet Diszkrét

Részletesebben

DiMat II Végtelen halmazok

DiMat II Végtelen halmazok DiMat II Végtelen halmazok Czirbusz Sándor 2014. február 16. 1. fejezet A kiválasztási axióma. Ismétlés. 1. Deníció (Kiválasztási függvény) Legyen {X i, i I} nemüres halmazok egy indexelt családja. Egy

Részletesebben

Térinformatikai algoritmusok Elemi algoritmusok

Térinformatikai algoritmusok Elemi algoritmusok Cserép Máté Analóg programozásnak nevezzük azt, amikor egy feladat megoldásához egy már ismert és megoldott feladat megoldását használjuk fel. Általában nem pontosan ugyanazt a feladatot oldottuk meg korábban,

Részletesebben

A Matematika I. előadás részletes tematikája

A Matematika I. előadás részletes tematikája A Matematika I. előadás részletes tematikája 2005/6, I. félév 1. Halmazok és relációk 1.1 Műveletek halmazokkal Definíciók, fogalmak: halmaz, elem, üres halmaz, halmazok egyenlősége, részhalmaz, halmazok

Részletesebben

0-49 pont: elégtelen, pont: elégséges, pont: közepes, pont: jó, pont: jeles

0-49 pont: elégtelen, pont: elégséges, pont: közepes, pont: jó, pont: jeles Matematika szigorlat, Mérnök informatikus szak I. 2013. jan. 10. Név: Neptun kód: Idő: 180 perc Elm.: 1. f. 2. f. 3. f. 4. f. 5. f. Fel. össz.: Össz.: Oszt.: Az elérhető pontszám 40 (elmélet) + 60 (feladatok)

Részletesebben

Matematika B/1. Tartalomjegyzék. 1. Célkit zések. 2. Általános követelmények. 3. Rövid leírás. 4. Oktatási módszer. Biró Zsolt. 1.

Matematika B/1. Tartalomjegyzék. 1. Célkit zések. 2. Általános követelmények. 3. Rövid leírás. 4. Oktatási módszer. Biró Zsolt. 1. Matematika B/1 Biró Zsolt Tartalomjegyzék 1. Célkit zések 1 2. Általános követelmények 1 3. Rövid leírás 1 4. Oktatási módszer 1 5. Követelmények, pótlások 2 6. Program (el adás) 2 7. Program (gyakorlat)

Részletesebben

Készítettel: Szegedi Gábor (SZGRACI.ELTE)

Készítettel: Szegedi Gábor (SZGRACI.ELTE) Készítettel: Szegedi Gábor (SZGRACI.ELTE) http://people.inf.elte.hu/szgraci/egyetem Burcsi Péter tanár úr előadása alapján készült 2010-2011. őszi félév Logikai alapok Halmazelméleti alapfogalmak 1. Mondjon

Részletesebben

Diszkrét matematika I.

Diszkrét matematika I. Diszkrét matematika I. középszint 2013 ősz 1. Diszkrét matematika I. középszint 8. előadás Mérai László merai@compalg.inf.elte.hu compalg.inf.elte.hu/ merai Komputeralgebra Tanszék 2013 ősz Kombinatorika

Részletesebben

Leképezések. Leképezések tulajdonságai. Számosságok.

Leképezések. Leképezések tulajdonságai. Számosságok. Leképezések Leképezések tulajdonságai. Számosságok. 1. Leképezések tulajdonságai A továbbiakban legyen A és B két tetszőleges halmaz. Idézzünk fel néhány definíciót. 1. Definíció (Emlékeztető). Relációknak

Részletesebben

Halmazelmélet. 1. előadás. Farkas István. DE ATC Gazdaságelemzési és Statisztikai Tanszék. Halmazelmélet p. 1/1

Halmazelmélet. 1. előadás. Farkas István. DE ATC Gazdaságelemzési és Statisztikai Tanszék. Halmazelmélet p. 1/1 Halmazelmélet 1. előadás Farkas István DE ATC Gazdaságelemzési és Statisztikai Tanszék Halmazelmélet p. 1/1 A halmaz fogalma, jelölések A halmaz fogalmát a matematikában nem definiáljuk, tulajdonságaival

Részletesebben

Diszkrét matematika 2.C szakirány

Diszkrét matematika 2.C szakirány Diszkrét matematika 2.C szakirány 2017. ősz 1. Diszkrét matematika 2.C szakirány 2. előadás Nagy Gábor nagygabr@gmail.com nagy@compalg.inf.elte.hu compalg.inf.elte.hu/ nagy Komputeralgebra Tanszék 2017.

Részletesebben

Diszkrét matematika 2. estis képzés

Diszkrét matematika 2. estis képzés Diszkrét matematika 2. estis képzés 2018. tavasz 1. Diszkrét matematika 2. estis képzés 10. előadás Nagy Gábor nagygabr@gmail.com nagy@compalg.inf.elte.hu compalg.inf.elte.hu/ nagy Komputeralgebra Tanszék

Részletesebben

Egyenletek, egyenletrendszerek, egyenlőtlenségek Megoldások

Egyenletek, egyenletrendszerek, egyenlőtlenségek Megoldások ) Egyenletek, egyenletrendszerek, egyenlőtlenségek - megoldások Egyenletek, egyenletrendszerek, egyenlőtlenségek Megoldások a) Oldja meg a valós számok halmazán az alábbi egyenletet! = 6 (5 pont) b) Oldja

Részletesebben

Diszkrét matematika I. gyakorlat

Diszkrét matematika I. gyakorlat Vizsgafeladatok megoldása 2012. december 5. Tartalom Teljes feladatsor #1 1 Teljes feladatsor #1 2 Teljes feladatsor #2 3 Teljes feladatsor #3 4 Teljes feladatsor #4 5 Válogatott feladatok 6 Végső bölcsesség

Részletesebben

2012. október 2 és 4. Dr. Vincze Szilvia

2012. október 2 és 4. Dr. Vincze Szilvia 2012. október 2 és 4. Dr. Vincze Szilvia Tartalomjegyzék 1.) Az egyváltozós valós függvény fogalma, műveletek 2.) Zérushely, polinomok zérushelye 3.) Korlátosság 4.) Monotonitás 5.) Szélsőérték 6.) Konvex

Részletesebben

Analízis I. Vizsgatételsor

Analízis I. Vizsgatételsor Analízis I. Vizsgatételsor Programtervező Informatikus szak 2008-2009. 2. félév Készítette: Szabó Zoltán SZZNACI.ELTE zotyo@bolyaimk.hu v.0.6 RC 004 Forrás: Oláh Gábor: ANALÍZIS I.-II. VIZSGATÉTELSOR 2006-2007-/2

Részletesebben

2010. október 12. Dr. Vincze Szilvia

2010. október 12. Dr. Vincze Szilvia 2010. október 12. Dr. Vincze Szilvia Tartalomjegyzék 1.) Sorozat definíciója 2.) Sorozat megadása 3.) Sorozatok szemléltetése 4.) Műveletek sorozatokkal 5.) A sorozatok tulajdonságai 6.) A sorozatok határértékének

Részletesebben

Diszkrét matematika 2.

Diszkrét matematika 2. Diszkrét matematika 2. 2018. november 23. 1. Diszkrét matematika 2. 9. előadás Fancsali Szabolcs Levente nudniq@cs.elte.hu www.cs.elte.hu/ nudniq Komputeralgebra Tanszék 2018. november 23. Diszkrét matematika

Részletesebben

harmadik, javított kiadás

harmadik, javított kiadás Lajkó Károly Analízis I. harmadik, javított kiadás Debreceni Egyetem Matematikai és Informatikai Intézet 00 1 c Lajkó Károly lajko @ math.klte.hu Amennyiben hibát talál a jegyzetben, kérjük jelezze a szerzőnek!

Részletesebben

Bevezetés a matematikába 1. Definíciók, vizsgakérdések

Bevezetés a matematikába 1. Definíciók, vizsgakérdések Bevezet a matematikába 1 Definíciók, vizsgakérdek Tételek15 Mi lehet predikátumok értéke? Hogyan jelöljük?15 Mondjon legalább három példát predikátumra15 Sorolja fel a logikai jeleket15 Milyen kvantortokat

Részletesebben

Matematika alapjai; Feladatok

Matematika alapjai; Feladatok Matematika alapjai; Feladatok 1. Hét 1. Tekintsük a,, \ műveleteket. Melyek lesznek a.) kommutativok b.) asszociativak c.) disztributívak-e a, műveletek? Melyik melyikre? 2. Fejezzük ki a műveletet a \

Részletesebben

Diszkrét matematika 2.

Diszkrét matematika 2. Diszkrét matematika 2. 2018. szeptember 21. 1. Diszkrét matematika 2. 2. előadás Fancsali Szabolcs Levente nudniq@cs.elte.hu www.cs.elte.hu/ nudniq Komputeralgebra Tanszék 2018. szeptember 21. Gráfelmélet

Részletesebben

a) A logaritmus értelmezése alapján: x 8 0 ( x 2 2 vagy x 2 2) (1 pont) Egy szorzat értéke pontosan akkor 0, ha valamelyik szorzótényező 0.

a) A logaritmus értelmezése alapján: x 8 0 ( x 2 2 vagy x 2 2) (1 pont) Egy szorzat értéke pontosan akkor 0, ha valamelyik szorzótényező 0. MATEMATIKA ÉRETTSÉGI TÍPUSFELADATOK MEGOLDÁSAI EMELT SZINT Abszolútértékes és Gyökös kifejezések A szürkített hátterű feladatrészek nem tartoznak az érintett témakörhöz, azonban szolgálhatnak fontos információval

Részletesebben

MATEMATIKA I. JEGYZET 1. RÉSZ

MATEMATIKA I. JEGYZET 1. RÉSZ MATEMATIKA I. JEGYZET 1. RÉSZ KÉZI CSABA GÁBOR Date: today. 1 KÉZI CSABA GÁBOR 1. Logikai állítások, műveletek 1.1. Definíció. Matematikai értelemben állításnak nevezünk egy olyan kijelentést, melynek

Részletesebben

f(x) vagy f(x) a (x x 0 )-t használjuk. lim melyekre Mivel itt ɛ > 0 tetszőlegesen kicsi, így a a = 0, a = a, ami ellentmondás, bizonyítva

f(x) vagy f(x) a (x x 0 )-t használjuk. lim melyekre Mivel itt ɛ > 0 tetszőlegesen kicsi, így a a = 0, a = a, ami ellentmondás, bizonyítva 6. FÜGGVÉNYEK HATÁRÉRTÉKE ÉS FOLYTONOSSÁGA 6.1 Függvény határértéke Egy D R halmaz torlódási pontjainak halmazát D -vel fogjuk jelölni. Definíció. Legyen f : D R R és legyen x 0 D (a D halmaz torlódási

Részletesebben

Számelmélet. 1. Oszthatóság Prímszámok

Számelmélet. 1. Oszthatóság Prímszámok Számelmélet Legnagyobb közös osztó, Euklideszi algoritmus. Lineáris diofantoszi egyenletek. Számelméleti kongruenciák, kongruenciarendszerek. Euler-féle ϕ-függvény. 1. Oszthatóság 1. Definíció. Legyen

Részletesebben

Diszkrét matematika 2.C szakirány

Diszkrét matematika 2.C szakirány Diszkrét matematika 2.C szakirány 2015. ősz 1. Diszkrét matematika 2.C szakirány 3. előadás Nagy Gábor nagygabr@gmail.com nagy@compalg.inf.elte.hu compalg.inf.elte.hu/ nagy Komputeralgebra Tanszék 2015.

Részletesebben

1. tétel - Gráfok alapfogalmai

1. tétel - Gráfok alapfogalmai 1. tétel - Gráfok alapfogalmai 1. irányítatlan gráf fogalma A G (irányítatlan) gráf egy (Φ, E, V) hátmas, ahol E az élek halmaza, V a csúcsok (pontok) halmaza, Φ: E {V-beli rendezetlen párok} illeszkedési

Részletesebben

Dr. Vincze Szilvia;

Dr. Vincze Szilvia; 2014. szeptember 17. és 19. Dr. Vincze Szilvia; vincze@agr.unideb.hu https://portal.agr.unideb.hu/oktatok/drvinczeszilvia/oktatas/oktatott_targyak/index/index.html 2010/2011-es tanév I. féléves tematika

Részletesebben

Bevezetés a matematikába (2009. ősz) 1. röpdolgozat

Bevezetés a matematikába (2009. ősz) 1. röpdolgozat Bevezetés a matematikába (2009. ősz) 1. röpdolgozat 1. feladat. Fogalmazza meg a következő ítélet kontrapozícióját: Ha a sorozat csökkenő és alulról korlátos, akkor konvergens. 2. feladat. Vezessük be

Részletesebben

Diszkrét matematika 2. estis képzés

Diszkrét matematika 2. estis képzés Diszkrét matematika 2. estis képzés 2018. tavasz 1. Diszkrét matematika 2. estis képzés 4-6. előadás Nagy Gábor nagygabr@gmail.com nagy@compalg.inf.elte.hu compalg.inf.elte.hu/ nagy Komputeralgebra Tanszék

Részletesebben

Abszolútértékes és gyökös kifejezések Megoldások

Abszolútértékes és gyökös kifejezések Megoldások Abszolútértékes és gyökös kifejezések Megoldások ) Igazolja, hogy az alábbi négy egyenlet közül az a) és b) jelű egyenletnek pontosan egy megoldása van, a c) és d) jelű egyenletnek viszont nincs megoldása

Részletesebben

Integr alsz am ıt as. 1. r esz aprilis 12.

Integr alsz am ıt as. 1. r esz aprilis 12. Integrálszámítás. 1. rész. 2018. április 12. Területszámítás f : [a, b] IR + korlátos függvény. Mennyi a függvény grafikonja és az x tengely közti terület? Riemann integrál, ismétlés F: Az összes lehetséges

Részletesebben

Nagy Gábor compalg.inf.elte.hu/ nagy ősz

Nagy Gábor  compalg.inf.elte.hu/ nagy ősz Diszkrét matematika 1. középszint 2017. ősz 1. Diszkrét matematika 1. középszint 10. előadás Nagy Gábor nagygabr@gmail.com nagy@compalg.inf.elte.hu compalg.inf.elte.hu/ nagy Mérai László diái alapján Komputeralgebra

Részletesebben

Általános algebra. 1. Algebrai struktúra, izomorfizmus. 3. Kongruencia, faktoralgebra március Homomorfizmus, homomorfiatétel

Általános algebra. 1. Algebrai struktúra, izomorfizmus. 3. Kongruencia, faktoralgebra március Homomorfizmus, homomorfiatétel 1. Algebrai struktúra, izomorfizmus Általános algebra 2. Részalgebra, generálás 3. Kongruencia, faktoralgebra 2013 március 8. 4. Homomorfizmus, homomorfiatétel 1. Algebrai struktúra, izomorfizmus 2. Részalgebra,

Részletesebben

Diszkrét matematika 1. estis képzés. Komputeralgebra Tanszék ősz

Diszkrét matematika 1. estis képzés. Komputeralgebra Tanszék ősz Diszkrét matematika 1. estis képzés 2015. ősz 1. Diszkrét matematika 1. estis képzés 6. előadás Mérai László diái alapján Komputeralgebra Tanszék 2015. ősz Elemi számelmélet Diszkrét matematika 1. estis

Részletesebben

Példák ekvivalencia relációra (TÉTELként kell tudni ezeket zárthelyin, vizsgán):

Példák ekvivalencia relációra (TÉTELként kell tudni ezeket zárthelyin, vizsgán): F NIK INÁRIS RLÁIÓK INÁRIS RLÁIÓK (és hasonló mátrxok s tt!) Defnícó: z R bnárs relácó, ha R {( a, b) a, b } nárs relácók lehetséges tuladonsága:. Reflexív ha ( x,.(a). Szmmetrkus ha ( x, y) ( y,.(b).

Részletesebben