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

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

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

Átírás

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

2 Diszkrét matematika 1. középszint ősz 2. Moivre-azonosságok Tétel HF Legyen z, w C nemnulla komplex számok: z = z (cos ϕ + i sin ϕ), w = w (cos ψ + i sin ψ), és legyen n N. Ekkor zw = z w (cos(ϕ + ψ) + i sin(ϕ + ψ)); z w = z w (cos(ϕ ψ) + i sin(ϕ ψ)), ha w 0; z n = z n (cos nϕ + i sin nϕ). A szögek összeadódnak, kivonódnak, szorzódnak. Az argumentumot ezek után redukcióval kapjuk! Geometriai jelentés Egy z C komplex számmal való szorzás a komplex számsíkon mint nyújtva-forgatás hat. z -vel nyújt, arg(z) szöggel forgat.

3 Gyökvonás Diszkrét matematika 1. középszint ősz 3. A z = z (cos ϕ + i sin ϕ) és w = w (cos ψ + i sin ψ) trigonometrikus alakban megadott komplex számok pontosan akkor egyenlőek: z (cos ϕ + i sin ϕ) = w (cos ψ + i sin ψ), ha z = w ϕ = ψ + k 2π valamely k Z szám esetén. n-edik gyökvonás: Legyen z n = w: z n = z n (cos nϕ + i sin nϕ) = w (cos ψ + i sin ψ). Ekkor z n = w z = n w nϕ = ψ + k 2π valamely k Z esetén, vagyis: ϕ = ψ n + k 2π n valamely k Z esetén. Ha k {0, 1,..., n 1}, akkor ezek mind különböző komplex számot adnak.

4 Gyökvonás Diszkrét matematika 1. középszint ősz 4. Tétel Legyen z = z (cos ϕ + i sin ϕ), n N. Ekkor a z n-edik gyökei azok a w-k, amikre w n = z: w = n ( ( ϕ z cos n + 2kπ ) ( ϕ + i sin n n + 2kπ )) n k = 0, 1,..., n 1.

5 Gyökvonás Diszkrét matematika 1. középszint ősz 5. w = n ( ( ϕ z cos n + 2kπ ) ( ϕ + i sin n n + 2kπ )) : k = 0, 1,..., n 1. n Példa Számítsuk ki a 6 1 i 3+i értékét! 1 i = ( i ) 2 2 = 2 ( cos 7π 4 + i sin 7π 4 ( 3 ) 3 + i = i 1 2 = 2 ( cos π 6 + i sin ) π 6 Mivel 7π i π 6 = 19π 12, ezért: 3+i = ( cos 19π 19π 12 + i sin 12 ( cos 19π+24kπ 72 + i sin 19π+24kπ 72 = ) ) = ) : k = 0, 1,..., 5.

6 Komplex egységgyökök Diszkrét matematika 1. középszint ősz 6. Definíció Az ε n = 1 feltételnek eleget tevő komplex számok az n-edik egységgyökök: ( ε k = ε (n) k = cos 2kπ n + i sin 2kπ ) : k = 0, 1,..., n 1. n Nyolcadik komplex egységgyökök ε ε 2 3 ε 1 ε 4 ε 0 = 1 ε 5 ε 7 ε 6

7 Diszkrét matematika 1. középszint ősz 7. Gyökvonás Pozitív valós számok négyzetgyöke: legyen r > 0 valós szám, ekkor az x 2 = r megoldásai: ± r. Tétel Legyen z C nemnulla komplex szám. n N és w C olyan, hogy w n = z. Ekkor z n-edik gyökei feĺırhatóak a következő alakban: wε k : k = 0, 1,... n 1. Bizonyítás A wε k számok mind n-edik gyökök: (wε k ) n = w n ε n k = z 1 = z. Ez n különböző szám, így az összes gyököt megkaptuk.

8 Rend Diszkrét matematika 1. középszint ősz 8. Bizonyos komplex számok hatványai periodikusak ismétlődnek: 1, 1, 1,... 1, 1, 1, 1,... i, 1, i, 1, i, 1,... 1+i 2, i, 1+i 2, 1, 1 i, i, 1 i 2, 1, 1+i 2, i,... 2 Általában: cos( 2π n ) + i sin( 2π n )-nek n darab különböző hatványa van. Definíció Egy z komplex szám különböző (egész kitevős) hatványainak számát a z rendjének nevezzük és o(z)-vel jelöljük. Példa 1 rendje 1; 2 rendje : 2, 4, 8, 16,... ; 1 rendje 2: 1, 1; i rendje 4: 1, i, 1, i.

9 Diszkrét matematika 1. középszint ősz 9. Rend Tétel Egy z komplex számnak vagy bármely két egész kitevős hatványa különböző (ilyenkor a rendje végtelen), vagy pedig a hatványok a rend szerint periodikusan ismétlődnek. A rend a legkisebb olyan pozitív d szám, melyre z d = 1. Továbbá z k = z l o(z) k l. Speciálisan z k = 1 o(z) k. Bizonyítás Tegyük fel, hogy z rendje véges. Ekkor léteznek olyan k, l különböző egészek, melyekre z k = z l. Legyen k > l. Ekkor z k l = 1. Legyen d a legkisebb olyan pozitív szám, melyre z d = 1. Ha z n = 1, akkor osszuk el maradékosan n-et d-vel: n = q d + r, ahol 0 r < d. Tehát 1 = z n = z q d+r = (z d ) q z r = 1 q z r = z r. A d minimalitása miatt r = 0 azaz d n. Visszafelé is igaz: d n z n = 1. Beláttuk: d n z n = 1.

10 Diszkrét matematika 1. középszint ősz 10. Primitív gyökök Az n-edik egységgyökök rendje nem feltétlenül n: 4-edik egységgyökök: 1, i, 1, i. 1 rendje 1; 1 rendje 2; i rendje 4. Definíció Az n-ed rendű n-edik egységgyökök a primitív n-edik egységgyökök. A tétel következményei: Következmény(HF) Egy primitív n-edik egységgyök hatványai pontosan az n-edik egységgyökök. Egy primitív n-edik egységgyök pontosan akkor k-adik egységgyök, ha n k.

11 Primitív egységgyökök Diszkrét matematika 1. középszint ősz 11. Példa Primitív 1. egységgyök: 1; Primitív 2. egységgyök: 1; Primitív 3. egységgyökök: 1±i 3 2 ; Primitív 4. egységgyökök: ±i; Primitív 5. egységgyökök:... (HF) Primitív 6. egységgyökök: 1±i 3 2. Álĺıtás(HF) Egy cos ( ) ( 2kπ n + i sin 2kπ ) n n-edik egységgyök pontosan akkor primitív n-edik egységgyök, ha (n, k) = 1.

12 Diszkrét matematika 1. középszint ősz 12. Matematikai logika A logika a helyes következtetés tudománya. Alkalmazási területek: matematika; informatika; mesterséges intelligencia;... Példa Minden bogár rovar. tagadás: Van olyan bogár, ami nem rovar. Esik az eső, de meleg van, bár a nap is elbújt, és az idő is későre jár. tagadás:?

13 Axiomatikus módszer Diszkrét matematika 1. középszint ősz 13. A tudományok a valóság egy részének modellezésével foglalkoznak. Axiomatikus módszer: közismert, nem definiált fogalmakból (alapfogalmakból) és bizonyos feltevésekből (axiómákból) a logika szabályai szerint milyen következtetéseket vonunk le (milyen tételeket bizonyítunk). Példa Euklidészi geometria Alapfogalmak Axiómák pont, egyenes, párhuzamossági axióma, sík. Az axiomatikus módszer előnye: elég ellenőrizni az axiómák teljesülését....

14 Predikátumok Diszkrét matematika 1. középszint ősz 14. Definíció Predikátum: olyan változóktól függő definiálatlan alapfogalom, amelyhez a változóik értékétől függően valamilyen igazságérték tartozik: igaz (I, ), hamis (H, ), és a kettő egyidejűleg nem teljesül. Példa M(): Minden jogász hazudik. 0-változós, értéke: I. Sz(x): x egy szám. 1-változós, értéke: Sz(1)=I, SZ(h)=H. E(x): x egy egyenes. 1-változós. P(x): x egy pont. 1-változós. I (x, y): x illeszkedik y-ra. 2-változós. F (x, y): x az y férje. 2-változós. Gy(x, y, z): x az y és z gyermeke. 3-változós.

15 Logikai jelek Diszkrét matematika 1. középszint ősz 15. A predikátumokat logikai jelekkel tudjuk összekötni: Tagadás, jele: A. És, jele: A B Vagy, (megengedő), jele: A B. Ha..., akkor... (implikáció), jele: A B. Ekvivalencia, jele: A B. Igazságtáblázat A B A A B A B A B A B I I H I I I I I H H H I H H H I I H I I H H H I H H I I

16 Logikai jelek Diszkrét matematika 1. középszint ősz 16. A köznyelvben a vagy háromféle értelemmel bírhat: Megengedő vagy Átok reá ki gyávaságból vagy lomhaságból elmarad,... A B I H I I I H I H Kizáró vagy: Vagy bolondok vagyunk és elveszünk egy szálig, vagy ez a mi hitünk valóságra válik. A B I H I H I H I H Összeférhetetlen vagy: Iszik vagy vezet! A B I H I H I H I I

17 Logikai jelek Diszkrét matematika 1. középszint ősz 17. Az implikáció (A B) csak logikai összefüggést jelent és nem okozatit! A B I H I I H H I I Példa 2 2 = 4 i 2 = = 4 kedd van Hamis álĺıtásból minden következik: Példa 2 2 = 5 i 2 = 2 Adott logikai jel, más módon is kifejezhető: (A B) ( A B)

18 Diszkrét matematika 1. középszint ősz 18. A logikai műveletek tulajdonságai, ítéletlogikai tételek Álĺıtás 1 (A (B C)) ((A B) C), (A (B C)) ((A B) C) (asszociativitás); 2 (A B) (B A), (A B) (B A) (kommutativitás); 3 (A (B C)) ((A B) (A C)), (A (B C)) ((A B) (A C)) (disztributivitás); 4 ( (A B)) ( A B), ( (A B)) ( A B) (De Morgan); 5 (A B) ( B A) (a kontrapozíció tétele); 6 ((A B) A) B; 7 ((A B) (B C)) (A C) (szillogizmus); 8 ((A B) (B A)) (A B).

19 Diszkrét matematika 1. középszint ősz 19. A logikai műveletek tulajdonságai, ítéletlogikai tételek Bizonyítás (példa) 1 A (B C) (A B) C (a logikai vagy asszociativitása) A B C B C A (B C) A B (A B) C (A (B C)) ((A B) C) i i i i i i i i i h i i i i i i h i i i i i i i h h i i i h i i i i h i i i i i i h h h i i i i h i h i i i i i h h h h h h h i

20 Diszkrét matematika 1. középszint ősz 20. Kvantorok Kvantorok egzisztenciális kvantor: létezik, van olyan. univerzális kvantor: minden. Példa V (x): x veréb. M(x): x madár. Minden veréb madár. Van olyan madár, ami veréb. Minden veréb madár, de nem minden madár veréb. ( x(v (x) M(x))) ( x(m(x) V (x))). x(v (x) M(x)). x(m(x) V (x)).

21 Diszkrét matematika 1. középszint ősz 21. Formulák A formulák predikátumokból és logikai jelekből alkotott,,mondatok. Definíció(Formulák) A predikátumok a legegyszerűbb, ún. elemi formulák. Ha A, B két formula, akkor A, (A B), (A B), (A B), (A B) is formulák. Ha A egy formula és x egy változó, akkor ( xa) és ( xa) is formulák. Példa Minden veréb madár, de nem minden madár veréb. ( x(v (x) M(x))) ( x(m(x) V (x))). Ez egy formula. Ha nem okoz félreértést, a zárójelek elhagyhatóak.

22 Diszkrét matematika 1. középszint ősz 22. Zárt/ nyitott formulák Definíció Ha A egy formula és x egy változó, akkor ( xa) és ( xa) formulákban az x változó minden előfordulása az A formulában a kvantor hatáskörében van. Ha egy formulában a változó adott előfordulása egy kvantor hatáskörében van, akkor az előfordulás kötött, egyébként szabad. Ha egy formulában a változónak van szabad előfordulása, akkor a változó szabad változó, egyébként kötött változó. Ha egy formulának van szabad változója, akkor nyitott formula, egyébként zárt formula. Példa Gy(x, y): x gyereke y-nak. y Gy(x, y): x-nek létezik szülője.

23 Zárt/nyitott formulák Diszkrét matematika 1. középszint ősz 23. Példa E(x): x egy egyenes. P(x): x egy pont. I (x, y): x illeszkedik y-ra. E(x), P(x), I (x, y) (elemi) nyitott formulák. A(x, y) legyen E(x) P(y) I (x, y). Az x egyenes illeszkedik az y pontra. B(x, y) legyen P(x) P(y) (x = y). Az x és y pontok különbözőek. C(x) legyen y (E(x) P(y) I (x, y)). Van olyan y pont, ami illeszkedik az x egyenesre. Itt x szabad, y kötött változó. D() legyen x (E(x) y (E(x) P(y) I (x, y))). Minden x egyenes esetén van olyan y pont, ami illeszkedik az x egyenesre. Itt x, y kötött változó.

24 Diszkrét matematika 1. középszint ősz 24. Halmazok Halmazelméletben az alapvető fogalmak predikátumok, nem definiáljuk őket: A halmaz (rendszer, osztály, összesség,...) elemeinek gondolati burka. x A, ha az x eleme az A halmaznak. A halmazok alapvető tulajdonságai axiómák, nem bizonyítjuk őket. Példa: Meghatározottsági axióma Egy halmazt az elemei egyértelműen meghatároznak. Két halmaz pontosan akkor egyenlő, ha ugyanazok az elemeik. Egy halmaznak egy elem csak egyszer lehet eleme.

25 Diszkrét matematika 1. középszint ősz 25. Halmazok Részhalmazok Definíció Az A halmaz részhalmaza a B halmaznak: A B, ha x(x A x B). Ha A B-nek, de A B, akkor A valódi részhalmaza B-nek: A B. A részhalmazok tulajdonságai: Álĺıtás (Biz. HF) 1 A A A (reflexivitás). 2 A, B, C (A B B C) A C (tranzitivitás). 3 A, B (A B B A) A = B (antiszimmetria). Halmazok egyenlősége egy további tulajdonságot is teljesít: 3. A, B A = B B = A (szimmetria).

26 Diszkrét matematika 1. középszint ősz 26. Halmazok Definíció A halmaz és F(x) formula esetén {x A : F(x)} = {x A F(x)} halmaz elemei pontosan azon elemei A-nak, melyre F(x) igaz. Példa {z C : Im(z) = 0}: valós számok halmaza. {z C : n N z n = 1}: komplex egységgyökök.

27 Halmazok Diszkrét matematika 1. középszint ősz 27. Speciális halmazok Üres halmaz Annak a halmaznak, melynek nincs eleme a jele:. A meghatározottsági axióma alapján ez egyértelmű. A A halmaz A Halmaz megadása elemei felsorolásával. Annak a halmaznak, melynek csak az a elem az eleme a jelölése: {a}. Annak a halmaznak, melynek pontosan az a és b az elemei a jelölése: {a, b},... Speciálisan = {}, illetve, ha a = b, akkor {a} = {a, b} = {b}.

28 Műveletek halmazokkal Diszkrét matematika 1. középszint ősz 28. Definíció Az A és B halmazok uniója: A B az a halmaz, mely pontosan az A és a B elemeit tartalmazza. Általában: Legyen A egy olyan halmaz, melynek az elemei is halmazok (halmazrendszer). Ekkor A = {A : A A} = A A A az a halmaz, mely az A összes elemének elemét tartalmazza. Speciálisan: A B = {A, B}. Példa {a, b, c} {b, c, d} = {a, b, c, d} {z C : 0 < arg(z) π 2 } {z C : π 2 = {z C : Im(z) > 0} < arg(z) < π} =

29 Diszkrét matematika 1. középszint ősz 29. Műveletek halmazokkal(az unió tulajdonságai) Álĺıtás 1 A = A 2 A (B C) = (A B) C (asszociativitás) 3 A B = B A (kommutativitás) 4 A A = A (idempotencia) 5 A B A B = B Bizonyítás 1. Egy x pontosan akkor eleme mindkét oldalnak, ha x A. 2. x (A (B C)) (x A) (x (B C)) (x A) ((x B) (x C)) ((x A) (x B)) (x C) (x (A B)) (x C) x ((A B) C) 3-as, 4-es hasonló. 5. : A B A B B, de A B B mindig teljesül, így A B = B. : Ha A B = B, akkor A minden eleme eleme B-nek.

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 017. ősz 1. Diszkrét matematika 1. középszint. 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 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

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

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

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 2017. ősz 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

Diszkrét matematika 1.

Diszkrét matematika 1. Diszkrét matematika 1. Nagy Gábor nagy@compalg.inf.elte.hu nagygabr@gmail.com ELTE IK Komputeralgebra Tanszék 014. ősz 014-15 őszi félév Gyakorlat: 1. ZH tervezett időpontja: október 1.,. ZH tervezett

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

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 016. ősz 1. Diszkrét matematika 1. középszint 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 Komputeralgebra

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

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 2017. ősz 1. Diszkrét matematika 1. estis képzés 2. 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

Matematikai logika és halmazelmélet

Matematikai logika és halmazelmélet Matematikai logika és halmazelmélet Wettl Ferenc előadása alapján 2015-09-07 Wettl Ferenc előadása alapján Matematikai logika és halmazelmélet 2015-09-07 1 / 21 Tartalom 1 Matematikai kijelentések szerkezete

Részletesebben

Komplex számok. Wettl Ferenc előadása alapján Wettl Ferenc előadása alapján Komplex számok / 18

Komplex számok. Wettl Ferenc előadása alapján Wettl Ferenc előadása alapján Komplex számok / 18 Komplex számok Wettl Ferenc előadása alapján 2015.09.23. Wettl Ferenc előadása alapján Komplex számok 2015.09.23. 1 / 18 Tartalom 1 Számok A számfogalom bővülése 2 Algebrai alak Trigonometrikus alak Egységgyökök

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

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

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

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

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

Részletesebben

A matematika nyelvér l bevezetés

A matematika nyelvér l bevezetés A matematika nyelvér l bevezetés Wettl Ferenc 2012-09-06 Wettl Ferenc () A matematika nyelvér l bevezetés 2012-09-06 1 / 19 Tartalom 1 Matematika Matematikai kijelentések 2 Logikai m veletek Állítások

Részletesebben

Komplex számok. (a, b) + (c, d) := (a + c, b + d)

Komplex számok. (a, b) + (c, d) := (a + c, b + d) Komplex számok Definíció. Komplex számoknak nevezzük a valós számokból képzett rendezett (a, b) számpárok halmazát, ha közöttük az összeadást és a szorzást következőképpen értelmezzük: (a, b) + (c, d)

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

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

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

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

Kalkulus. Komplex számok

Kalkulus. Komplex számok Komplex számok Komplex számsík A komplex számok a valós számok természetes kiterjesztése, annak érdekében, hogy a gyökvonás művelete elvégezhető legyen a negatív számok körében is. Vegyük tehát hozzá az

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 7. előadás Nagy Gábor nagygabr@gmail.com nagy@compalg.inf.elte.hu compalg.inf.elte.hu/ nagy Komputeralgebra Tanszék

Részletesebben

A matematika nyelvéről bevezetés

A matematika nyelvéről bevezetés A matematika nyelvéről bevezetés Wettl Ferenc 2006. szeptember 19. Wettl Ferenc () A matematika nyelvéről bevezetés 2006. szeptember 19. 1 / 17 Tartalom 1 Matematika Kijelentő mondatok Matematikai kijelentések

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

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

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

1. A matematikai logika alapfogalmai. 2. A matematikai logika műveletei

1. A matematikai logika alapfogalmai. 2. A matematikai logika műveletei 1. A matematikai logika alapfogalmai Megjegyzések: a) A logikában az állítás (kijelentés), valamint annak igaz vagy hamis voltát alapfogalomnak tekintjük, nem definiáljuk. b) Minden állítással kapcsolatban

Részletesebben

Logika és informatikai alkalmazásai

Logika és informatikai alkalmazásai Logika és informatikai alkalmazásai 4. gyakorlat Németh L. Zoltán http://www.inf.u-szeged.hu/~zlnemeth SZTE, Informatikai Tanszékcsoport 2011 tavasz Irodalom Szükséges elmélet a mai gyakorlathoz Előadás

Részletesebben

Logika és informatikai alkalmazásai

Logika és informatikai alkalmazásai Logika és informatikai alkalmazásai 4. gyakorlat Németh L. Zoltán http://www.inf.u-szeged.hu/~zlnemeth SZTE, Informatikai Tanszékcsoport 2011 tavasz Irodalom Szükséges elmélet a mai gyakorlathoz Előadás

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

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

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. Komplex számok. x 2 = 1 és x 2 + x + 1 = 0. egyenletek megoldását számnak tekinthessük:

1. Komplex számok. x 2 = 1 és x 2 + x + 1 = 0. egyenletek megoldását számnak tekinthessük: . Komplex számok A valós számok és a számegyenes pontjai között kölcsönösen egyértelmű megfeleltetés létesíthető. A számfogalom a számegyenes pontjainak körében nem bővíthető tovább. A számfogalom bővítését

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

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

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

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

Részletesebben

Ítéletkalkulus. 1. Bevezet. 2. Ítéletkalkulus

Ítéletkalkulus. 1. Bevezet. 2. Ítéletkalkulus Ítéletkalkulus Logikai alapfogalmak, m veletek, formalizálás, logikai ekvivalencia, teljes diszjunktív normálforma, tautológia. 1. Bevezet A matematikai logikában az állításoknak nem a tényleges jelentésével,

Részletesebben

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

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

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

Részletesebben

Matematikai logika. 3. fejezet. Logikai m veletek, kvantorok 3-1

Matematikai logika. 3. fejezet. Logikai m veletek, kvantorok 3-1 3. fejezet Matematikai logika Logikai m veletek, kvantorok D 3.1 A P és Q elemi ítéletekre vonatkozó logikai alapm veleteket (konjunkció ( ), diszjunkció ( ), implikáció ( ), ekvivalencia ( ), negáció

Részletesebben

Komplex számok. Komplex számok és alakjaik, számolás komplex számokkal.

Komplex számok. Komplex számok és alakjaik, számolás komplex számokkal. Komplex számok Komplex számok és alakjaik, számolás komplex számokkal. 1. Komplex számok A komplex számokra a valós számok kiterjesztéseként van szükség. Ugyanis már középiskolában el kerülnek olyan másodfokú

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

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

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

Nagy Gábor  compalg.inf.elte.hu/ nagy Diszkrét matematika 3. estis képzés 2018. ősz 1. Diszkrét matematika 3. 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

GAZDASÁGMATEMATIKA KÖZÉPHALADÓ SZINTEN

GAZDASÁGMATEMATIKA KÖZÉPHALADÓ SZINTEN GAZDASÁGMATEMATIKA KÖZÉPHALADÓ SZINTEN ELTE TáTK Közgazdaságtudományi Tanszék Gazdaságmatematika középhaladó szinten KOMPLEX SZÁMOK Készítette: Gábor Szakmai felel s: Gábor Vázlat 1 2 3 Történeti bevezetés

Részletesebben

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

Nagy Gábor  compalg.inf.elte.hu/ nagy Diszkrét matematika 1. középszint 2016. ő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

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

Logika es sz am ıt aselm elet I. r esz Logika 1/36

Logika es sz am ıt aselm elet I. r esz Logika 1/36 1/36 Logika és számításelmélet I. rész Logika 2/36 Elérhetőségek Tejfel Máté Déli épület, 2.606 matej@inf.elte.hu http://matej.web.elte.hu Tankönyv 3/36 Tartalom 4/36 Bevezető fogalmak Ítéletlogika Ítéletlogika

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

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

Matematika A1a Analízis

Matematika A1a Analízis B U D A P E S T I M Ű S Z A K I M A T E M A T I K A É S G A Z D A S Á G T U D O M Á N Y I I N T É Z E T E G Y E T E M Matematika A1a Analízis BMETE90AX00 Komplex számok StKis, EIC 2019-02-06 Wettl Ferenc

Részletesebben

Predikátumkalkulus. 1. Bevezet. 2. Predikátumkalkulus, formalizálás. Predikátumkalkulus alapfogalmai, formalizálás, tagadás, logikailag igaz formulák.

Predikátumkalkulus. 1. Bevezet. 2. Predikátumkalkulus, formalizálás. Predikátumkalkulus alapfogalmai, formalizálás, tagadás, logikailag igaz formulák. Predikátumkalkulus Predikátumkalkulus alapfogalmai, formalizálás, tagadás, logikailag igaz formulák. 1. Bevezet Nézzük meg a következ két kijelentést: Minden almához tartozik egy fa, amir l leesett. Bármely

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

Kongruenciák. Waldhauser Tamás

Kongruenciák. Waldhauser Tamás Algebra és számelmélet 3 előadás Kongruenciák Waldhauser Tamás 2014 őszi félév Tartalom 1. Diofantoszi egyenletek 2. Kongruenciareláció, maradékosztályok 3. Lineáris kongruenciák és multiplikatív inverzek

Részletesebben

Elsőrendű logika szintaktikája és szemantikája. Logika (3. gyakorlat) 0-adrendű szemantika 2009/10 II. félév 1 / 1

Elsőrendű logika szintaktikája és szemantikája. Logika (3. gyakorlat) 0-adrendű szemantika 2009/10 II. félév 1 / 1 Elsőrendű logika szintaktikája és szemantikája Logika és számításelmélet, 3. gyakorlat 2009/10 II. félév Logika (3. gyakorlat) 0-adrendű szemantika 2009/10 II. félév 1 / 1 Az elsőrendű logika Elemek egy

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

x = 1 = ı (imaginárius egység), illetve x 12 = 1 ± 1 4 2

x = 1 = ı (imaginárius egység), illetve x 12 = 1 ± 1 4 2 Komplex számok A valós számok és a számegyenes pontjai között kölcsönösen egyértelmű megfeleltetés létesíthető. A számfogalom a számegyenes pontjainak körében nem bővíthető tovább. A számfogalom bővítését

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

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

1.1. Alapfogalmak. Vektor: R 2 beli elemek vektorok. Pl.: (2, 3) egy olyan vektor aminek a kezdo pontja a (0, 0) pont és a végpontja a

1.1. Alapfogalmak. Vektor: R 2 beli elemek vektorok. Pl.: (2, 3) egy olyan vektor aminek a kezdo pontja a (0, 0) pont és a végpontja a 1. 1. hét 1.1. Alapfogalmak Vektor: R 2 beli elemek vektorok. Pl.: (2, 3) egy olyan vektor aminek a kezdo pontja a (0, 0) pont és a végpontja a (2, 3) Egyenes normál vektora egy pontban: egy olyan vektor

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

Diszkrét matematika I. gyakorlat

Diszkrét matematika I. gyakorlat Diszkrét matematika I. gyakorlat 2. ZH 2014. november 28. A csoport 1. Feladat. (5 pont) Határozza meg a z 1 = 2 + 2i komplex szám trigonometrikus alakját, majd adja meg a z 1 z 2 és z 1 z 2 komplex számok

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

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 10. előadás Mérai László diái alapján Komputeralgebra Tanszék 2014. ősz Felhívás Diszkrét matematika I. középszint 2014.

Részletesebben

MATEMATIKA EMELT SZINTŰ SZÓBELI VIZSGA TÉMAKÖREI (TÉTELEK) 2012

MATEMATIKA EMELT SZINTŰ SZÓBELI VIZSGA TÉMAKÖREI (TÉTELEK) 2012 2012 2. Számhalmazok (a valós számok halmaza és részhalmazai), oszthatósággal kapcsolatos problémák, számrendszerek. 4. Hatványozás, hatványfogalom kiterjesztése, azonosságok. Gyökvonás és azonosságai,

Részletesebben

KOVÁCS BÉLA, MATEMATIKA I.

KOVÁCS BÉLA, MATEMATIKA I. KOVÁCS BÉLA, MATEmATIkA I. 1 I. HALmAZOk 1. JELÖLÉSEk A halmaz fogalmát tulajdonságait gyakran használjuk a matematikában. A halmazt nem definiáljuk, ezt alapfogalomnak tekintjük. Ez nem szokatlan, hiszen

Részletesebben

Logika és informatikai alkalmazásai

Logika és informatikai alkalmazásai Logika és informatikai alkalmazásai 2. gyakorlat Németh L. Zoltán http://www.inf.u-szeged.hu/~zlnemeth SZTE, Informatikai Tanszékcsoport 2008 tavasz Irodalom Szükséges elmélet a mai gyakorlathoz Előadás

Részletesebben

17. előadás: Vektorok a térben

17. előadás: Vektorok a térben 17. előadás: Vektorok a térben Szabó Szilárd A vektor fogalma A mai előadásban n 1 tetszőleges egész szám lehet, de az egyszerűség kedvéért a képletek az n = 2 esetben szerepelnek. Vektorok: rendezett

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 3. előadás Mérai László diái alapján Komputeralgebra Tanszék 2014. ősz Relációk Diszkrét matematika I. középszint 2014.

Részletesebben

KOVÁCS BÉLA, MATEMATIKA I.

KOVÁCS BÉLA, MATEMATIKA I. KOVÁCS BÉLA MATEmATIkA I 6 VI KOmPLEX SZÁmOk 1 A komplex SZÁmOk HALmAZA A komplex számok olyan halmazt alkotnak amelyekben elvégezhető az összeadás és a szorzás azaz két komplex szám összege és szorzata

Részletesebben

1. Komplex szám rendje

1. Komplex szám rendje 1. Komplex szám rendje A rend fogalma A 1-nek két darab egész kitevőjű hatványa van: 1 és 1. Az i-nek 4 van: i, i 2 = 1, i 3 = i, i 4 = 1. Innentől kezdve ismétlődik: i 5 = i, i 6 = i 2 = 1, stb. Négyesével

Részletesebben

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

Nagy Gábor  compalg.inf.elte.hu/ nagy ősz Diszkrét matematika 3. estis képzés 2016. ősz 1. Diszkrét matematika 3. estis képzés 4. előadás Nagy Gábor nagygabr@gmail.com nagy@compalg.inf.elte.hu compalg.inf.elte.hu/ nagy Komputeralgebra Tanszék

Részletesebben

Analízis I. zárthelyi dolgozat javítókulcs, Informatika I okt. 19. A csoport

Analízis I. zárthelyi dolgozat javítókulcs, Informatika I okt. 19. A csoport Analízis I. zárthelyi dolgozat javítókulcs, Informatika I. 2012. okt. 19. Elméleti kérdések A csoport 1. Hogyan számíthatjuk ki két trigonometrikus alakban megadott komplex szám szorzatát más alakba való

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

Számsorozatok Sorozat fogalma, példák sorozatokra, rekurzív sorozatokra, sorozat megadása Számtani sorozat Mértani sorozat Kamatszámítás

Számsorozatok Sorozat fogalma, példák sorozatokra, rekurzív sorozatokra, sorozat megadása Számtani sorozat Mértani sorozat Kamatszámítás 12. évfolyam Osztályozó vizsga 2013. augusztus Számsorozatok Sorozat fogalma, példák sorozatokra, rekurzív sorozatokra, sorozat megadása Számtani sorozat Mértani sorozat Kamatszámítás Ismerje a számsorozat

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 ősz

Nagy Gábor  compalg.inf.elte.hu/ nagy ősz Diszkrét matematika 3. estis képzés 2016. ősz 1. Diszkrét matematika 3. estis képzés 4. előadás Nagy Gábor nagygabr@gmail.com nagy@compalg.inf.elte.hu compalg.inf.elte.hu/ nagy Komputeralgebra Tanszék

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

MATEMATIKA EMELT SZINTŰ SZÓBELI VIZSGA TÉMAKÖREI (TÉTELEK) 2005

MATEMATIKA EMELT SZINTŰ SZÓBELI VIZSGA TÉMAKÖREI (TÉTELEK) 2005 2005 1. * Halmazok, halmazműveletek, nevezetes ponthalmazok 2. Számhalmazok, halmazok számossága 3. Hatványozás, hatványfüggvény 4. Gyökvonás, gyökfüggvény 5. A logaritmus. Az exponenciális és a logaritmus

Részletesebben

Komplex számok. Wettl Ferenc szeptember 14. Wettl Ferenc Komplex számok szeptember / 23

Komplex számok. Wettl Ferenc szeptember 14. Wettl Ferenc Komplex számok szeptember / 23 Komplex számok Wettl Ferenc 2014. szeptember 14. Wettl Ferenc Komplex számok 2014. szeptember 14. 1 / 23 Tartalom 1 Számok A számfogalom b vülése Egy kis történelem 2 Miért számolunk velük? A megoldóképlet

Részletesebben

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

Nagy Gábor  compalg.inf.elte.hu/ nagy ősz Diszkrét matematika 3. estis képzés 2016. ősz 1. Diszkrét matematika 3. estis képzés 5. előadás Nagy Gábor nagygabr@gmail.com nagy@compalg.inf.elte.hu compalg.inf.elte.hu/ nagy Komputeralgebra Tanszék

Részletesebben

Diszkrét matematika II., 3. előadás. Komplex számok

Diszkrét matematika II., 3. előadás. Komplex számok 1 Diszkrét matematika II., 3. előadás Komplex számok Dr. Takách Géza NyME FMK Iformatikai Itézet takach@if.yme.hu http://if.yme.hu/ takach/ 2007. február 22. Komplex számok Szereték kibővítei a valós számtestet,

Részletesebben

Analízis elo adások. Vajda István. 2012. szeptember 10. Neumann János Informatika Kar Óbudai Egyetem. Vajda István (Óbudai Egyetem)

Analízis elo adások. Vajda István. 2012. szeptember 10. Neumann János Informatika Kar Óbudai Egyetem. Vajda István (Óbudai Egyetem) Vajda István Neumann János Informatika Kar Óbudai Egyetem 1 / 36 Bevezetés A komplex számok értelmezése Definíció: Tekintsük a valós számpárok R2 halmazát és értelmezzük ezen a halmazon a következo két

Részletesebben

Az informatika logikai alapjai

Az informatika logikai alapjai Az informatika logikai alapjai Várterész Magda DE, Informatikai Kar PTI BSc és informatikatanár hallgatók számára 2017. Formulahalmaz kielégíthetősége Ezen az előadáson Γ-val egy elsőrendű logikai nyelv

Részletesebben

HALMAZOK. A racionális számok halmazát olyan számok alkotják, amelyek felírhatók b. jele:. A racionális számok halmazának végtelen sok eleme van.

HALMAZOK. A racionális számok halmazát olyan számok alkotják, amelyek felírhatók b. jele:. A racionális számok halmazának végtelen sok eleme van. HALMAZOK Tanulási cél Halmazok megadása, halmazműveletek megismerése és alkalmazása, halmazok ábrázolása Venn diagramon. Motivációs példa Egy fogyasztó 80 000 pénzegység jövedelmet fordít két termék, x

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

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

Az egyenlőtlenség mindkét oldalát szorozzuk meg 4 16-al:

Az egyenlőtlenség mindkét oldalát szorozzuk meg 4 16-al: Bevezető matematika kémikusoknak., 04. ősz. feladatlap. Ábrázoljuk számegyenesen a következő egyenlőtlenségek megoldáshalmazát! (a) x 5 < 3 5 x < 3 x 5 < (d) 5 x

Részletesebben

Predikátumkalkulus. Predikátumkalkulus alapfogalmai, formalizálás, tagadás, logikailag igaz formulák. Vizsgáljuk meg a következ két kijelentést.

Predikátumkalkulus. Predikátumkalkulus alapfogalmai, formalizálás, tagadás, logikailag igaz formulák. Vizsgáljuk meg a következ két kijelentést. Predikátumkalkulus Predikátumkalkulus alapfogalmai, formalizálás, tagadás, logikailag igaz formulák. 1. Bevezet Vizsgáljuk meg a következ két kijelentést. Minden almához tartozik egy fa, amir l leesett.

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

1. Részcsoportok (1) C + R + Q + Z +. (2) C R Q. (3) Q nem részcsoportja C + -nak, mert más a művelet!

1. Részcsoportok (1) C + R + Q + Z +. (2) C R Q. (3) Q nem részcsoportja C + -nak, mert más a művelet! 1. Részcsoportok A részcsoport fogalma. 2.2.15. Definíció Legyen G csoport. A H G részhalmaz részcsoport, ha maga is csoport G műveleteire nézve. Jele: H G. Az altér fogalmához hasonlít. Példák (1) C +

Részletesebben

Az áprilisi vizsga anyaga a fekete betűkkel írott szöveg! A zölddel írott rész az érettségi vizsgáig még megtanulandó anyag!

Az áprilisi vizsga anyaga a fekete betűkkel írott szöveg! A zölddel írott rész az érettségi vizsgáig még megtanulandó anyag! Részletes követelmények Matematika házivizsga Az áprilisi vizsga anyaga a fekete betűkkel írott szöveg! A zölddel írott rész az érettségi vizsgáig még megtanulandó anyag! A vizsga időpontja: 2015. április

Részletesebben

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

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

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

Baran Ágnes. Gyakorlat Komplex számok. Baran Ágnes Matematika Mérnököknek Gyakorlat 1 / 33

Baran Ágnes. Gyakorlat Komplex számok. Baran Ágnes Matematika Mérnököknek Gyakorlat 1 / 33 Matematika Mérnököknek 1. Baran Ágnes Gyakorlat Komplex számok Baran Ágnes Matematika Mérnököknek 1. 2.-4. Gyakorlat 1 / 33 Feladatok 1. Oldja meg az alábbi egyenleteket a komplex számok halmazán! Ábrázolja

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 11. előadás Mérai László diái alapján Komputeralgebra Tanszék 2014. ősz Kongruenciák Diszkrét matematika I. középszint 2014.

Részletesebben

Logika és informatikai alkalmazásai

Logika és informatikai alkalmazásai Logika és informatikai alkalmazásai 2. gyakorlat Németh L. Zoltán http://www.inf.u-szeged.hu/~zlnemeth SZTE, Informatikai Tanszékcsoport 2009 tavasz Irodalom Szükséges elmélet a mai gyakorlathoz Előadás

Részletesebben