BOOLE ALGEBRA Logika: A konjunkció és diszjunkció tulajdonságai
|
|
- Emil Faragó
- 8 évvel ezelőtt
- Látták:
Átírás
1 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 (A B) A 4.b. H A H 5.b. A (B C) (A B) (A C) 6.b. A A H Halmazelméletben is hasonló azonosságok igazak: 1.a. A B=B A 1.b. A B=B A 2. a. (A B) C=A (B C) 2.b. (A B) C=A (B C) 3. a. A (A B)=A 3.b. A (A B)=A 4. a. U A=U 4.b. A= 5. a. A (B C)= (A B) (A C) 5.b. A (B C)= (A B) (A C) 6. a. A A= U 6.b. A A = További példa: a valószínűségszámításban Boole algebrát alkotnak az események.
2 HÁLÓ HÁLÓ: kétműveletes algebrai struktúra, a műveleteket leggyakrabban a (vagy ) és a (vagy ) jelekkel szokás jelölni. Ezen műveletekre a következők teljesülnek: 1.a. A B B A 2.a. (A B) C A (B C) 3.a. A (A B) A 1.b. A B B A 2.b. (A B) C A (B C) 3.b. A (A B) A /*elnyelési tulajdonság Példá: Nulladrendű logika: konjunkció, diszjunkció, halmazok: unió, metszet Halmazoknál szokásos jelöléssel a fenti tulajdonságok: 1.a. A B=B A 1.b. A B=B A 2. a. (A B) C=A (B C) 2.b. (A B) C=A (B C) 3. a. A (A B)=A 3.b. A (A B)=A /*elnyelési tulajdonság
3 Tétel: x x=x és x x=x Bizonyítás: A:=x, B:= x x az A (A B) A elnyelési tulajdonságba behelyettesítve: x =(x (x (x x)))= A (A B) A-t felhasználva: x =(x (x (x x)))= x x Hasonlóan bizonyítható, hogy x x=x. (Házi feladat!) Tétel: x y=x és x y=y kijelentések ekvivalensek Bizonyítás: Tfh. x y=x, akkor x y= behelyettesítés x-be=(x y) y = kommutatív=y ( x y)=elnyelés=y Tfh. x y=y, akkor x y=behelyettesítés y-ba= x (x y)=elnyelés=x DUALITÁS ELVE: A két műveletet megcserélve adott azonosságból egy másikat kapunk.
4 (Részben) rendezett halmazok H részben rendezett, ha rendezési reláció van megadva a H elemein: részhalmaza H x H-nak a következő tulajdonságokkal: - reflexív - antiszimmetrikus - tranzitív Elnevezés oka: Nem biztos, hogy mindegyik elem mindegyik elemmel összehasonlítható. Vannak olyan elemei a halmaznak, amelyek összehasonlíthatók e rendezés szerint, vagyis a belőlük képzett rendezett párok elemei a relációnak, de vannak, amelyek nem. Teljes a rendezési reláció, ha reláció adott H-n és x y és y x közül legalább egyik teljesül. (Bármely két elem összehasonlítható). Ekkor H teljesen rendezett halmaz.
5 Példák: 1. Tetszőleges H halmaz hatványhalmaza a halmaz-tartalmazás szerint részben rendezés: H:={1,2,3} Például: {1} {1,2,3} {1} {1,2} {1} {1,3} DE {1} és {2,3} nem összehasonlítható Hasse-diagram: x y, akkor y-t feljebb rajzolva összekötjük x-szel:
6 Példák (folyt.): 2. Valós számok és a szokásos teljes rendezés, minden szám öszehasonlítható. 3. Komplex számokra pl. a következő reláció definiálható: z 1 R z 2, ha abszolút értékük egyenlő (ki van messzebb a 0 számtól?). Ez nem részben rendezési reláció, mert nem szimmetrikus, viszont pl. a nem negatív számokra rendezést ad.
7 Legnagyobb és maximális, legkisebb és minimális elem fogalma Legnagyobb elem LN, ha minden h H-ra h (mindegyik elemmel összehasonlítható!) LN (és LN különbözik h-tól) Maximális elem M, ha nincsen olyan h H, hogy M h teljesülne. (Nem biztos, hogy mindegyik elemmel összehasonlítható) Legkisebb elem lk, ha minden h H-ra lk (mindegyik elemmel összehasonlítható!) h (és lk különbözik h-tól) Minimális elem m, ha nincsen olyan h H, hogy h m teljesülne. (Nem biztos, hogy mindegyik elemmel összehasonlítható) Tétel: Ha van legnagyobb (legkisebb elem), akkor az egyértelmű. Biz.: Tfh., M1 és M2 legnagyobb elemek. Akkor M1 M2 és M2 M1 a def. szerint. A rendezési relácó def. szerint ekkor M1=M2
8 Legnagyobb és maximális, legkisebb és minimális elem fogalma Példák: 1. H:= {2,3, 4, 5, 6}, és a b, ha a osztója b-nek. Ekkor Minimális elemek: 2,3,5 Maximális elemek: 4, 5, 6 (egyiknek sincsen többszöröse e halmazban) E rendezésben nincsen sem legkisebb, sem legnagyobb elem. 2. Hatványhalmaz és tartalmazás: legnagyobb elem H, legkisebb elem. 3. A természetes számok a szokásos rendezésre: 0 a legkisebb és egyben minimális elem, maximális és legnagyobb nincsen.
9 Korlátos halmazok A részben rendezett H halmaz valamely H1 részhalmazának a K H felső korlátja (az adott rendezés és H szerint!) ha minden h1 H1-re h1 K A részben rendezett H halmaz valamely H1 részhalmazának a k H alsó korlátja (az adott rendezés és H szerint!) ha minden h1 H1-re k h1. H1 korlátos, ha van alsó és felső korlátja. Ha van a korlátok között legkisebb felső korlát, akkor azt felső határnak (supremum-nak), ha van a korlátok között legnagyobb alsó korlát, akkor azt alsó határnak (infimum-nak), nevezzük.
10 Definíció 2: Hálónak nevezzük az olyan részben rendezett halmazokat, amelynek bármely véges részhalmazához van alsó és felső határa. (Definíció: Hálónak nevezzük az olyan részben rendezett halmazokat, amelynek bármely két eleméhez van alsó és felső határ.) Definíció 1: a háló olyan kétműveletes algebrai struktúra, amelyben: 1.a. A B=B A 1.b. A B=B A 2. a. (A B) C=A (B C) 2.b. (A B) C=A (B C) 3. a. A (A B)=A 3.b. A (A B)=A /*elnyelési tulajdonság Tétel: Def 1 és Def 2 ekvivalensek Biz.: (konstruktív) Def1 Def2: Megadunk egy relációt, és bizonyítjuk, hogy az rendezési reláció.legyen: x y akkor és csak akkor, ha x=x y (láttuk, hogy ezzel ekvivalens, hogy y=y x, így is lehetne). Reflexív, hiszen x=x x tétel volt (elnyelésből következik) Antiszimmetrikus, hiszen ha x y és y x, akkor x=x y illetve y=y x, tehát x=y Tranzitív: x y és y z, akkor x z, ugyanis: x=x y= x (y z)= (x y) z=x z A def.je miatt bármely két elemhez van alsó és felső határ.
11 Definíció 2: Hálónak nevezzük az olyan részben rendezett halmazokat, amelynek bármely véges részhalmazához van alsó és felső határa (infimuma, supremuma). (Definíció: Hálónak nevezzük az olyan részben rendezett halmazokat, amelynek bármely két eleméhez van alsó és felső határ.) Definíció 1: a háló olyan kétműveletes algebrai struktúra, amelyben: 1.a. A B=B A 1.b. A B=B A 2. a. (A B) C=A (B C) 2.b. (A B) C=A (B C) 3. a. A (A B)=A 3.b. A (A B)=A /*elnyelési tulajdonság Tétel: Def 1 és Def 2 ekvivalensek Biz.: (konstruktív) Def2 Def1: A műveleteket kell megadni, és bebizonyítani, hogy rendelkeznek az 1, 2, 3, Def1- ben szereplő tulajdonságokkal. Legyen := sup(x,y), és := inf(x,y). A reflexivitás és a kommutativitás az inf és sup def.ből azonnal következik. Az asszociativitás: (x y) z=sup(sup(x,y), z)=sup(x, sup(y,z))= x (y z), A másik műveletre hasonlóan (HF!). Elnyelési tulajdonság: ha x y, akkor sup(x,y)=y és inf(x,y)=x Ezért: x (x y)=x
12 inf(x,sup(x,y))=inf(x,y)=x. A másik azonosságot hasonlóan láthatjuk be (hf.)
13 Definíciók: Egységelemes háló: van legnagyobb és legkisebb eleme, ezeket 0-val és 1-gyel jelöljük Ezek a két művelet egységei: 0 x=x, 1 x=x. Komplementer elem, röviden komplementum: az a a a =1, és a a =0. H (áló) komplementer eleme a, ha Disztributív háló: a két művelet között az alábbi azonosságok fennállnak: a (b c) (a b) (a c) a (b c) (a b) (a c) A komplementumos disztributív hálókat BOOLE-HÁLÓknak nevezzük Boole-algebra: a komplementer képzés egyváltozósműveletként van értelmezve, így ebben a struktúrában nem kettő, hanem három művelet van.
14 Példák: 1. Ítéletváltozók halmaza, konjunkció, diszjunkció műveletekkel Boole-háló. Ue. +negáció, Boole-algebra. Tulajdonságok: 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 (A B) A 4.b. H A H 5.b. A (B C) (A B) (A C) 6.b. A A H 2. Halmazok, unió és metszet műveletekkel Boole-háló. Kivonással (komplementer kijelöléssel) Boole-algebra. Tulajdonságok: 1.a. A B=B A 1.b. A B=B A 2. a. (A B) C=A (B C) 2.b. (A B) C=A (B C) 3. a. A (A B)=A 3.b. A (A B)=A 4. a. U A=U 4.b. A= 5. a. A (B C)= (A B) (A C) 5.b. A (B C)= (A B) (A C) 6. a. A A= U 6.b A A =
15 Tétel: Boole-háló minden elemének pontosan egy komplementuma van. Biz.: tfh. a és a* az a elem komplementumai. a =a 1=a (a a*)= (a a) (a a*)= (a a*)=a a*, ezt felhasználva: a =a =a (a a*)= (a a) (a a*)=1 (a a*)= a a*= (a a*) a*=a* (3.b tul.) Tétel: Tetszőleges elempárra igazak az ún. De Morgan azonosságok: (a b) =a b, illetve (a b) =a b Biz.: Azt kell bizonyítani, hogy x=a b, akkor x = a b. Ez def. szerint akkor van, ha x x = ÉS x x =1. ((a b) =a b bizonyítása hf.) Behelyettesítve: (a b) (a b )=(a (a b )) (b (a b ))= ((a a ) b ) (a (b b ))=( b) (a )= (a b) (a b )= ((a b) a ) ((a b) b )= ((a a ) b) ((a (b b ))=(1 b) (a 1)=1 Tétel: a =a, 1 =0, 0 =1 Biz.: a a =1= (a a ) = a a = a a, és a a =0= (a a ) = a a =a a. a a =1 ennek komplementere: 1 = (a a ) = a a = a a=0. a a =0 ennek komplementere: 0 =(a a ) = a a = a a=1
16 Izomorfia: művelettartó egy-egyértelmű megfeleltetés: Azt mondjuk, hogy az S1 és S2 (azonos jellegű) struktúrák (pl. két csoport, két háló) izomorfak, ha létezik f, hogy minden x S1 hez létezik f(x)=y S2, és ha x1 akkor y1 y2, továbbá mindegyik műveletre S1-ben f( (x1, x2))= *(f(x1), f(x2)), ahol * a S2 beli megfelelője Reprezentációs tétel: Minden véges Boole-algebra izomorf egy alkalmas véges A halmaz hatványhalmazának Boole-algebrájával. Tarski fixpont tétele: Teljes hálón értelmezett monoton (rendezéstartó) f függvénynek van legkisebb és legnagyobb fixpontja. Biz.: Legyen G azon elemek halmaza, melyekre f(x) x. Ennek alsó határa, g= inf(g) lesz a legkisebb fixpont (először belátjuk, g G, majd hogy g=f(g) (fixpont), és végül hogy legkisebb fixpont) Teljes háló: BÁRMELY részhalmazának van inf és sup (végtelen elemű részhalmaznak is) Egy alkalmazás:
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
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
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
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).
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,
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:
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
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
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?
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:
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.
DISZKRÉT MATEMATIKA: STRUKTÚRÁK Előadáson mutatott példa: Bércesné Novák Ágnes
1. Algebrai alapok: DISZKRÉT MATEMATIKA: STRUKTÚRÁK Művelet: Egy H nemüres halmazon értelmezett (kétváltozós) műveleten egy H H H függvényt értünk, azaz egy olyan leképezést, amely bármely a,b H elempárhoz
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,
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
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
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
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
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
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ő,
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
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:
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
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,
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
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,
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
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
1. Algebrai alapok: Melyek műveletek az alábbiak közül?
1. Algebrai alapok: Művelet: Egy H nemüres halmazon értelmezett (kétváltozós) műveleten egy H H H függvényt értünk, azaz egy olyan leképezést, amely bármely a,b H elempárhoz egyértelműen hozzárendel egy
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
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
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,
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
Funkcionálanalízis. n=1. n=1. x n y n. n=1
Funkcionálanalízis 2011/12 tavaszi félév - 2. előadás 1.4. Lényeges alap-terek, példák Sorozat terek (Folytatás.) C: konvergens sorozatok tere. A tér pontjai sorozatok: x = (x n ). Ezen belül C 0 a nullsorozatok
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,
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
Relációk. Vázlat. Példák direkt szorzatra
8.. 7. elácók elácó matematka fogalma zükséges fogalom: drekt szorzat Halmazok Descartes drekt szorzata: Legenek D D D n adott doman halmazok. D D D n : = { d d d n d k D k k n } A drekt szorzat tehát
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)
Vázlat. Relációk. Példák direkt szorzatra
7..9. Vázlat elácók a. elácó fogalma b. Tulajdonsága: refleív szmmetrkus/antszmmetrkus tranztív c. Ekvvalenca relácók rzleges/parcáls rrendez relácók felsmere d. elácók reprezentálása elácó matematka fogalma
2. Logika gyakorlat Függvények és a teljes indukció
2. Logika gyakorlat Függvények és a teljes indukció Folláth János Debreceni Egyetem - Informatika Kar 2012/13. I. félév Áttekintés 1 Függvények Relációk Halmazok 2 Természetes számok Formulák Definíció
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
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
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
2. Alapfogalmak, műveletek
2. Alapfogalmak, műveletek Gépi intelligencia I. Fodor János BMF NIK IMRI NIMGIMIEM Tartalomjegyzék I Mit tudunk eddig? 2 Fuzzy halmazokkal kapcsolatos alapvető fogalmak Fuzzy halmaz tartója Fuzzy halmaz
MM CSOPORTELMÉLET GYAKORLAT ( )
MM4122-1 CSOPORTELMÉLET GYAKORLAT (2008.12.01.) 1. Ismétlés szeptember 1.szeptember 8. 1.1. Feladat. Döntse el, hogy az alábbi állítások közül melyek igazak és melyek (1) Az A 6 csoportnak van 6-odrend
minden x D esetén, akkor x 0 -at a függvény maximumhelyének mondjuk, f(x 0 )-at pedig az (abszolút) maximumértékének.
Függvények határértéke és folytonossága Egy f: D R R függvényt korlátosnak nevezünk, ha a függvényértékek halmaza korlátos. Ha f(x) f(x 0 ) teljesül minden x D esetén, akkor x 0 -at a függvény maximumhelyének
Diszkrét matematika HALMAZALGEBRA. Halmazalgebra
Halmazalgebra Ebben a fejezetben összefoglaljuk a halmazokról tanult középiskolai ismeretanyagot, és néhány érdekességgel, módszerrel ki is egészítjük. A halmaz alapfogalom. Mondhatjuk, hogy tárgyak, fogalmak,
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
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
Matematika III. 2. Eseményalgebra Prof. Dr. Závoti, József
Matematika III. 2. Eseményalgebra Prof. Dr. Závoti, József Matematika III. 2. : Eseményalgebra Prof. Dr. Závoti, József Lektor : Bischof, Annamária Ez a modul a TÁMOP - 4.1.2-08/1/A-2009-0027 Tananyagfejlesztéssel
Sorozatok, sorok, függvények határértéke és folytonossága Leindler Schipp - Analízis I. könyve + jegyzetek, kidolgozások alapján
Sorozatok, sorok, függvények határértéke és folytonossága Leindler Schipp - Analízis I. könyve + jegyzetek, kidolgozások alapján Számsorozatok, vektorsorozatok konvergenciája Def.: Számsorozatok értelmezése:
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
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
Vektorterek. Wettl Ferenc február 17. Wettl Ferenc Vektorterek február / 27
Vektorterek Wettl Ferenc 2015. február 17. Wettl Ferenc Vektorterek 2015. február 17. 1 / 27 Tartalom 1 Egyenletrendszerek 2 Algebrai struktúrák 3 Vektortér 4 Bázis, dimenzió 5 Valós mátrixok és egyenletrendszerek
2011. szeptember 14. Dr. Vincze Szilvia;
2011. szeptember 14. Dr. Vincze Szilvia; vincze@fin.unideb.hu https://portal.agr.unideb.hu/oktatok/drvinczeszilvia Első pillantásra hihetetlennek tűnik, hogy egy olyan tiszta és érzelmektől mentes tudomány,
Matematika szigorlat, Mérnök informatikus szak I máj. 29.
Matematika szigorlat, Mérnök informatikus szak I. 2007. máj. 29. Megoldókulcs 1. Adott az S : 3x 6y + 2z = 6 sík a három dimenziós térben. (a) Írja fel egy tetszőleges, az S-re merőleges S síknak az egyenletét!
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
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
Valós függvények tulajdonságai és határérték-számítása
EL 1 Valós függvények tulajdonságai és határérték-számítása Az ebben a részben szereplő függvények értelmezési tartománya legyen R egy részhalmaza. EL 2 Definíció: zérushely Az f:d R függvénynek zérushelye
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,
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
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
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 +
Bevezetés a számításelméletbe (MS1 BS)
Matematika szigorlat - konzultációs szeminárium Azoknak, akik másodszorra vagy többedszerre veszik fel a Matematika szigorlat (NAMMS1SAND) tárgyat. Bevezetés a számításelméletbe (MS1 BS) FŐBB TÉMAKÖRÖK
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
Algoritmusok Tervezése. Fuzzy rendszerek Dr. Bécsi Tamás
Algoritmusok Tervezése Fuzzy rendszerek Dr. Bécsi Tamás Bevezetés Mese a homokkupacról és a hidegről és a hegyekről Bevezetés, Fuzzy történet Két értékű logika, Boole algebra Háromértékű logika n értékű
Hatványozás. A hatványozás azonosságai
Hatványozás Definíció: a 0 = 1, ahol a R, azaz bármely szám nulladik hatványa mindig 1. a 1 = a, ahol a R, azaz bármely szám első hatványa önmaga a n = a a a, ahol a R, n N + n darab 3 4 = 3 3 3 3 = 84
Halmazok-előadás vázlat
Halmazok-előadás vázlat Naiv halmazelmélet:. Mi a halmaz? Mit jelent, hogy valami eleme a halmaznak? Igaz-e, hogy a halmaz elemei valamilyen kapcsolatban állnak egymással? Jelölés: a A azt jelenti, hogy
Gy ur uk aprilis 11.
Gyűrűk 2014. április 11. 1. Hányadostest 2. Karakterisztika, prímtest 3. Egyszerű gyűrűk [F] III/8 Tétel Minden integritástartomány beágyazható testbe. Legyen R integritástartomány, és értelmezzünk az
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 \
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
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
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
Á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,
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
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
1. Absztrakt terek 1. (x, y) x + y X és (λ, x) λx X. műveletek értelmezve vannak, és amelyekre teljesülnek a következő axiómák:
1. Absztrakt terek 1 1. Absztrakt terek 1.1. Lineáris terek 1.1. Definíció. Az X halmazt lineáris térnek vagy vektortérnek nevezzük a valós számtest (komplex számtest) felett, ha bármely x, y X elemekre
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
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
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)
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
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
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
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
1. tétel. Valószínűségszámítás vizsga Frissült: 2013. január 19. Valószínűségi mező, véletlen tömegjelenség.
1. tétel Valószínűségszámítás vizsga Frissült: 2013. január 19. Valószínűségi mező, véletlen tömegjelenség. A valószínűségszámítás tárgya: véletlen tömegjelenségek vizsgálata. véletlen: a kísérlet kimenetelét
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
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
A lineáris algebrában központi szerepet betöltı vektortér fogalmát értelmezzük most, s megvizsgáljuk e struktúra legfontosabb egyszerő tulajdonságait.
2. VEKTORTÉR A lineáris algebrában központi szerepet betöltı vektortér fogalmát értelmezzük most, s megvizsgáljuk e struktúra legfontosabb egyszerő tulajdonságait. Legyen K egy test és V egy nem üres halmaz,
3. Feloldható csoportok
3. Feloldható csoportok 3.1. Kommutátor-részcsoport Egy csoport két eleme, a és b felcserélhető, ha ab = ba, vagy átrendezve az egyenlőséget, a 1 b 1 ab = 1. Ezt az [a,b] = a 1 b 1 ab elemet az a és b
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
Debreceni Egyetem. Kalkulus I. Gselmann Eszter
Debreceni Egyetem Természettudományi és Technológiai Kar Kalkulus I. Gselmann Eszter Debrecen, 2011 A matematikában a gondolat, ami számít. (Szofja Vasziljevna Kovalevszkaja) Tartalomjegyzék 1. Halmazok,
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
Diszkrét matematika II., 8. előadás. Vektorterek
1 Diszkrét matematika II., 8. előadás Vektorterek Dr. Takách Géza NyME FMK Informatikai Intézet takach@inf.nyme.hu http://inf.nyme.hu/ takach/ 2007.??? Vektorterek Legyen T egy test (pl. R, Q, F p ). Definíció.
Diszkrét matematika 2.
Diszkrét matematika 2. 2018. március 9. 1. Diszkrét matematika 2. 4. előadás Fancsali Szabolcs Levente nudniq@cs.elte.hu www.cs.elte.hu/ nudniq Komputeralgebra Tanszék 2018. március 9. Gráfelmélet Diszkrét
BEVEZETÉS A MAGASABBSZINTŰ MATEMATIKÁBA ÉS ALKALMAZÁSAIBA KÉZI CSABA GÁBOR
BEVEZETÉS A MAGASABBSZINTŰ MATEMATIKÁBA ÉS ALKALMAZÁSAIBA KÉZI CSABA GÁBOR 1 KÉZI CSABA GÁBOR Előszó Ez a jegyzet egy többrészes sorozat első kötete, mely elsősorban a Debrecen Egyetem Műszaki Karának
3. Lineáris differenciálegyenletek
3. Lineáris differenciálegyenletek A közönséges differenciálegyenletek két nagy csoportba oszthatók lineáris és nemlineáris egyenletek csoportjába. Ez a felbontás kicsit önkényesnek tűnhet, a megoldásra
Matematikai alapismeretek. Huszti Andrea
Tartalom 1 Matematikai alapismeretek Algebrai struktúrák Oszthatóság Kongruenciák Algebrai struktúrák Az S = {x, y, z,... } halmazban definiálva van egy művelet, ha az S-nek minden x, y elempárjához hozzá
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ó
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 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 Komputeralgebra
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
AZ INFORMATIKA LOGIKAI ALAPJAI
AZ INFORMATIKA LOGIKAI ALAPJAI Előadó: Dr. Mihálydeák Tamás Sándor Gyakorlatvezető: Kovács Zita 2017/2018. I. félév 4. gyakorlat Interpretáció A ϱ függvényt az L (0) = LC, Con, Form nulladrendű nyelv egy