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

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

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

Átírás

1 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 megköveteljük, hogy az vagy igaz, vagy hamis legyen. Nem fordulhat tehát elő, hogy egy állítás igaz is, hamis is. c) Az állításokra kirótt követelményeknek csak a kijelentő mondatok, és azoknak is csak egy része tesz eleget. d) Valamely állítás igaz, ill. hamis voltát az állítás logikai értékének is nevezik, és célszerűen az igaz állításokhoz az 1, a hamis állításokhoz pedig a 0 logikai értéket rendeljük. a) A 2 természetes szám. Logikai értelemben ez a mondat állítás, logikai értéke 1. b) A 2 nem racionális szám. Logikai értelemben ez a mondat állítás, logikai értéke 0. 3 c) Beborult az élet vidám orcája. Logikai értelemben ez a mondat nem tekinthető állításnak. 2. A matematikai logika műveletei Megjegyzés: Állításokból kiindulva a következőkben ismertetésre kerülő műveletek segítségével újabb állításokhoz juthatunk. Definíció: Legyen A és B két állítás. A és a B konjunkcióján (logikai és művelet) olyan állítást értünk, amely pontosan akkor igaz, ha A és B is igaz. Jele: A B. Megjegyzés: A konjunkció ún. igazságtáblázata: A = A 2 természetes szám. B = 2 nem nagyobb 1-nél. A B = A 2 természetes szám és nem nagyobb 1-nél. Az A állítás logikai értéke 1, a B állításé 0, így a A B állítás logikai értéke 0, azaz hamis az állítás. Definíció: Legyen A és B két állítás. A és a B diszjunkcióján (logikai megengedő vagy művelet) olyan állítást értünk, amely pontosan akkor igaz, ha A és B közül legalább az egyik igaz. Jele: A B. Megjegyzés: A diszjunkció igazságtáblázata: A = A rombusz minden szöge 90 -os. B = A rombusz oldalai egyenlő hosszúságúak. A B = A rombusz minden szöge 90 -os vagy a rombusz oldalai egyenlő hosszúságúak. Az A állítás logikai értéke 0, a B állításé 1, így a A B állítás logikai értéke 1, azaz igaz az állítás. 1

2 Definíció: Legyen A és B két állítás. A és a B antivalenciáján (logikai kizáró vagy művelet) olyan állítást értünk, amely pontosan akkor igaz, ha A és B közül pontosan az egyik igaz. Jele: A B. Megjegyzés: A antivalencia igazságtáblázata: A = A 2 racionális szám. B = A 2 irracionális szám. A B = A 2 vagy racionális, vagy irracionális szám. Az A állítás logikai értéke 0, a B állításé 1, így a A B állítás logikai értéke 1, azaz igaz az állítás. Definíció: Valamely A állítás tagadásán vagy negációján (logikai nem művelet) olyan állítást értünk, amely pontosan akkor igaz, ha A hamis. Jele: A. Megjegyzés: A A állítást A negáltjának nevezzük. A negáció igazságtáblázata: A = A háromszög szögei egyenlők. B = Két páros szám összege mindig páros. A = A háromszög szögei nem egyenlők. B = Két páros szám összege sohasem páros. Az A állítás logikai értéke 0, így a A állítás logikai értéke 1, azaz igaz az állítás. A B állítás logikai értéke 1, így a B állítás logikai értéke 0, azaz hamis az állítás. Definíció: Legyen A és B két állítás. A előtagú és B utótagú implikációnak nevezzük azt az állítást, amely pontosan akkor hamis, ha A igaz és B hamis. Jele: A B. Megjegyzés: Az implikáció igazságtáblázata: A = A H háromszög szabályos. B = A H háromszög egyenlő szárú. A fenti állítások esetén A B igaz, B A hamis. Megjegyzés: Ha valamely matematikai tételben a A B implikáció igaz, akkor gyakran a következő kifejezések valamelyikét használjuk: Az előző példa esetében: a) ha A, akkor B; b) A-ból következik B; c) A elégséges feltétele B-nek; d) B szükséges feltétele A-nak; e) Minden A-ra igaz B is. a) ha a H háromszög szabályos, akkor (a H háromszög) egyenlő szárú is; b) abból, hogy a H háromszög szabályos, következik, hogy (a H háromszög) egyenlő szárú is; c) a H háromszög szabályos volta elégséges ahhoz, hogy (a H háromszög) egyenlő szárú legyen; d) a H háromszög egyenlő szárú volta szükséges ahhoz, hogy H szabályos háromszög legyen. 2

3 Definíció: Legyen A és B két állítás. A és B ekvivalenciáján azt az állítást értjük, amely pontosan akkor igaz, ha A B és B A is igaz. Jele: A B. Megjegyzés: Az ekvivalencia igazságtáblázata: A = A H háromszög szögei egyenlők. B = A H háromszög oldalai egyenlők. A fenti állítások esetén A B és B A implikációk igazak, ezért A B igaz. Megjegyzés: Ha valamely matematikai tételben a A B ekvivalencia igaz, akkor gyakran a következő kifejezések valamelyikét használjuk: Az előző példa esetében: a) A akkor és csak akkor, ha B; b) A pontosan akkor, ha B; c) A szükséges és elégséges B-hez; d) B egyenértékű (vagy ekvivalens) A-val. a) a H háromszög szögei akkor és csak akkor egyenlők, ha (a H háromszög) oldalai egyenlők; b) a H háromszög szögei pontosan akkor egyenlők, ha (a H háromszög) oldalai egyenlők; c) ahhoz, hogy a H háromszög szögei egyenlők legyenek, szükséges és elégséges, hogy (a H háromszög) oldalai egyenlők; d) az, hogy a H háromszög szögei egyenlők, egyenértékű azzal, hogy (a H háromszög) oldalai egyenlők. Megjegyzés: Ha állításokat az előbb említett műveletekkel összekapcsoljuk, akkor az un. logikai formulákhoz jutunk. (Ha n darab állítással dolgoztunk, akkor n változós logikai formuláról beszélünk.) (egyváltozós) logikai formulák: A; A; ( A); A A; stb. (kétváltozós) logikai formulák: A B; (A B); A B; stb. (háromváltozós) logikai formulák: (A B) C; (A B) C; (A B) C; stb. Ha valamely logikai formula változóiba konkrét állítást helyettesítünk, akkor vagy igaz, vagy hamis állításhoz jutunk. Tétel: Fennállnak az alábbi, logikai formulákra vonatkozó azonosságok: a) A B = B A, illetve A B = B A (kommutativitás); b) (A B) C = A (B C), illetve (A B) C = A (B C) (asszociativitás); c) (A B) C = (A C) (B C), illetve (A B) C = (A C) (B C) (disztributivitás); d) A A = A, illetve A A = A; e) (A B) = ( A) ( B), illetve (A B) = ( A) ( B) (De Morgan-azonosságok); f) ( A) = A; g) A B = A B, illetve A B = ( A B) (A B). 3

4 1.3 Állítások tagadása és megfordítása Definíció: Egy állítás tagadásán azt az állítást értjük, ami igaz, ha az eredeti állítás hamis, illetve hamis, ha az eredeti állítás igaz. Megjegyzés: Egy állítás tagadása többféleképpen is megfogalmazható. A = Ma hétfő van. Ekkor az A állítás tagadása: A = Nem igaz, hogy ma hétfő van. vagy inkább használatosabb: A = Ma nem hétfő van. Állítás és (A B) vagy (A B) kizáró vagy (A B) akkor és csak akkor (A B) ha-akkor (A B) minden ( A) van olyan ( A) Tagadása vagy ( A B) és ( A B) akkor és csak akkor (A B) kizáró vagy (A B) A B van olyan ( A) minden ( A) Tagadjuk le az alábbi kijelentéseket! a) Péter moziba megy. Péter nem megy moziba. b) Tegnap nem kaptam levelet. Tegnap kaptam levelet. c) Minden holló fekete. Van olyan holló, amelyik nem fekete. ( Nem minden holló fekete. ) d) Van olyan fiú, aki nem szereti a focit. Minden fiú szereti a focit. e) Elmentem a boltba és nem vettem tejet. Nem mentem el a boltba vagy vettem tejet. f) Holnap moziba megyek vagy tanulok. Holnap nem megyek moziba és nem tanulok. g) Ha hétfő van, akkor (mindig) fogorvoshoz megyek. (Van olyan, hogy) hétfő van és nem megyek fogorvoshoz. h) Akkor és csak akkor veszek új autót, ha ötösöm lesz a lottón. Vagy új autót veszek, vagy ötösöm lesz a lottón. (kizáró vagy, azaz pontosan az egyik teljesül) Definíció: Egy A B típusú állítás megfordításán a B A állítást (vagyis a feltétel és a következmény megcserélését) értjük. A Ha egy szám osztható 10-zel, akkor páros. megfordítása: Ha egy szám páros, akkor osztható 10-zel. Megjegyzés: A fenti példában az eredeti állítás igaz, a megfordítása azonban hamis. Ha egy A B típusú állítás és a megfordítása is igaz, akkor a két állításra: A B. 4

5 1.4 Kidolgozott feladatok 1. Feladat Írja fel rövidebb formulával az alábbi kifejezést! (A B) ( A B). A logikai formulákra vonatkozó azonosságok felhasználásával: (A B) ( A B) ( A B) ( A B) ( A B) (A B) A B Megjegyzés: Másik lehetséges megoldás, ha elkészítjük a kifejezés logikai értéktáblázatát. A táblázatból kiolvasható, hogy a kifejezés értéke pontosan akkor igaz, ha A és B logikai értéke megegyezik, azaz ekvilanciáról (A B) van szó. 2. Feladat Fogalmazzuk meg a következő állítások tagadását! a) Minden barátomnak van legalább két testvére. b) Minden szállodában van telefon vagy rádió. c) Idén vagy a tengerparton, vagy a hegyek között nyaralunk. (kizáró vagy) d) Van olyan falu, ahol nincs posta. e) Van olyan tantárgy, amelyikből írásban és szóban is vizsgázunk. f) Ha tanulok, nem félek a dolgozattól. g) Minden embernek van olyan könyve, amelyiknek minden sorát kívülről tudja. a) Van olyan barátom, akinek legfeljebb egy testvére van. b) Van olyan szálloda, ahol nincs telefon és nincs rádió. c) Idén akkor és csak akkor nyaralunk a tengerparton, ha a hegyek között is. d) Minden faluban van posta. e) Minden tantárgyra igaz, hogy nem vizsgázunk belőle írásban vagy nem vizsgázunk belőle szóban. f) Tanulok és félek a dolgozattól. g) Van olyan ember, akinek minden könyvében van olyan sor, amit nem tud kívülről. 3. Feladat Fogalmazzuk meg a következő állítás megfordítását: Ha egy húrnégyszögnek van derékszöge, akkor téglalap. Igaz-e az állítás, illetve a megfordítása? 5

6 Az állítás megfordítása: Ha egy húrnégyszög téglalap, akkor van derékszöge. Az eredeti állítás hamis (egy lehetséges ellenpélda az a négyszög, amelynek szögei az egyik körüljárás szerint: 90, 60, 90 és 120, ez a négyszög a húrnégyszögek tételének megfordítása miatt húrnégyszög, de nem téglalap. Az állítás megfordítása igaz, hiszen egy tetszőleges téglalapnak van derékszöge. 4. Feladat Zsuzsi azt mondja édesanyjának: Ha az újságot elolvasom, vagy a rádió híreit meghallgatom, akkor nem kapcsolom be a televíziót és levelet írok. Zsuzsi kijelentésének mi a logikai értéke abban az esetben, ha nem olvasott újságot, a rádió híreit hallgatta, bekapcsolta a televíziót, levelet írt? Az egyszerű kijelentések: Az összetett kijelentés: A: Újságot olvas. B: A rádió híreit hallgatja. C: Bekapcsolja a televíziót. D: Levelet ír. (A B) ( C D). Értékeljük ki az összetett kijelentést: Az előzőek értelmében a kifejezés logikai értelemben hamis. 5. Feladat A következő állításokat bontsuk fel egyszerű kijelentésekre, és azokból logikai műveletek segítségével írjuk fel az összetett kijelentést! a) Esik az eső és délután nem megyek úszni. b) Ha kedd van, akkor délután úszni vagy teniszezni megyek. c) Akkor és csak akkor megyek teniszezni, ha nem esik az eső és nem fúj a szél. d) Ha délután tanulok és nem megyek moziba, akkor holnapra felkészülök, és Pistával pingpongozom vagy sakkozom. a) Az egyszerű kijelentések: A: Esik az eső. B: Délután úszni megyek. Az összetett kijeletés: A ( B). b) Az egyszerű kijelentések: A: Kedd van. B: Délután úszni megyek. C: Teniszezni megyek. Az összetett kijeletés: A (B C). 6

7 c) Az egyszerű kijelentések: A: Teniszezni megyek. B: Esik az eső. C: Fúj a szél. Az összetett kijeletés: A ( B C). d) Az egyszerű kijelentések: A: Délután tanulok. B: Délután moziba megyek. C: Holnapra felkészülök. D: Pistával pingpongozom. E: Pistával sakkozom. Az összetett kijelentés: (A B) (C (D E)). 6. Feladat Készítsük el az alábbi kifejezés logikai értéktáblázatát! (A B) A. A kifejezés kétváltozós, ezért négy esetet kell megkülönböztetni: A B A B (A B) (A B) A

Kijelentéslogika, ítéletkalkulus

Kijelentéslogika, ítéletkalkulus Kijelentéslogika, ítéletkalkulus Arisztotelész (ie 4. sz) Leibniz (1646-1716) oole (1815-1864) Gödel (1906-1978) Neumann János (1903-1957) Kalmár László (1905-1976) Péter Rózsa (1905-1977) Kijelentés,

Részletesebben

Kijelentéslogika, ítéletkalkulus

Kijelentéslogika, ítéletkalkulus Kijelentéslogika, ítéletkalkulus Kijelentés, ítélet: olyan kijelentő mondat, amelyről egyértelműen eldönthető, hogy igaz vagy hamis Logikai értékek: igaz, hamis zürke I: 52-53, 61-62, 88, 95 Logikai műveletek

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

A logika, és a matematikai logika alapjait is neves görög tudós filozófus Arisztotelész rakta le "Analitika" című művében, Kr.e. IV. században.

A logika, és a matematikai logika alapjait is neves görög tudós filozófus Arisztotelész rakta le Analitika című művében, Kr.e. IV. században. LOGIKA A logika tudománnyá válása az ókori Görögországban kezdődött. Maga a logika szó is görög eredetű, a logosz szó jelentése: szó, fogalom, ész, szabály. Már az első tudósok, filozófusok, és politikusok

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

Í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

3. Magyarország legmagasabb hegycsúcsa az Istállós-kő.

3. Magyarország legmagasabb hegycsúcsa az Istállós-kő. 1. Bevezetés A logika a görög,,logosz szóból származik, melynek jelentése gondolkodás, beszéd, szó. A logika az emberi gondolkodás vizsgálatával foglalkozik, célja pedig a gondolkodás során használt helyes

Részletesebben

Brósch Zoltán (Debreceni Egyetem Kossuth Lajos Gyakorló Gimnáziuma) Logika

Brósch Zoltán (Debreceni Egyetem Kossuth Lajos Gyakorló Gimnáziuma) Logika Logika Indukció: A fogalomalkotásnak azt a módját, amikor a konkrét tapasztalatokra támaszkodva jutunk el az általános fogalomhoz, indukciónak nevezzük. Dedukció: A fogalomalkotásnak azt a módját, amikor

Részletesebben

Brósch Zoltán (Debreceni Egyetem Kossuth Lajos Gyakorló Gimnáziuma) Logika

Brósch Zoltán (Debreceni Egyetem Kossuth Lajos Gyakorló Gimnáziuma) Logika Logika Indukció: A fogalomalkotásnak azt a módját, amikor a konkrét tapasztalatokra támaszkodva jutunk el az általános fogalomhoz, indukciónak nevezzük. Dedukció: A fogalomalkotásnak azt a módját, amikor

Részletesebben

Matematika Logika

Matematika Logika Matematika Logika 1 Állítások - Kijelentések Az alábbi kijelentő mondatok közül válaszd ki az állításokat! 1. Minden prímszám páratlan 2. Holnap jó műsor lesz a tv-ben. 3. Az óvodában a legszebb lány Veronika.

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

Brósch Zoltán (Debreceni Egyetem Kossuth Lajos Gyakorló Gimnáziuma) Megoldás

Brósch Zoltán (Debreceni Egyetem Kossuth Lajos Gyakorló Gimnáziuma) Megoldás Megoldás 1. Melyik mondat állítás a következőek közül? A: Szép idő van ma? B: A 100 szép szám. C: Minden prímszám páratlan. D: Bárcsak újra nyár lenne! Az állítás olyan kijelentő mondat, melyről egyértelműen

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

Knoch László: Információelmélet LOGIKA

Knoch László: Információelmélet LOGIKA Mi az ítélet? Az ítélet olyan mondat, amely vagy igaz, vagy hamis. Azt, hogy az adott ítélet igaz vagy hamis, az ítélet logikai értékének nevezzük. Jelölése: i igaz h hamis A 2 páros és prím. Logikai értéke

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

Bizonyítási módszerek ÉV ELEJI FELADATOK

Bizonyítási módszerek ÉV ELEJI FELADATOK Bizonyítási módszerek ÉV ELEJI FELADATOK Év eleji feladatok Szükséges eszközök: A4-es négyzetrácsos füzet Letölthető tananyag: Emelt szintű matematika érettségi témakörök (2016) Forrás: www.mozaik.info.hu

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

AZ INFORMATIKA LOGIKAI ALAPJAI

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

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

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

MATEMATIK A 9. évfolyam. 2. modul: LOGIKA KÉSZÍTETTE: VIDRA GÁBOR

MATEMATIK A 9. évfolyam. 2. modul: LOGIKA KÉSZÍTETTE: VIDRA GÁBOR MATEMATIK A 9. évfolyam 2. modul: LOGIKA KÉSZÍTETTE: VIDRA GÁBOR Matematika A 9. évfolyam. 2. modul: LOGIKA Tanári útmutató 2 MODULLEÍRÁS A modul célja Időkeret Ajánlott korosztály Modulkapcsolódási pontok

Részletesebben

2019/02/11 10:01 1/10 Logika

2019/02/11 10:01 1/10 Logika 2019/02/11 10:01 1/10 Logika < Számítástechnika Logika Szerző: Sallai András Copyright Sallai András, 2011, 2012, 2015 Licenc: GNU Free Documentation License 1.3 Web: http://szit.hu Boole-algebra A Boole-algebrá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. A logikai ekvivalencia Az A és a B elsőrendű formulák logikailag ekvivalensek, ha

Részletesebben

Bevezetés a Formális Logikába Érveléstechnika-logika 7.

Bevezetés a Formális Logikába Érveléstechnika-logika 7. Bevezetés a Formális Logikába Érveléstechnika-logika 7. Elemi és összetett állítások Elemi állítások Állítás: Jelentéssel bíró kijelentő mondat, amely információt közöl a világról. Az állítás vagy igaz

Részletesebben

Matematikai logika. Jegyzet. Összeállította: Faludi Anita 2011.

Matematikai logika. Jegyzet. Összeállította: Faludi Anita 2011. Matematikai logika Jegyzet Összeállította: Faludi Anita 2011. Tartalomjegyzék Bevezetés... 3 Előzmények... 3 Augustus de Morgan (1806-1871)... 3 George Boole(1815-1864)... 3 Claude Elwood Shannon(1916-2001)...

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

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

Halmazok; a matematikai logika elemei 1.1. A halmaz fogalma; jelölések

Halmazok; a matematikai logika elemei 1.1. A halmaz fogalma; jelölések 1 Halmazok; a matematikai logika elemei 1.1. A halmaz fogalma; jelölések A matematikában alapfogalmaknak tekintjük azokat a fogalmakat, amelyeket nem határozunk meg, nem definiálunk más fogalmak segítségével

Részletesebben

25. tétel: Bizonyítási módszerek és bemutatásuk tételek bizonyításában, tétel és megfordítása, szükséges és elégséges feltétel

25. tétel: Bizonyítási módszerek és bemutatásuk tételek bizonyításában, tétel és megfordítása, szükséges és elégséges feltétel 5. tétel: Bizonyítási módszerek és bemutatásuk tételek bizonyításában, tétel és megfordítása, szükséges és elégséges feltétel Axióma: Bizonyítás: olyan állítás, amelynek igazságát bizonyítás nélkül elfogadjuk.

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

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

ÍTÉLETKALKULUS (NULLADRENDŰ LOGIKA)

ÍTÉLETKALKULUS (NULLADRENDŰ LOGIKA) ÍTÉLETKALKULUS SZINTAXIS ÍTÉLETKALKULUS (NULLADRENDŰ LOGIKA) jelkészlet elválasztó jelek: ( ) logikai műveleti jelek: ítéletváltozók (logikai változók): p, q, r,... ítéletkonstansok: T, F szintaxis szabályai

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

I. Matematikai logika

I. Matematikai logika I. Matematikai logika Az előző években már hallhattunk róla, hogy a gondolkodás tudománya a logika már az ókorban is megjelent, mert a tudományok fejlődése szükségessé tette. Fontossága miatt itt is utalunk

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

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

Matematikai logika NULLADRENDŰ LOGIKA

Matematikai logika NULLADRENDŰ LOGIKA Matematikai logika NULLADRENDŰ LOGIKA Kijelentő mondatokhoz, melyeket nagy betűkkel jelölünk, interpretáció (egy függvény) segítségével igazságértéket rendelünk (I,H). Szintaxisból (nyelvtani szabályok,

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

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. A logika szó hétköznapi jelentése: rendszeresség, következetesség Ez logikus beszéd

Részletesebben

Csikós Pajor Gizella Péics Hajnalka ALGEBRA. Bolyai Farkas Alapítvány Zenta 2011.

Csikós Pajor Gizella Péics Hajnalka ALGEBRA. Bolyai Farkas Alapítvány Zenta 2011. Béres Zoltán Csikós Pajor Gizella Péics Hajnalka ALGEBRA elméleti összefoglaló és példatár Bolyai Farkas Alapítvány Zenta 0. Szerzők: Béres Zoltán, középiskolai tanár, Bolyai Tehetséggondozó Gimnázium

Részletesebben

Bevezetés a számításelméletbe (MS1 BS)

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

Részletesebben

TANMENET. a matematika tantárgy tanításához 10. E.osztályok számára

TANMENET. a matematika tantárgy tanításához 10. E.osztályok számára Az iskola fejbélyegzője TANMENET a matematika tantárgy tanításához 10. E.osztályok számára Készítette: Természettudományi Munkaközösség matematikát tanító tanárai Készült: a gimnáziumi tanterv alapján

Részletesebben

Matematikai logika Arisztotelész Organon logika feladata Leibniz Boole De Morgan Frege dedukció indukció kijelentésnek

Matematikai logika Arisztotelész Organon logika feladata Leibniz Boole De Morgan Frege dedukció indukció kijelentésnek Matematikai logika A logika tudománnyá válása az ókori Görögországban kezd dött. Maga a logika szó is görög eredet, a logosz szó jelentése: szó, fogalom, ész, szabály. Kialakulása ahhoz köthet, hogy már

Részletesebben

Elektronikai műszerész Elektronikai műszerész

Elektronikai műszerész Elektronikai műszerész A 10/007 (II. 7.) SzMM rendelettel módosított 1/006 (II. 17.) OM rendelet Országos Képzési Jegyzékről és az Országos Képzési Jegyzékbe történő felvétel és törlés eljárási rendjéről alapján. Szakképesítés,

Részletesebben

LOGIKA ÉS ÉRVELÉSTECHNIKA

LOGIKA ÉS ÉRVELÉSTECHNIKA LOGIKA ÉS ÉRVELÉSTECHNIKA ELTE TáTK Közgazdaságtudományi Tanszék Logika és érveléstechnika NULLADREND LOGIKA 3. Készítette: Szakmai felel s: 2011. február Készült a következ m felhasználásával: Ruzsa

Részletesebben

1. Mit nevezünk egész számok-nak? Válaszd ki a következő számok közül az egész számokat: 3 ; 3,1 ; 1,2 ; -2 ; -0,7 ; 0 ; 1500

1. Mit nevezünk egész számok-nak? Válaszd ki a következő számok közül az egész számokat: 3 ; 3,1 ; 1,2 ; -2 ; -0,7 ; 0 ; 1500 1. Mit nevezünk egész számok-nak? Válaszd ki a következő számok közül az egész számokat: 3 ; 3,1 ; 1,2 ; -2 ; -0,7 ; 0 ; 1500 2. Mit nevezünk ellentett számok-nak? Ábrázold számegyenesen a következő számokat

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

SULINOVA PROGRAMTANTERVÉHEZ ILLESZKEDŐ TANMENET 9. ÉVFOLYAM SZÁMÁRA

SULINOVA PROGRAMTANTERVÉHEZ ILLESZKEDŐ TANMENET 9. ÉVFOLYAM SZÁMÁRA 1 SULINOVA PROGRAMTANTERVÉHEZ ILLESZKEDŐ TANMENET 9. ÉVFOLYAM SZÁMÁRA Heti óraszám: 3 Éves óraszám: 37 x 3 = 111 A tanmenet 101 óra beosztását tartalmazza. A dolgozatok írása és javítása 10 órát foglal

Részletesebben

Osztályozó- és javítóvizsga témakörei MATEMATIKA tantárgyból

Osztályozó- és javítóvizsga témakörei MATEMATIKA tantárgyból Osztályozó- és javítóvizsga témakörei MATEMATIKA tantárgyból 9. évfolyam I. Halmazok 1. Alapfogalmak, jelölések 2. Halmaz, részhalmaz fogalma, részhalmazok száma, jelölések 3. Nevezetes számhalmazok (N,

Részletesebben

Láthatjuk, hogy az els szám a 19, amelyre pontosan 4 állítás teljesül, tehát ez lesz a legnagyobb. 1/5

Láthatjuk, hogy az els szám a 19, amelyre pontosan 4 állítás teljesül, tehát ez lesz a legnagyobb. 1/5 D1. Egy pozitív egész számról az alábbi 7 állítást tették: I. A szám kisebb, mint 23. II. A szám kisebb, mint 25. III. A szám kisebb, mint 27. IV. A szám kisebb, mint 29. V. A szám páros. VI. A szám hárommal

Részletesebben

Oktatási Hivatal. 1 pont. A feltételek alapján felírhatók az. összevonás után az. 1 pont

Oktatási Hivatal. 1 pont. A feltételek alapján felírhatók az. összevonás után az. 1 pont Oktatási Hivatal Öt pozitív egész szám egy számtani sorozat első öt eleme A sorozatnak a különbsége prímszám Tudjuk hogy az első négy szám köbének összege megegyezik az ezen öt tag közül vett páros sorszámú

Részletesebben

Példa:

Példa: Digitális információ ábrázolása A digitális technika feladata: információ ábrázolása és feldolgozása a digitális technika eszközeivel Szakterület Jelkészlet Digitális technika "0" és "1" Fizika Logika

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

LOGIKA ÉS ÉRVELÉSTECHNIKA

LOGIKA ÉS ÉRVELÉSTECHNIKA LOGIKA ÉS ÉRVELÉSTECHNIKA ELTE TáTK Közgazdaságtudományi Tanszék Logika és érveléstechnika NULLADREND LOGIKA 1. Készítette: Szakmai felel s: 2011. február Készült a következ m felhasználásával: Ruzsa

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

ÍRÁSBELI BELSŐ VIZSGA MATEMATIKA 8. évfolyam reál tagozat Az írásbeli vizsga gyakorlati és elméleti feladatai a következő témakörökből származnak.

ÍRÁSBELI BELSŐ VIZSGA MATEMATIKA 8. évfolyam reál tagozat Az írásbeli vizsga gyakorlati és elméleti feladatai a következő témakörökből származnak. ÍRÁSBELI BELSŐ VIZSGA MATEMATIKA 8. évfolyam reál tagozat Az írásbeli vizsga gyakorlati és elméleti feladatai a következő témakörökből származnak. Időtartam: 60 perc 1. Halmazműveletek konkrét halmazokkal.

Részletesebben

Logikai alapok a programozáshoz. Nagy Károly 2014

Logikai alapok a programozáshoz. Nagy Károly 2014 Logikai alapok a programozáshoz előadások összefoglalója (Levelezős hallgatók számára) Nagy Károly 2014 1 1. Kijelentés logika, ítéletkalkulus 1.1. Definíció. Azokat a kijelentő mondatokat, amelyekről

Részletesebben

A logikai következmény

A logikai következmény Logika 3 A logikai következmény A logika egyik feladata: helyes következtetési sémák kialakítása. Példa következtetésekre : Minden veréb madár. Minden madár gerinces. Minden veréb gerinces 1.Feltétel 2.Feltétel

Részletesebben

Logikai alapok a programozáshoz

Logikai alapok a programozáshoz Logikai alapok a programozáshoz Nagy Károly 2014 Nyíregyházi Főiskola Matematika és Informatika Intézet 1 Tartalomjegyzék 1. Kijelentés logika, ítéletkalkulus 2 2. A kijelentés logika törvényei 5 3. Logikai

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

2. Ítéletkalkulus szintaxisa

2. Ítéletkalkulus szintaxisa 2. Ítéletkalkulus szintaxisa (4.1) 2.1 Az ítéletlogika abc-je: V 0 V 0 A következő szimbólumokat tartalmazza: ítélet- vagy állításváltozók (az állítások szimbolizálására). Esetenként logikai változónak

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

1. Mit nevezünk egész számok-nak? Válaszd ki a következő számok közül az egész számokat: 3 ; 3,1 ; 1,2 ; -2 ; -0,7 ; 0 ; 1500

1. Mit nevezünk egész számok-nak? Válaszd ki a következő számok közül az egész számokat: 3 ; 3,1 ; 1,2 ; -2 ; -0,7 ; 0 ; 1500 1. Mit nevezünk egész számok-nak? Válaszd ki a következő számok közül az egész számokat: 3 ; 3,1 ; 1,2 ; -2 ; -0,7 ; 0 ; 1500 2. Mit nevezünk ellentett számok-nak? Ábrázold számegyenesen a következő számokat

Részletesebben

Az egyenes egyenlete: 2 pont. Az összevont alak: 1 pont. Melyik ábrán látható e függvény grafikonjának egy részlete?

Az egyenes egyenlete: 2 pont. Az összevont alak: 1 pont. Melyik ábrán látható e függvény grafikonjának egy részlete? 1. Írja fel annak az egyenesnek az egyenletét, amely áthalad az (1; 3) ponton, és egyik normálvektora a (8; 1) vektor! Az egyenes egyenlete: 2. Végezze el a következő műveleteket, és vonja össze az egynemű

Részletesebben

2016/2017. Matematika 9.Kny

2016/2017. Matematika 9.Kny 2016/2017. Matematika 9.Kny Gondolkodási módszerek 1. Számhalmazok: N, Z, Q, Q*, R a számhalmazok kapcsolata, halmazábra 2. Ponthalmazok: o 5. oldal K I. fejezet: 172-178., 180-185., 191. feladat távolsággal

Részletesebben

Magyarok: Bereczki Ilona, Kalmár László, Neumann, Péter Rózsa, Pásztorné Varga Katalin, Urbán János, Lovász László

Magyarok: Bereczki Ilona, Kalmár László, Neumann, Péter Rózsa, Pásztorné Varga Katalin, Urbán János, Lovász László MATEMATIKAI LOGIKA A gondolkodás tudománya Diszkrét matematika Arisztotelész(i.e. 384-311) Boole, De Morgan, Gödel, Cantor, Church, Herbrand, Hilbert, Kleene, Lukesiewicz, Löwenheim, Ackermann, McKinsey,

Részletesebben

Logika es sz am ıt aselm elet I. r esz Logika M asodik el oad as 1/26

Logika es sz am ıt aselm elet I. r esz Logika M asodik el oad as 1/26 1/26 Logika és számításelmélet I. rész Logika Második előadás Tartalom 2/26 Ítéletlogika - Szemantika (folytatás) Formulák és formulahalmazok szemantikus tulajdonságai Szemantikus következményfogalom Formalizálás

Részletesebben

Negáció igazságtáblája. Propozicionális logika -- levezetések. Diszjunkció igazságtáblája. Konjunkció igazságtáblája. Kondicionális igazságtáblája

Negáció igazságtáblája. Propozicionális logika -- levezetések. Diszjunkció igazságtáblája. Konjunkció igazságtáblája. Kondicionális igazságtáblája Negáció igazságtáblája Propozicionális logika -- levezetések p ~p I H H I Konjunkció igazságtáblája Diszjunkció igazságtáblája p q p&q I I I I H H H I H H H H p q pvq I I I I H I H I I H H H Megengedő

Részletesebben

Racionális számok: Azok a számok, amelyek felírhatók két egész szám hányadosaként ( p q

Racionális számok: Azok a számok, amelyek felírhatók két egész szám hányadosaként ( p q Szóbeli tételek matematikából 1. tétel 1/a Számhalmazok definíciója, jele (természetes számok, egész számok, racionális számok, valós számok) Természetes számok: A pozitív egész számok és a 0. Jele: N

Részletesebben

Kisérettségi feladatsorok matematikából

Kisérettségi feladatsorok matematikából Kisérettségi feladatsorok matematikából. feladatsor I. rész. Döntse el, hogy a következő állítások közül melyik igaz és melyik hamis! a) Ha két egész szám összege páratlan, akkor a szorzatuk páros. b)

Részletesebben

LOGIKA. Magyarok: Bereczki Ilona, Kalmár László, Neumann, Péter Rózsa, Pásztorné Varga Katalin, Urbán János, Lovász László.

LOGIKA. Magyarok: Bereczki Ilona, Kalmár László, Neumann, Péter Rózsa, Pásztorné Varga Katalin, Urbán János, Lovász László. MATEMATIKAI A gondolkodás tudománya Arisztotelész(i.e. 384-311) Boole, De Morgan, Gödel, Cantor, Church, Herbrand, Hilbert, Kleene, Lukesiewicz, Löwenheim, Ackermann, McKinsey, Tarski, Ramsey, Russel,

Részletesebben

A matematikai logika alapjai

A matematikai logika alapjai A matematikai logika alapjai A logika a gondolkodás törvényeivel foglalkozó tudomány A matematikai logika a logikának az az ága, amely a formális logika vizsgálatára matematikai módszereket alkalmaz. Tárgya

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

MATEMATIKA TANMENET SZAKKÖZÉPISKOLA 12.E ÉS 13.A OSZTÁLY HETI 4 ÓRA 31 HÉT/ ÖSSZ 124 ÓRA

MATEMATIKA TANMENET SZAKKÖZÉPISKOLA 12.E ÉS 13.A OSZTÁLY HETI 4 ÓRA 31 HÉT/ ÖSSZ 124 ÓRA MINŐSÉGIRÁNYÍTÁSI ELJÁRÁS MELLÉKLET Tanmenetborító Azonosító: ME-III.1./1 Változatszám: 2 Érvényesség 2013. 09. 01. kezdete: Oldal/összes: 1/6 Fájlnév: ME- III.1.1.Tanmenetborító SZK- DC-2013 MATEMATIKA

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

Logikai ágensek. Mesterséges intelligencia március 21.

Logikai ágensek. Mesterséges intelligencia március 21. Logikai ágensek Mesterséges intelligencia 2014. március 21. Bevezetés Eddigi példák tudásra: állapotok halmaza, lehetséges operátorok, ezek költségei, heurisztikák Feltételezés: a világ (lehetséges állapotok

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

EÖTVÖS LORÁND SZAKKÖZÉP- ÉS SZAKISKOLA TANÍTÁST SEGÍTŐ OKTATÁSI ANYAGOK MÉRÉS TANTÁRGY

EÖTVÖS LORÁND SZAKKÖZÉP- ÉS SZAKISKOLA TANÍTÁST SEGÍTŐ OKTATÁSI ANYAGOK MÉRÉS TANTÁRGY EÖTVÖS LORÁND SZAKKÖZÉP- ÉS SZAKISKOLA TANÍTÁST SEGÍTŐ OKTATÁSI ANYAGOK MÉRÉS TANTÁRGY SÍKIDOMOK Síkidom 1 síkidom az a térelem, amelynek valamennyi pontja ugyan abban a síkban helyezkedik el. A síkidomokat

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

INFORMATIKA ALAPJAI-II

INFORMATIKA ALAPJAI-II INFORMATIKA ALAPJAI-II Tartalomjegyzék BEVEZETŐ... RELÁCIÓ- ÉS LOGIKAI EGYENLETEK... 4. RELÁCIÓ EGYENLETEK... 4. LOGIKAI EGYENLETEK... 4.. Egyszerű logikai művelet... 5.. Elemi logikai függvények azonosságai...

Részletesebben

Az osztályozóvizsgák követelményrendszere 9. évfolyam

Az osztályozóvizsgák követelményrendszere 9. évfolyam Az osztályozóvizsgák követelményrendszere 9. évfolyam Kombinatorika, halmazok Összeszámlálási feladatok Halmazok, halmazműveletek, halmazok elemszáma Logikai szita Számegyenesek intervallumok Algebra és

Részletesebben

1. EGY- ÉS KÉTVÁLTOZÓS LOGIKAI ELEMEK KAPCSOLÁSTECHNIKÁJA ÉS JELÖLŐRENDSZERE

1. EGY- ÉS KÉTVÁLTOZÓS LOGIKAI ELEMEK KAPCSOLÁSTECHNIKÁJA ÉS JELÖLŐRENDSZERE . EGY- ÉS KÉTVÁLTOZÓS LOGIKI ELEMEK KPCSOLÁSTECHNIKÁJ ÉS JELÖLŐRENDSZERE tananyag célja: z egy- és kétváltozós logikai függvények Boole algebrai szabályainak, kapcsolástechnikájának és jelölésrendszerének

Részletesebben

Előfeltétel: legalább elégséges jegy Diszkrét matematika II. (GEMAK122B) tárgyból

Előfeltétel: legalább elégséges jegy Diszkrét matematika II. (GEMAK122B) tárgyból ÜTEMTERV Programozás-elmélet c. tárgyhoz (GEMAK233B, GEMAK233-B) BSc gazdaságinformatikus, programtervező informatikus alapszakok számára Óraszám: heti 2+0, (aláírás+kollokvium, 3 kredit) 2019/20-es tanév

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

ÖSSZEVONT ÓRÁK A MÁSIK CSOPORTTAL. tartósság, megerősítés, visszacsatolás, differenciálás, rendszerezés. SZÁMTANI ÉS MÉRTANI SOROZATOK (25 óra)

ÖSSZEVONT ÓRÁK A MÁSIK CSOPORTTAL. tartósság, megerősítés, visszacsatolás, differenciálás, rendszerezés. SZÁMTANI ÉS MÉRTANI SOROZATOK (25 óra) Tantárgy: MATEMATIKA Készítette: KRISTÓF GÁBOR, KÁDÁR JUTKA Osztály: 12. évfolyam, fakultációs csoport Vetési Albert Gimnázium, Veszprém Heti óraszám: 6 Éves óraszám: 180 Tankönyv: MATEMATIKA 11 és MATEMATIKA

Részletesebben

HASONLÓSÁGGAL KAPCSOLATOS FELADATOK. 5 cm 3 cm. 2,4 cm

HASONLÓSÁGGAL KAPCSOLATOS FELADATOK. 5 cm 3 cm. 2,4 cm HASONLÓSÁGGAL KAPCSOLATOS FELADATOK Egyszerű, hasonlósággal kapcsolatos feladatok 1. Határozd meg az x, y és z szakaszok hosszát! y cm cm z x 2, cm 2. Határozd meg az x, y, z és u szakaszok hosszát! x

Részletesebben

Az ellenpéldával történő cáfolás az elemi matematikában

Az ellenpéldával történő cáfolás az elemi matematikában Az ellenpéldával történő cáfolás az elemi matematikában Tuzson Zoltán, Székelyudvarhely Ismeretes, hogy a logika a helyes gondolkodás törvényeit leíró tudomány, ezért más tudományágakban sem nélkülözhető.

Részletesebben

Diszkrét matematika I., 12. előadás Dr. Takách Géza NyME FMK Informatikai Intézet takach november 30.

Diszkrét matematika I., 12. előadás Dr. Takách Géza NyME FMK Informatikai Intézet   takach november 30. 1 Diszkrét matematika I, 12 előadás Dr Takách Géza NyME FMK Informatikai Intézet takach@infnymehu http://infnymehu/ takach 2005 november 30 Vektorok Definíció Egy tetszőleges n pozitív egész számra n-komponensű

Részletesebben

Számelmélet, műveletek, egyenletek, algebrai kifejezések, egyéb

Számelmélet, műveletek, egyenletek, algebrai kifejezések, egyéb Számelmélet, műveletek, egyenletek, algebrai kifejezések, egyéb 2004_02/4 Tegyél * jelet a táblázat megfelelő rovataiba! Biztosan Lehet hogy, de nem biztos Lehetetlen a) b) c) Négy egymást követő természetes

Részletesebben

MATEMATIKA ÉRETTSÉGI TÍPUSFELADATOK MEGOLDÁSAI KÖZÉP SZINT Számelmélet

MATEMATIKA ÉRETTSÉGI TÍPUSFELADATOK MEGOLDÁSAI KÖZÉP SZINT Számelmélet MATEMATIKA ÉRETTSÉGI TÍPUSFELADATOK MEGOLDÁSAI KÖZÉP SZINT Számelmélet A szürkített hátterű feladatrészek nem tartoznak az érintett témakörhöz, azonban szolgálhatnak fontos információval az érintett feladatrészek

Részletesebben

5. feladatsor megoldása

5. feladatsor megoldása megoldása I. rész ( ) = 1. x x, azaz C) a helyes válasz, mivel a négyzetgyökvonás eredménye csak nemnegatív szám lehet.. A húrnégyszögek tétele szerint bármely húrnégyszög szemközti szögeinek összege 180.

Részletesebben

1. Logikailag ekvivalens

1. Logikailag ekvivalens Informatikai logikai alapjai Mérnök informatikus 4. gyakorlat 1. Logikailag ekvivalens 1. Az alábbi formulák közül melyek logikailag ekvivalensek a ( p p) formulával? A. ((q p) q) B. (q q) C. ( p q) D.

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

I.4. BALATONI NYARALÁS. A feladatsor jellemzői

I.4. BALATONI NYARALÁS. A feladatsor jellemzői I.4. BALATONI NYARALÁS Tárgy, téma A feladatsor jellemzői Logikai fogalmak: logikai kijelentés; minden; van olyan; ha, akkor; és; vagy kifejezések jelentése. Egyszerű logikai kapcsolatok mondatok között.

Részletesebben

Zárthelyi feladatok megoldásai tanulságokkal Csikvári Péter 1. a) Számítsuk ki a 2i + 3j + 6k kvaternió inverzét.

Zárthelyi feladatok megoldásai tanulságokkal Csikvári Péter 1. a) Számítsuk ki a 2i + 3j + 6k kvaternió inverzét. Zárthelyi feladatok megoldásai tanulságokkal Csikvári Péter 1. a Számítsuk ki a 2i + 3j + 6k kvaternió inverzét. b Köbgyöktelenítsük a nevezőt az alábbi törtben: 1 3 3. Megoldás: a Egy q = a + bi + cj

Részletesebben

Geometriai feladatok, 9. évfolyam

Geometriai feladatok, 9. évfolyam Geometriai feladatok, 9. évfolyam Szögek 1. Nevezzük meg az ábrán látható szögpárokat. Mekkora a nagyságuk, ha α =52 o fok? 2. Mekkora az a szög, amelyik a, az egyenesszög 1/3-ad része b, pótszögénél 32

Részletesebben

Matematika javítóvizsga témakörök 10.B (kompetencia alapú )

Matematika javítóvizsga témakörök 10.B (kompetencia alapú ) Matematika javítóvizsga témakörök 10.B (kompetencia alapú ) 1. A négyzetgyök fogalma, a négyzetgyökvonás művelete 2. A négyzetgyökvonás azonosságai 3. Műveletek négyzetgyökökkel 4. A nevező gyöktelenítése

Részletesebben

Szé12/1/N és Szé12/1/E osztály matematika minimumkérdések a javítóvizsgára

Szé12/1/N és Szé12/1/E osztály matematika minimumkérdések a javítóvizsgára Szé1/1/N és Szé1/1/E osztály matematika minimumkérdések a javítóvizsgára Halmazelmélet Halmaz, részhalmaz, végtelen halmaz, üres halmaz, halmaz megadása, halmazműveletek (metszet, unió, különbség, komplementer),

Részletesebben