b, Van olyan makacs ember, a senki más tanácsára nem hallgat. (Univerzum az emberek halmaza)
|
|
- Emma Lukács
- 5 évvel ezelőtt
- Látták:
Átírás
1 Elsőrendű logika. Formalizálja az alábbi mondatokat: a, Aki másnak vermet ás, maga esik verembe. (Univerzum az emberek halmaza) ( yv ( E( ) E(: verembe esik, V(: vermet ás y-nak b, Van olyan makacs ember, a senki más tanácsára nem hallgat. (Univerzum az emberek halmaza) M ( y H( E( M(: makacs, H(: hallgat y-ra E(: egyenlő y c, Minden racionális szám estén létezik nála nagyobb irracionális szám. (Univerzum: R) y I( N( : racionális, I(: irracionális N(: nagyobb y d, Bármely két racionális szám között található irracionális szám. (Univerzum: R) y N( zi ( N( N( : racionális, I(: irracionális N(: nagyobb y e, Minden 2-nél nagyobb páros szám felírható két prímszám összegeként. (Univerzum: R) N P T ytz E f y yz,2 N(: >y; P(: páros; T(: prím; E(: egyenlőség; f(: összeadás, f, Minden egész szám páros vagy páratlan. ( U = R) Z PT ahol Z( ): egész; P( ): páros; T( ): páratlan g, Minden aran ami fénylik. F h, Van olyan cápa, amelyik dorombol. C D(, i, Vannak repülő és futómadarak. M R ym y j, Minden egész számnál létezik nagyobb egész szám. (U = R) E ye( N( ( F( k, Malacka mindenkinél kisebb, aki idősebb Zsebi babánál (U = Százholdas pagon Minden lében van két kanál. (Univerzum a minden dolgok halmaza) Van olyan kalap, ami minden zoknihoz illik. (Univerzum a minden dolgok halmaza) Eg csak egy legény van talpon a vidéken. (Univerzum az emberek halmaza)
2 Vannak repülő és futómadarak (Univerzum az élőlények halmaza) Szaffinak van egy fekete macskája. (U = élőlények) Minden kutya teát iszik, ha álmos. (U = élőlények) Az intelligens delfinek között van, amelyik tud labdát egyensúlyozni az orrán.(u=élőlények) A páros számok oszthatók a 2 valamelyik hatványával. (U = R) Van olyan kutya, amelyik megugatja a postást. (U = élőlények) Minden bogár rovar, de nem minden rovar bogár. (U = élőlények) 2. Prene KNF, Skólem Hozza Prene konjunktív normál formára, majd Skólem normálformára: a, y B y Py yzg z M.o.: yb y Py yzg z y B y Py yzg z y B y Py yzg z y nem emelhető ki ezért új ismeretlenek kellenek: y B y Py y2zg y2,z yy 2z B y Py G y2,z y y z B y P y G y,z 2 2 Skólemizálás: c; z f(y,y 2 ) y Prene KNF Bc,y Py Gc,y, f y, y2 2 y2 b, K( (( T( ) ) y( P( ) M.o.: K( ( ( T( ) ) y( P( ) K( (( T( ) ) y( P( ) K( ( T( ) y( P( ) K( ( T ( ) y( P( ) kiemelhető itt, ezér nem kell új ismeretlen: y K( ( T ( ) ( P( ) Ez Prene de nem KNF, ezért disztributív szabályt használunk: y Skólemizálás: y K ( T( K( P( c K ( T ( K( P( c, c, ( y ( P( ) z( P( )) M.o.: ( y ( P( ) z( P( )) ( y ( P( ) z( P( )) ( y ( P( ) z( P( )) yz ( ( P( ) ( P( )) yz ( ( P( ) P( ) Prene KNF Skólemizálás: y f(; z g( ( f ( ) ( P( f ( )) P( g( ) g(, ) d, y( P( ) y ( S( T( ) Prene KNF
3 y B C ya, P( y[ c, ] A B y C y ya B( ( y (P( ) z(p( )) ( yc( 3. Rezolúció a, Igazolja rezolúcióval, hogy helyes az alábbi következtetési séma: (( Ernő ) N( ) B( ) (( T ( S( ) y ) T ( S( ( S( N( ) B( M.o.: Minden feltételt és a következmény negáltját is Skólem normálformára alakítunk: (( Ernő ) N( ) B( ) ( ( Ernő ) N( ) B( ) (( Ernő ) N( ) B( ) ( Ernő ) N( B( ) (( T( S( ) y ) ( ( T( S( ) y ) (( T( S( ) y ) y(( T( S( ) ) y(( T ( ) ( S( )) T( S( ( S( N( ) ( S( N( ) B( Értéket adunk a változóknak: Lajos Ernő y Klózok és a rezolúció: Lajos, Ernő ) N( B( N( B( T ( Lajos, Ernő ) S( Lajos, Ernő )) Lajos, Ernő )) T( B( S( N( S( N( B( H b, Igazolja rezolúcióval, hogy helyes az alábbi következtetési séma: P gb Q P yzq z f,
4 Mo.: P Q f P Q f P gb yzqz z Értékadás: Klózok: g(b); z g(b); y f(g(b)) Pgb Q f gb,g b P gb Q f gb,g b f gb,g b Q nil, c, Formalizáljuk az alábbi állításokat és rezolúcióval mutassuk meg a következtetés helyességét!. Minden 2-nél nagyobb prímszám páratlan. 2. Páratlan szám négyzete páratlan. 3. A 7 prímszám. 4. A 7 nagyobb mint Következtetés: A 2 7 páratlan. Mo:N(, ): nagyobb, mint; P( ): prím; PT( ): páratlan; f( ): négyzetre emelés művelete. N 2) P( 2. PT ( PT ( f ( ) 3. P(7) 4. N(7,2) 5. PT(f(7)) ( PT ( Prene KNF alakra hozás: N( 2) P( PT ( ypt ( PT ( f ( ) yn ( 2) P( PT ( PT ( PT ( f ( ) P(7) N(7,2) PT ( f P(7) N(7,2) PT ( Egységesítő helyettesítés: 7, y 7 Rezolúció: N( 7,2) P(7) PT(7) PT( 7) PT( f (7)) N( 7,2) P(7) PT( f (7)) P(7) N( 7,2) PT( f (7)) N(7,2) PT ( f (7)) PT( f (7)) nil (7)) f (7)) d, Döntse el elsőrendű rezolúcióval, hogy helyes-e az alábbi következtetés! A B( ( D( E( F( ( B( C( ) E( ( F( C( )
5 M.o.: A ( B( C( A ( B( C( ( A B( ) ( A C( B( ( D( E( B ( D( E( ( B D( ) ( B E( E( ( F( C( ) E ( ( F( C( ) E ( F( C( F( Értékadás: Kati )) )) Kati B() Kati C( Kati D( Kati E( A A B B E( F( C( F( B() C( E( F( C( F( H e, Döntse el elsőrendű rezolúcióval, hogy helyes-e az alábbi következtetés! R ypy zrhc Ahc Dz yay Db yzpz M.o.: R yp y R yp y y R P y R P a zrhc Ahc Dz ya y Db ya y Db yzpz yzp( Értékadás után a klózok: R h( Ph(,a hc Ahc Db Ah( c Db R ) P( h(, a) f, T ( F R C ( O F C Gábor, Fogalmazza meg a mondatok jelentését, ha az univerzum a gőték halmaza, és adottak a következők: T( = Tüskés F( = Tud fütyülni = Szereti a répatortát C( = Csíkos O( = Okos 2, Rezolúció segítségével bizonyítsa be, hogy Gábor a gőte szereti a répatortát!
6 g, Z ( L P P( T M Z Dumbó, Fogalmazza meg a mondatok jelentését, ha az univerzum az elefántok halmaza, és adottak a következők: Z( = Zöld L( = Lila fülü P( = Pöttyös fülü T( = Látott már zebrát M( = Szereti Mozartot 2, Rezolúció segítségével bizonyítsa be, hogy Dumbó a kiselefánt szereti Mozartot! h, Formalizálja az alábbi mondatokat! Az alábbi jelöléseket használja: P(: puli, K(: kutya, U(: ugat, H(: harap. Bogáncs puli. A pulik kutyák. Amelyik kutya ugat, az nem harap. Bogáncs mindig ugat. Bizonyítsa rezolúcióval, hogy van olyan puli, amelyik nem harap! i, Rezolúció segítségével igazolja, hogy az első három állítás logikai következménye a negyedik! 3. D( Marci) 4. Marci) ). B( C( 2. B( C( D( j, Az univerzum legyen a komple számok halmaza, kivéve a 0 (0+0i) számot. A prédikátumok és függvények a következők: V( tisztán valós szám P( pozitív szám N( negatív szám f( = 2 Fogalmazza meg szöveggel az alábbi formulák jelentését! () (V( (P( N()) (2) (N( P(f()) (P( P(f()) (3) P(f(i)) Bizonyítsa be rezolúcióval, hogy a fenti (),(2) és (3) állítások logikai következménye, hogy az i nem valós szám! EtraFeladat: Adottak a következő aiómák.bizonyítsa rezolúcióval a következtetést!. Minden kutya egész éjszaka üvölt. 2. Azoknál, akinek van valamilyen macskájuk, nincsenek egerek. 3. A nyugodtan alvóknak nincs semmilyük, ami éjszaka üvölt. 4. Jánosnak kutyája vagy macskája van. 5. Konklúzió: ha János nyugodtan alvó, akkor Jánosnál nincsenek egerek.
7 Mo.:.lépés: formalizálás. Kutya Üvölt 2. yrendelkezik y Macska y zrendelkezik z Egérz 3. A yrendelkezik yüvölty 4. Rendelkezik János, Macska Kutya 5. AJános zrendelkezik János,z Egérz 2.lépés: átalakítás. K Ü K Ü 2. yr y M y zrz Ez yr y M y z Rz Ez yz R y M y Rz Ez yz R y M y Rz Ez 3. A yr yüy A y R yüy ya R y Ü ya R y Ü y A R y Ü y 4. RJános, M K Skólemizálás: a: RJános,a M a Ka 5. AJános zrjános,z Ez AJános zrjános,z Ez AJános zrjános,z Ez Skólemizálás: z b: AJános RJános,b Eb Értékadás után a klózok: (A különböző formulákban a változók értékei különbözőek lehetnek, úgy kell megválasztani őket, hogy a rezolúció során ellentmondásra jussunk). Ka Üa 2. RJános,a M a RJános,b Eb 3. AJános RJános,a Ü a 4. R János,a 5. M a Ka 6. A János 7. R János,b 8. E b
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Í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észletesebbenLogika é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észletesebbenLogika é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észletesebbenA 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észletesebbenLogika és informatikai alkalmazásai kiskérdések február Mikor mondjuk, hogy az F formula a G-nek részformulája?
,,Alap kiskérdések Logika és informatikai alkalmazásai kiskérdések 2012. február 19. 1. Hogy hívjuk a 0 aritású függvényjeleket? 2. Definiálja a termek halmazát. 3. Definiálja a formulák halmazát. 4. Definiálja,
RészletesebbenMatematikai 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észletesebbenLogika és informatikai alkalmazásai
Logika és informatikai alkalmazásai 9. 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észletesebbenLogika é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észletesebbenLogika es sz am ıt aselm elet I. r esz Logika Hatodik el oad as 1/33
1/33 Logika és számításelmélet I. rész Logika Hatodik előadás Tartalom 2/33 Elsőrendű rezolúciós kalkulus - előkészítő fogalmak Prenex formula, Skolem normálforma 3/33 Eldönthető formulaosztályok keresése
RészletesebbenLogika és informatikai alkalmazásai
Logika és informatikai alkalmazásai 9. gyakorlat Németh L. Zoltán http://www.inf.u-szeged.hu/~zlnemeth SZTE, Informatikai Tanszékcsoport 2008 tavasz Egy HF múlt hétről HF1. a) Egyesíthető: s = [y/f(x,
RészletesebbenMatematikai 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észletesebbenLogika é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észletesebbenSzámelmélet Megoldások
Számelmélet Megoldások 1) Egy számtani sorozat második tagja 17, harmadik tagja 1. a) Mekkora az első 150 tag összege? (5 pont) Kiszámoltuk ebben a sorozatban az első 111 tag összegét: 5 863. b) Igaz-e,
RészletesebbenA 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észletesebbenLogika é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észletesebbenMatematika 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észletesebbenMATEMATIKA É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észletesebbenSzá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észletesebbenElső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észletesebbenSzigethalom Városi Szabadid központ
Szigethalom Városi Szabadid központ (2315 Szigethalom, Sport u. 4.) Szabadtéri rendezvény (Városnap-Gyereknap) Biztonsági terv Tűzvédelmi szabályzat és Tűzriadóterv 2015. 04.15. Összeállította: Kohut és
RészletesebbenMATEMATIKA ÉRETTSÉGI TÍPUSFELADATOK MEGOLDÁSAI KÖZÉPSZINT Számelmélet
MATEMATIKA ÉRETTSÉGI TÍPUSFELADATOK MEGOLDÁSAI KÖZÉPSZINT 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észletesebbenHALMAZOK TULAJDONSÁGAI,
Halmazok definíciója, megadása HALMAZOK TULAJDONSÁGAI, 1. A következő definíciók közül melyek határoznak meg egyértelműen egy-egy halmazt? a) A: a csoport tanulói b) B: Magyarország városai ma c) C: Pilinszky
RészletesebbenElemi algebrai eszközökkel megoldható versenyfeladatok Ábrahám Gábor, Szeged
Magas szintű matematikai tehetséggondozás Elemi algebrai eszközökkel megoldható versenyfeladatok Ábrahám Gábor, Szeged Ahhoz, hogy egy diák kimagasló eredményeket érhessen el matematika versenyeken, elengedhetetlenül
RészletesebbenA 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észletesebbenBró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észletesebbenMagyarok: 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észletesebbenLogika é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 2011 tavasz Irodalom Szükséges elmélet a mai gyakorlathoz Előadás
RészletesebbenHatvá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
RészletesebbenMemo: Az alábbi, "természetes", Gentzen típusú dedukciós rendszer szerint készítjük el a levezetéseket.
Untitled 2 1 Theorema Predikátumlogika 1 3 Natural Deduction (Gentzen mag/alap kalkulus) Cél: a logikai (szematikai) következményfogalom helyett a (szintaktikai) levethetõség vizsgálata. A bizonyítási
RészletesebbenElsőrendű logika. Mesterséges intelligencia március 28.
Elsőrendű logika Mesterséges intelligencia 2014. március 28. Bevezetés Ítéletkalkulus: deklaratív nyelv (mondatok és lehetséges világok közti igazságrelációk) Részinformációkat is kezel (diszjunkció, negáció)
RészletesebbenArany Dániel Matematikai Tanulóverseny 2016/2017-es tanév Kezdők III. kategória I. forduló
Bolyai János Matematikai Társulat Arany Dániel Matematikai Tanulóverseny 016/017-es tanév Kezdők I II. kategória II. forduló Kezdők III. kategória I. forduló Megoldások és javítási útmutató 1. Egy kört
RészletesebbenÍ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észletesebbenLOGIKA. 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észletesebbenOktatá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észletesebbenDiszkré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észletesebbenSzakács Lili Kata megoldása
1. feladat Igazoljuk, hogy minden pozitív egész számnak van olyan többszöröse, ami 0-tól 9-ig az összes számjegyet tartalmazza legalább egyszer! Andó Angelika megoldása Áll.: minden a Z + -nak van olyan
RészletesebbenMagasabbfokú egyenletek
86 Magasabbfokú egyenletek Magasabbfokú egyenletek 5 90 a) =! ; b) =! ; c) = 5, 9 a) Legyen = y Új egyenletünk: y - 5y+ = 0 Ennek gyökei: y=, y= Tehát egyenletünk gyökei:, =!,, =! b) Új egyenletünk: y
RészletesebbenAutomatikus következtetés
Automatikus következtetés 1. Rezolúció Feladat: A 1 : Ha süt a nap, akkor Péter strandra megy. A 2 : Ha Péter strandra megy, akkor úszik. A 3 : Péternek nincs lehetősége otthon úszni. Lássuk be, hogy ezekből
RészletesebbenKalkulus I. gyakorlat Fizika BSc I/1.
. Ábrázoljuk a következő halmazokat a síkon! {, y) R 2 : + y < }, b) {, y) R 2 : 2 + y 2 < 4}, c) {, y) R 2 : 2 + y 2 < 4, + y < }, {, y) R 2 : + y < }. Kalkulus I. gyakorlat Fizika BSc I/.. gyakorlat
Részletesebben3. 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észletesebbenNagy 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észletesebbenBrósch Zoltán (Debreceni Egyetem Kossuth Lajos Gyakorló Gimnáziuma) Számelmélet I.
Számelmélet I. DEFINÍCIÓ: (Osztó, többszörös) Ha egy a szám felírható egy b szám és egy másik egész szám szorzataként, akkor a b számot az a osztójának, az a számot a b többszörösének nevezzük. Megjegyzés:
RészletesebbenKijelenté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észletesebbenSzámelmélet. 4. Igazolja, hogy ha hat egész szám összege páratlan, akkor e számok szorzata páros!
Számelmélet - oszthatóság definíciója - oszthatósági szabályok - maradékos osztás - prímek definíciója - összetett szám definíciója - legnagyobb közös osztó definíciója - legnagyobb közös osztó meghatározása
Részletesebben1. 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észletesebbenEgészrészes feladatok
Kitűzött feladatok Egészrészes feladatok Győry Ákos Miskolc, Földes Ferenc Gimnázium 1. feladat. Oldjuk meg a valós számok halmazán a { } 3x 1 x+1 7 egyenletet!. feladat. Bizonyítsuk be, hogy tetszőleges
RészletesebbenKijelenté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észletesebbenBevezetés a matematikába (2009. ősz) 1. röpdolgozat
Bevezetés a matematikába (2009. ősz) 1. röpdolgozat 1. feladat. Fogalmazza meg a következő ítélet kontrapozícióját: Ha a sorozat csökkenő és alulról korlátos, akkor konvergens. 2. feladat. Vezessük be
RészletesebbenLogikai á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észletesebbenBizonyítási módszerek - megoldások. 1. Igazoljuk, hogy menden természetes szám esetén ha. Megoldás: 9 n n = 9k = 3 3k 3 n.
Bizonyítási módszerek - megoldások 1. Igazoljuk, hogy menden természetes szám esetén ha (a) 9 n 3 n (b) 4 n 2 n (c) 21 n 3 n (d) 21 n 7 n (e) 5 n 25 n (f) 4 n 16 n (g) 15 n (3 n 5 n) 9 n n = 9k = 3 3k
RészletesebbenLogika es sz am ıt aselm elet I. r esz Logika Negyedik el oad as 1/26
1/26 Logika és számításelmélet I. rész Logika Negyedik előadás Tartalom 2/26 Az elsőrendű logika szemantikája Formulák és formulahalmazok szemantikus tulajdonságai Elsőrendű logikai nyelv interpretációja
RészletesebbenPélda 1. A majom és banán problémája
Példa 1. A majom és banán problémája Egy majom ketrecében mennyezetről egy banánt lógatnak. Kézzel elérni lehetetlen, viszont egy faládát be is tesznek. Eléri-e a majom a banánt? Mit tudunk a majom képességeirõl?
Részletesebben25. 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észletesebbenKövetkezik, hogy B-nek minden prímosztója 4k + 1 alakú, de akkor B maga is 4k + 1 alakú, s ez ellentmondás.
Prímszámok A (pozitív) prímszámok sorozata a következő: 2, 3, 5, 7, 11, 13, 17, 19,... 1. Tétel. Végtelen sok prímszám van. Első bizonyítás. (Euklidész) Tegyük fel, hogy állításunk nem igaz, tehát véges
RészletesebbenTrigonometria Megoldások. 1) Oldja meg a következő egyenletet a valós számok halmazán! (12 pont) Megoldás:
Trigonometria Megoldások ) Oldja meg a következő egyenletet a valós számok halmazán! cos + cos = sin ( pont) sin cos + = + = ( ) cos cos cos (+ pont) cos + cos = 0 A másodfokú egyenlet megoldóképletével
RészletesebbenA TANTÁRGY ADATLAPJA
A TANTÁRGY ADATLAPJA 1. A képzési program adatai 1.1 Felsőoktatási intézmény Babeş-Bolyai Tudományegyetem 1.2 Kar Matematika és Informatika 1.3 Intézet Magyar Matematika és Informatika 1.4 Szakterület
RészletesebbenHalmazelmé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észletesebbenAz 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észletesebbenIntergrált Intenzív Matematika Érettségi
. Adott a mátri, determináns determináns, ahol,, d Számítsd ki:. b) Igazold, hogy a b c. Adott a az 6 0 egyenlet megoldásai. a). c) Számítsd ki a d determináns értékét. d c a b determináns, ahol abc,,.
RészletesebbenPrediká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észletesebbenAz 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. Az elsőrendű logikai nyelv interpretációja L interpretációja egy I-vel jelölt függvénynégyes,
RészletesebbenHalmaz: 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észletesebbenLOGIKA ÉS ÉRVELÉSTECHNIKA
LOGIKA ÉS ÉRVELÉSTECHNIKA Készült a TÁMOP-4.1.2-08/2/a/KMR-2009-0041 pályázati projekt keretében Tartalomfejlesztés az ELTE TáTK Közgazdaságtudományi Tanszékén az ELTE Közgazdaságtudományi Tanszék az MTA
RészletesebbenLOGIKA É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észletesebben1. 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észletesebbenKészítette: Ernyei Kitti. Halmazok
Halmazok Jelölések: A halmazok jele általában nyomtatott nagybetű: A, B, C Az x eleme az A halmaznak: Az x nem eleme az A halmaznak: Az A halmaz az a, b, c elemekből áll: A halmazban egy elemet csak egyszer
RészletesebbenDiszkré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,
RészletesebbenNagy 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észletesebbenAz 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észletesebben6. Függvények. Legyen függvény és nem üreshalmaz. A függvényt az f K-ra való kiterjesztésének
6. Függvények I. Elméleti összefoglaló A függvény fogalma, értelmezési tartomány, képhalmaz, értékkészlet Legyen az A és B halmaz egyike sem üreshalmaz. Ha az A halmaz minden egyes eleméhez hozzárendeljük
RészletesebbenAlgoritmuselmélet gyakorlat (MMN111G)
Algoritmuselmélet gyakorlat (MMN111G) 2014. január 14. 1. Gyakorlat 1.1. Feladat. Adott K testre rendre K[x] és K(x) jelöli a K feletti polinomok és racionális törtfüggvények halmazát. Mutassuk meg, hogy
RészletesebbenAnalízis előadás és gyakorlat vázlat
Analízis előadás és gyakorlat vázlat Készült a PTE TTK GI szakos hallgatóinak Király Balázs 2010-11. I. Félév 2 1. fejezet Számhalmazok és tulajdonságaik 1.1. Nevezetes számhalmazok ➀ a) jelölése: N b)
RészletesebbenDiszkré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észletesebbenMATEMATIKA ÉRETTSÉGI TÍPUSFELADATOK MEGOLDÁSAI KÖZÉPSZINT Trigonometria
MATEMATIKA ÉRETTSÉGI TÍPUSFELADATOK MEGOLDÁSAI KÖZÉPSZINT Trigonometria 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észletesebben1. A polinom fogalma. Számolás formális kifejezésekkel. Feladat Oldjuk meg az x2 + x + 1 x + 1. = x egyenletet.
1. A polinom fogalma Számolás formális kifejezésekkel. Feladat Oldjuk meg az x2 + x + 1 x + 1 = x egyenletet. Megoldás x + 1-gyel átszorozva x 2 + x + 1 = x 2 + x. Innen 1 = 0. Ez ellentmondás, így az
RészletesebbenArany Dániel Matematikai Tanulóverseny 2008/2009-es tanév első (iskolai) forduló haladók II. kategória
Bolyai János Matematikai Társulat Oktatási és Kulturális Minisztérium Támogatáskezelő Igazgatósága támogatásával Arany Dániel Matematikai Tanulóverseny 00/009-es tanév első (iskolai) forduló haladók II.
RészletesebbenKomplex 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észletesebbenLogika és informatikai alkalmazásai
Logika és informatikai alkalmazásai 6. 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észletesebbenKondicionális. Konverz (retro) kondicionális. Predikátumlogika. Predikátumlogika 22/05/2014. p q
Kondicionális p q Ha esik az eső, (akkor) vizes út. Ha felhívsz holnap, (akkor) találkozunk. Ha adsz pénzt, (akkor) veszek fagyit. Akkor vizes az út, ha esik az eső. Akkor találkozunk, ha felhívsz holnap.
RészletesebbenKomplex számok. A komplex számok algebrai alakja
Komple számok A komple számok algebrai alakja 1. Ábrázolja a következő komple számokat a Gauss-féle számsíkon! Adja meg a számok valós részét, képzetes részét és számítsa ki az abszolút értéküket! a) 3+5j
Részletesebben3. Algebrai kifejezések, átalakítások
I Elméleti összefoglaló Műveletek polinomokkal Algebrai kifejezések, átalakítások Az olyan betűs kifejezéseket, amelyek csak valós számokat, változók pozitív egész kitevőjű hatványait, valamint összeadás,
RészletesebbenM. 33. Határozza meg az összes olyan kétjegyű szám összegét, amelyek 4-gyel osztva maradékul 3-at adnak!
Magyar Ifjúság 6 V SOROZATOK a) Három szám összege 76 E három számot tekinthetjük egy mértani sorozat három egymás után következő elemének vagy pedig egy számtani sorozat első, negyedik és hatodik elemének
Részletesebben352 Nevezetes egyenlôtlenségek. , az átfogó hossza 81 cm
5 Nevezetes egyenlôtlenségek a b 775 Legyenek a befogók: a, b Ekkor 9 + $ ab A maimális ab terület 0, 5cm, az átfogó hossza 8 cm a b a b 776 + # +, azaz a + b $ 88, tehát a keresett minimális érték: 88
Részletesebben1. 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észletesebbenDISZKRÉT MATEMATIKA. Elsőrendű Logika. Minden madár gerinces.
Elsőrendű Logika Volt (a helyes következtetéseknél): Minden veréb madár. Minden madár gerinces. Minden veréb gerinces. Feltétel1 Feltétel2 Következmény Érezzük, hogy a leírt következtetés helyes. Azonban
Részletesebben2012. október 2 és 4. Dr. Vincze Szilvia
2012. október 2 és 4. Dr. Vincze Szilvia Tartalomjegyzék 1.) Az egyváltozós valós függvény fogalma, műveletek 2.) Zérushely, polinomok zérushelye 3.) Korlátosság 4.) Monotonitás 5.) Szélsőérték 6.) Konvex
RészletesebbenArany Dániel Matematikai Tanulóverseny 2015/2016-os tanév 1. forduló Haladók III. kategória
Bolyai János Matematikai Társulat Arany Dániel Matematikai Tanulóverseny 2015/2016-os tanév 1. forduló Haladók III. kategória Megoldások és javítási útmutató 1. Az a és b befogójú derékszögű háromszögnek
RészletesebbenALGEBRAI KIFEJEZÉSEK, EGYENLETEK
ALGEBRAI KIFEJEZÉSEK, EGYENLETEK AZ ALGEBRAI KIFEJEZÉS FOGALMÁNAK KIALAKÍTÁSA (7-9. OSZTÁLY) Racionális algebrai kifejezés (betűs kifejezés): betűket és számokat a négy alapművelet véges sokszori alkalmazásával
RészletesebbenPrediká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észletesebbenLogika és informatikai alkalmazásai
Logika és informatikai alkalmazásai 1. gyakorlat Németh L. Zoltán http://www.inf.u-szeged.hu/~zlnemeth SZTE, Informatikai Tanszékcsoport 2008 tavasz Követelmények A tárgy (ea+gyak) teljesítésének követlményeit
RészletesebbenXXVI. Erdélyi Magyar Matematikaverseny Zilah, február I. forduló osztály
Zilah, 016. február 11 14. 1. feladat: Oldd meg a következő egyenletet: 1 1 1 1 5 4 1 4 3 3 1 3 5 4 4 10 Turdean Katalin, Zilah Felírjuk a létezési feltételeket:5 4 1 0, 4 3 3 0, 1 3 5 0, 4 4 10 0. Bevezetjük
Részletesebben2) Írja fel az alábbi lineáris függvény grafikonjának egyenletét! (3pont)
(11/1) Függvények 1 1) Ábrázolja az f()= -4 függvényt a [ ;10 ] intervallumon! (pont) ) Írja fel az alábbi lineáris függvény grafikonjának egyenletét! (3pont) 3) Ábrázolja + 1 - függvényt a [ ;] -on! (3pont)
RészletesebbenDiszkrét Matematika I.
Orosz Ágota Kaiser Zoltán Diszkrét Matematika I példatár mobidiák könyvtár Orosz Ágota Kaiser Zoltán Diszkrét Matematika I példatár mobidiák könyvtár SOROZATSZERKESZTŐ Fazekas István Orosz Ágota Kaiser
RészletesebbenAz Országos Középiskolai Tanulmányi Verseny tanévi második fordulójának feladatmegoldásai. x 2 sin x cos (2x) < 1 x.
Az Országos Középiskolai Tanulmányi Verseny 2005-2006. tanévi második fordulójának feladatmegoldásai matematikából, a II. kategória számára 1. Oldja meg a következő egyenlőtlenséget, ha x > 0: x 2 sin
RészletesebbenBró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észletesebbenBizonyí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: s s t 2 s t. m m m. e f e f. a a ab a b c. a c b ac. 5. Végezzük el a kijelölt m veleteket a változók lehetséges értékei mellett!
nomosztással a megoldást visszavezethetjük egy alacsonyabb fokú egyenlet megoldására Mivel a 4 6 8 6 egyenletben az együtthatók összege 6 8 6 ezért az egyenletnek gyöke az (mert esetén a kifejezés helyettesítési
RészletesebbenDISZKRÉT MATEMATIKA. Elsőrendű Logika. Minden madár gerinces. SZEMANTIKA
Elsőrendű Logika Volt (a helyes következtetéseknél): Minden veréb madár. Minden madár gerinces. Minden veréb gerinces. Feltétel1 Feltétel2 Következmény Érezzük, hogy a leírt következtetés helyes. Azonban
RészletesebbenOSZTHATÓSÁG. Osztók és többszörösök : a 3 többszörösei : a 4 többszörösei Ahol mindkét jel megtalálható a 12 többszöröseit találjuk.
Osztók és többszörösök 1783. A megadott számok elsõ tíz többszöröse: 3: 3 6 9 12 15 18 21 24 27 30 4: 4 8 12 16 20 24 28 32 36 40 5: 5 10 15 20 25 30 35 40 45 50 6: 6 12 18 24 30 36 42 48 54 60 1784. :
Részletesebben