Kondicionális. Konverz (retro) kondicionális. Predikátumlogika. Predikátumlogika 22/05/2014. p q
|
|
- Mátyás Fazekas
- 8 évvel ezelőtt
- Látták:
Átírás
1 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. Akkor veszek fagyit, ha adsz pénzt. Konverz (retro) kondicionális Vizes az út, feltéve hogy esik az eső. Találkozunk, feltéve hogy felhívsz holnap. Veszek fagyit, feltéve ha adsz pénzt. Vizes az út, feltéve hogy esik az eső. Találkozunk, feltéve hogy felhívsz holnap. Veszek fagyit, feltéve ha adsz pénzt. szükséges feltétel Most belenézünk a tagmondat belsejébe > gazdagabb képet kapunk 1
2 p Minden magyar lány szép. p Minden magyar lány szép. q Babett magyar lány. q Babett magyar lány. r (Tehát) Babett szép. r (Tehát) Babett szép. p q r Minden magyar lány szép. Babett magyar lány. (Tehát) Babett szép. Individuumkonstansok Individuumváltozók gazdagabb nyelv kell: Ez így érvénytelen Predikátumkonstansok Predikátumváltozók gazdagabb nyelv kell: Pista jól beszél angolul Individuumkonstansok Individuumváltozók ppgmvmi,de A nmeee Predikátumkonstansok Predikátumváltozók 2
3 Pista jól beszél angolul Pista jól beszél angolul ppgmvmi,de A nmeee így fogjuk felírni: Ap És mivel egy bemenet van: A 1 p ppgmvmi,de A nmeee így fogjuk felírni: Ap És mivel egy argumentum van: A 1 p Hogyan lehet két argumentum? Hogyan lehet két argumentum? Reláció Hogyan lehet két argumentum? Reláció Debrecen nagyobb, mint Szolnok. Hogyan lehet két argumentum? Reláció Debrecen nagyobb, mint Szolnok. N 2 ds 3
4 Hogyan lehet két argumentum? Reláció Debrecen nagyobb, mint Szolnok. N 2 ds Változóval: N 2 xy x nagyobb, mint y Mi mindenre jók a változók? KVANTOROS állítások (kvantifikáció) Mindenki jól beszél angolul. Mindenki jól beszél angolul. x(ax) Mindenki jól beszél angolul. x(ax) (minden x-re Ax) Van olyan, aki jól beszél angolul. univerzális kvantor 4
5 Van olyan, aki jól beszél angolul. x(ax) Van olyan, aki jól beszél angolul. x(ax) (létezik x, hogy Ax) egzisztenciális kvantor Mondataink Csak individuumváltozók felett kvantifikálunk! elsőrendű logika Babett úszik. Úb mondat x úszik. Úx nyitott mondat Van olyan, aki úszik. x(úx) zárt mondat Mondataink Mondataink Babett úszik. Úb mondat x úszik. Úx nyitott mondat Van olyan, aki úszik. x(úx) zárt mondat Babett úszik. Úb mondat x úszik. Úx nyitott mondat Van olyan, aki úszik. x(úx) zárt mondat Valaki úszik helyes formalizálása: x(úx) 5
6 Kategóriáink Kategóriáink Individuum: egyedi név, leírás Sándor, József, Benedek, a kedvenc zeném, Attila főnöke, az ország legnagyobb bankja Individuum: egyedi név, leírás Sándor, József, Benedek, a kedvenc zeném, Attila főnöke, az ország legnagyobb bankja Predikátum: tulajdonság, reláció Úszik, páratlan szám, szép lány, tud angolul, nagyobb, szereti, testvérek Állítások fordítása predikátumlogikában Állítások fordítása predikátumlogikában Kovács műszaki végzettségű építési vállalkozó. Péter szabadságra ment, de nem utazott el. János éhes marad, ha Kati nem főz vacsorát. Éhes marad, ha nem főz vacsorát. A legjobb autó is csak akkor működik, ha karbantartják. Ha megcsináltatja a fűtést és a csatornát, összkomfortos lakásban fog lakni. Állítások fordítása predikátumlogikában Állítások fordítása predikátumlogikában Mézga család tagjai: Géza, Paula, Kriszta, Aladár Van remény. Vannak még jó emberek. Sok jó film van. Néhányan elkéstek. Néhányan félreértik a helyzetet. Nem mindenki érti a helyzetet. Minden bálna emlős. Minden magyar lány szép. 6
7 Állítások fordítása predikátumlogikában Minden világos. Nem igaz, hogy minden világos. Van, ami nem világos. Semmi sem jó. Minden jó. Mindenki tud úszni. Nincs olyan, aki ne tudna úszni. Mindenki tud úszni. Nincs olyan, aki ne tudna úszni. x(úx) ~ x(~úx) Mindenki tud úszni. Nincs olyan, aki ne tudna úszni. x(úx) ~ x(~úx) x(φx) ~ x(~φx) Valaki nem énekel. Nem mindenki énekel. Valaki nem énekel. Nem mindenki énekel. x(~éx) ~ x(éx) 7
8 Valaki nem énekel. Nem mindenki énekel. Van igazmondó. Nem mindenki hazug. x(~éx) ~ x(éx) x(~φx) ~ x(φx) Van igazmondó. Nem mindenki hazug. x(ix) ~ x(~ix) Van igazmondó. Nem mindenki hazug. x(ix) ~ x(~ix) x(φx) ~ x(~φx) Mindenki okos. Senki sem buta. Mindenki okos. Senki sem buta. ~ x(~ox) x(ox) 8
9 használata Kriszta fekete macskája kap hitelt. Mindenki okos. Senki sem buta. ~ x(~ox) x(ox) ~ x(~φx) x(φx) tárgyalási univerzum: a Mézga család szereplői k: Kriszta T 2 : 1 2 tulajdona F 1 : 1 fekete M 1 : 1 macska H 1 : 1 kap hitelt x (F 1 x & M 1 x & T 2 xk & H 1 x) használata használata Kriszta fekete macskája kap hitelt. tárgyalási univerzum: a Mézga család szereplői k: Kriszta T 2 : 1 2 tulajdona F 1 : 1 fekete M 1 : 1 macska H 1 : 1 kap hitelt x (F 1 x & M 1 x & T 2 xk & H 1 x) Kriszta fekete macskája kap hitelt. tárgyalási univerzum: a Mézga család szereplői k: Kriszta T 2 : 1 2 tulajdona F 1 : 1 fekete M 1 : 1 macska H 1 : 1 kap hitelt x (F 1 x & M 1 x & T 2 xk & H 1 x) használata használata Kriszta fekete macskája kap hitelt. tárgyalási univerzum: a Mézga család szereplői k: Kriszta T 2 : 1 2 tulajdona F 1 : 1 fekete M 1 : 1 macska H 1 : 1 kap hitelt & H 1 x) x (F 1 x & M 1 x & T 2 xk & H 1 x) 9
10 használata használata tárgyalási univerzum: valós személyek, tárgyak R 1 : 1 rágógumi Z 2 : 1 2 szájában van & H 1 x) 2 különféle jelentés: minden x-re: van olyan y: y rágó és y x szájában van x y (R 1 y & Z 2 yx) van olyan y: y rágó és minden x-re: (y x szájában van) y x (R 1 y & Z 2 yx) y (R 1 y & x Z 2 yx) használata használata 2 különféle jelentés: minden x-re: van olyan y: y rágó és y x szájában van x y (R 1 y & Z 2 yx) van olyan y: y rágó és minden x-re: (y x szájában van) y x (R 1 y & Z 2 yx) y (R 1 y & x Z 2 yx) 2 különféle jelentés: minden x-re: van olyan y: y rágó és y x szájában van x y (R 1 y & Z 2 yx) van olyan y: y rágó és minden x-re: (y x szájában van) y x (R 1 y & Z 2 yx) y (R 1 y & x Z 2 yx) használata használata 2 különféle jelentés: minden x-re: van olyan y: y rágó és y x szájában van x y (R 1 y & Z 2 yx) van olyan y: y rágó és minden x-re: (y x szájában van) y x (R 1 y & Z 2 yx) y (R 1 y & x Z 2 yx) 2 különféle jelentés: minden x-re: van olyan y: y rágó és y x szájában van x y (R 1 y & Z 2 yx) van olyan y: y rágó és minden x-re: (y x szájában van) y x (R 1 y & Z 2 yx) y (R 1 y & x Z 2 yx) 10
Mit tanultunk eddig? Mit tanultunk eddig? Mit tanultunk eddig? Mit tanultunk eddig? 4/14/2014. propozicionális logikát
roozicionális logikát roozicionális logikát Legfontosabb logikai konnektívumok: roozíció=állítás nem néztünk a tagmondatok belsejébe, csak a logikai kacsolatuk érdekelt minket Legfontosabb logikai konnektívumok:
RészletesebbenÖsszefüggések. kondicionális jelentése
Összefüggések kondicionális jelentése p q ~pvq Ha esik az eső, vizes az út. p q Ha nem vizes az út, nem esik az eső. ~q ~p Ha esik az eső, vizes az út. p q Ha nem vizes az út, nem esik az eső. ~q ~p Kontrapozíció
RészletesebbenMindenki tud úszni. Nincs olyan, aki ne tudna úszni.
Mindenki tud úszni. Nincs olyan, aki ne tudna úszni. Kvantoros logikai ekvivalenciák Mindenki tud úszni. Nincs olyan, aki ne tudna úszni. x(úx) ~ x(~úx) Kvantoros logikai ekvivalenciák Mindenki tud úszni.
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é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é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é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é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é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észletesebbenTartalomjegyzék. Pragmatikai és logikai alapok. Első rész A könyv célja, használata 1.2 Elméleti keretek: pragmatika és logika
Tartalomjegyzék ELSŐ FEJEZET Bevezetés 1.1. A könyv célja, használata 1.2 Elméleti keretek: pragmatika és logika 15 15 17 Első rész Pragmatikai és logikai alapok MÁSODIK FEJEZET A vita 2.1 A vita: megközelítési
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é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é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é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 logika szó hétköznapi jelentése: rendszeresség, következetesség Ez logikus beszéd
RészletesebbenHARMADIK RÉSZ / 5. FEJEZET A RUSSELL-FÉLE LÉTEZÉSI PARADOXON
HARMADIK RÉSZ / 5. FEJEZET A RUSSELL-FÉLE LÉTEZÉSI PARADOXON C: \ WORDWO80 SELENE PR_F_DIAMANT VVxxx vv05xxx.doc 97792 14327 2063 9 2011.08.11. 09:48:45 1 / 13 TARTALOMJEGYZÉK HARMADIK RÉSZ / 5. FEJEZET...1
RészletesebbenMatematikai 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észletesebbenDiszkrét Matematika. Ha Picur akkor és csak akkor szabadítja ki a kalitkából Gombóc Artúrt, ha Artúr
FELADATOK AZ ÍTÉLETKALKULUS TÉMAKÖRHÖZ Diszkrét Matematika 3.1. Feladat. Döntse el, hogy az (a) A ( ( B) (C B) ) ( ) (b) A ( B) (C B) ( ) ( ) (c) (A ( B)) C B (d) A ( B) (C B) formulák közül a prímítéletek
RészletesebbenLogika es sz am ıt aselm elet I. r esz Logika Harmadik el oad as 1/33
1/33 Logika és számításelmélet I. rész Logika Harmadik előadás Tartalom 2/33 Elsőrendű logika bevezetés Az elsőrendű logika szintaxisa 3/33 Nulladrendű állítás Az ítéletlogikában nem foglalkoztunk az álĺıtások
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é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észletesebben1. Az elsőrendű logika szintaxisa
1. Az elsőrendű logika szintaxisa 6.1 Alapelemek Nyelv=abc + szintaxis + szemantika. 6.1.1 Abc Logikai rész:,,,,,, Indivídum változók (X, Y, ) Elválasztó jelek ( ( ) ) (ítélet változók) Logikán kívüli
Részletesebbenb, Van olyan makacs ember, a senki más tanácsára nem hallgat. (Univerzum az emberek halmaza)
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,
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é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észletesebbenMatematikai logika. Nagy Károly 2009
Matematikai logika előadások összefoglalója (Levelezős hallgatók számára) Nagy Károly 2009 1 1. Elsőrendű nyelvek 1.1. Definíció. Az Ω =< Srt, Cnst, F n, P r > komponensekből álló rendezett négyest elsőrendű
RészletesebbenArról, ami nincs A nemlétezés elméletei. 7. A modern logika és a létezés október 21.
Arról, ami nincs A nemlétezés elméletei 7. A modern logika és a létezés 2013. október 21. Ismétlés Az ontológiai istenérv modern kritikája: a létezés nem tulajdonság nem lehet feltenni a kérdést, hogy
RészletesebbenMatematika 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észletesebbenNegá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é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 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é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 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é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észletesebbenLogika nyelvészeknek, 11. óra A kvantifikáció kezelése a klasszikus és az általánosított kvantifikációelméletben
Logika nyelvészeknek, 11. óra A kvantifikáció kezelése a klasszikus és az általánosított kvantifikációelméletben I. A kvantifikáció a klasszikus Frege-féle kvantifikációelméletben A kvantifikáció klasszikus
RészletesebbenPénzügyi kimutatás. Bevétel
40 00 40 00 40 00 10 00 50 00 40 00 10 00 100 00 40 00 10 00 1 40 00 10 00 124 00 40 00 10 00 124 00 40 00 10 00 124 00 40 00 10 00 : 124 00 6 00 40 00 10 00 : 124 00 6 00 40 00 10 00 : 124 00 6 00 : 40
RészletesebbenMegoldások. 2001. augusztus 8.
Megoldások 2001. augusztus 8. 1 1. El zetes tudnivalók a különböz matematikai logikai nyelvekr l 1.1. (a) Igen (b) Igen (c) Nem, mert nem kijelent mondat. (d) Nem fejez ki önmagában állítást. "Ádám azt
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észletesebbenÉRVELÉSTECHNIKA ÉS LOGIKA
ÉRVELÉSTECHNIKA ÉS LOGIKA PREDIKÁTUMLOGIKA Molnár Attila, Zvolenszky Zsófia Kőbányai Szent László Gimnázium Eötvös Loránd Tudományegyetem 2017. május 13. Predikátum individuum-felbontás PREDIKÁTUMLOGIKA
RészletesebbenLogika nyelvészeknek, 12. óra A típuselmélet alapjai. Lehetőség van a kvantorfogalom mellett a funktorfogalom általánosítására is.
Logika nyelvészeknek, 12. óra A típuselmélet alapjai Lehetőség van a kvantorfogalom mellett a funktorfogalom általánosítására is. Az L 1 elsőrendű nyelvben csak bizonyos típusú funktoraink voltak: ami
RészletesebbenA kötőszók. Mindenki jól ismeri a DE szócskát, amivel ellentétet fejezünk ki. Gyakori, jól és könnyen használható:
A kötőszók Előhang (prelúdium): DE Mindenki jól ismeri a DE szócskát, amivel ellentétet fejezünk ki. Gyakori, jól és könnyen használható: Vera csak 2 éves, de már 100-ig tud számolni. Ez az étterem kitűnő,
RészletesebbenA deduktív logika elemei. Érveléselmélet, 2015. 10. 12.
A deduktív logika elemei Érveléselmélet, 2015. 10. 12. Ismétlés: Deduktív érvelés Deduktív érvelés: A premisszák igazsága szükségszerűen maga után vonja a konklúzió igazságát. Minden magyar adócsaló. Pityu
RészletesebbenKaposi Ambrus. University of Nottingham Functional Programming Lab. Hackerspace Budapest 2015. január 6.
Bizonyítás és programozás Kaposi Ambrus University of Nottingham Functional Programming Lab Hackerspace Budapest 2015. január 6. Bizonyítás, érvelés Példa: sáros a csizmám ha vizes a föld, esett az eső
Részletesebben1. Következtetések elsőrendben
Informatikai logikai alapjai Mérnök informatikus 8. gyakorlat 1. Következtetések elsőrendben 1.1. Szillogizmusok 1. Formalizálja elsőrendben a következő állításokat, és ábrázolja Venn-diagrammal is: 1.
RészletesebbenMeghatározás: Olyan egyenlet, amely a független változók mellett tartalmaz egy vagy több függvényt és azok deriváltjait.
Közönséges differenciálegyenletek Meghatározás: Olyan egyenlet, amely a független változók mellett tartalmaz egy vagy több függvényt és azok deriváltjait. Célunk a függvény meghatározása Egyetlen független
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é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észletesebbenA matematika alapjai. Nagy Károly 2014
A matematika alapjai 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 egyértelműen
RészletesebbenAlapfogalmak-szemantika
Volt (a helyes következtetéseknél): ELSŐRENDŰ LOGIKA 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észletesebbenDiszkrét matematika 1. középszint
Diszkrét matematika 1. középszint 2017. sz 1. Diszkrét matematika 1. középszint 3. el adás Nagy Gábor nagygabr@gmail.com nagy@compalg.inf.elte.hu compalg.inf.elte.hu/ nagy Mérai László diái alapján Komputeralgebra
Ré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 birtokos szerkezet
A birtokos szerkezet Ha kérdése van, használja nonstop segélyvonalunkat: www.magyarora.com/grammar/birtokos_tablazat.pdf 1 ) Lássunk munkához Kezdjük megint a novellával Húzza alá a példákban az egyes
RészletesebbenA CSALÁD. Következzen tehát a család:
A CSALÁD 2013. február. Eljutottam végre ide is - hogy összeismertessem a rokonokat. A több ezernyi kép közül majdnem mindegyik régi Aputól származik, az újak túlnyomó része pedig tőlem. Igyekeztem őket
RészletesebbenÉsik Zoltán (SZTE Informatikai Tanszékcsoport) Logika a számtastudományban Logika és informatikai alkalmazásai Varterész Magdolna, Uni-Deb
Logika, 5. Az előadásfóliák ÉsikZoltén (SZTE InformatikaiTanszékcsoport) Logikaa szamtastudomanyban Logikaes informatikaialkalmazasai Előadásai alapján készültek Ésik Zoltán (SZTE Informatikai Tanszékcsoport)
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észletesebbenCsikó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é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 É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é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észletesebbenMenet. A konfirmáció Hempel paradoxonai. Hempel véleménye a konformációs paradoxonokról
1 Kvalitatív konfirmáció Menet Konfirmációs kritériumok 2 A konfirmáció Hempel paradoxonai Hempel véleménye a konformációs paradoxonokról Hempel konfirmáció fogalma A konfirmáció problémája: 3 Mit jelent
RészletesebbenBevezetés a nyelvtudományba. 5. Szintaxis
Bevezetés a nyelvtudományba 5. Szintaxis Gerstner Károly Magyar Nyelvészeti Tanszék Szintaxis Mondattan Hangok véges elemei a nyelvnek Szavak sok, de nyilván véges szám Mondatok végtelen sok Mi a mondat?
RészletesebbenIntelligens Rendszerek I. Tudásábrázolás formális logikával
Intelligens Rendszerek I. Tudásábrázolás formális logikával 2007/2008. tanév, I. félév Dr. Kovács Szilveszter E-mail: szkovacs@iit.uni-miskolc.hu Miskolci Egyetem Informatikai Intézet 106. sz. szoba Tel:
RészletesebbenTEST IZ MAĐARSKOG JEZIKA
Student's name : E-mail: Test štampajte i skeniranog ga vratite na e-mail office@centarzaedukaciju.com U slučaju da nemate tehničke mogućnosti, prihvata se i da na datu e-mail adresu pošaljete odgovore
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észletesebbenHalmazelmélet és logika
Halmazelmélet és logika Dr. Szilágyi Ibolya szibolya@ektf.hu Matematika és Informatika Intézet EKF, Eger 2006/07 I. szemeszter Dr. Szilágyi Ibolya (EKF) Logika 2006/007 1 / 58 Outline A halmazelmélet és
RészletesebbenLogika és számításelmélet. 2011/11 11
(Logika rész) Logika és számításelmélet. 2011/11 11 1. előadás 1. Bevezető rész Logika (és a matematikai logika) tárgya Logika (és a matematikai logika) tárgya az emberi gondolkodás vizsgálata. A gondolkodás
RészletesebbenTizedik lecke. szeretek levelet írni nem tudok jól írni
Tizedik lecke Képeslapok Drága Lilla! Ez az első magyar levél, amit írok. Szeretek levelet írni, de magyarul az az igazság nem tudok jól írni. Naplót írok ugyan, de az nem igazi írás. Itt minden nagyon
Részletesebben1. Tétel - Az ítéletkalkulus alapfogalmai
A tételhez hozzátartozik az elsőrendű nyelv szemantikája! 1. Tétel - Az ítéletkalkulus alapfogalmai Ítéletkalkulus - Az elsőrendű logika azon speciális este, amikor csak 0 ad rendű predikátumszimbólumok
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észletesebbenKijelentéslogika I. 2004. szeptember 24.
Kijelentéslogika I. 2004. szeptember 24. Funktorok A természetesnyelvi mondatok gyakran összetettek: további mondatokból, végső soron pedig atomi mondatokból épülnek fel. Az összetevő mondatokat mondatkonnektívumok
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észletesebbenA kvantifikált modális logika és a hasonmáselmélet esete az aktualitás operátorral. Jelige: hasonmás
A kvantifikált modális logika és a hasonmáselmélet esete az aktualitás operátorral Jelige: hasonmás 2012 TARTALOMJEGYZÉK 1. A bűnben fogant, avagy a kvantifikált modális logika... 2 2. A modalitás hasonmáselméleti
RészletesebbenDr. Jelasity Márk. Mesterséges Intelligencia I. Előadás Jegyzet (2008. október 6) Készítette: Filkus Dominik Martin
Dr. Jelasity Márk Mesterséges Intelligencia I Előadás Jegyzet (2008. október 6) Készítette: Filkus Dominik Martin Elsőrendű logika -Ítéletkalkulus : Az elsőrendű logika egy speciális esete, itt csak nullad
RészletesebbenDifferenciálegyenletek december 13.
Differenciálegyenletek 2018. december 13. Elsőrendű DE Definíció. Az elsőrendű differenciálegyenlet általános alakja y = f (x, y), ahol f (x, y) adott kétváltozós függvény. Minden y = y(x) függvény, amire
Részletesebben0-49 pont: elégtelen, pont: elégséges, pont: közepes, pont: jó, pont: jeles
Matematika szigorlat, Mérnök informatikus szak I. 2013. jan. 10. Név: Neptun kód: Idő: 180 perc Elm.: 1. f. 2. f. 3. f. 4. f. 5. f. Fel. össz.: Össz.: Oszt.: Az elérhető pontszám 40 (elmélet) + 60 (feladatok)
RészletesebbenKaposi Ambrus. Informatikai Kar. Pannonhalmi Bencés Gimnázium november 24.
Bizonyítás és programozás Kaposi Ambrus Eötvös Loránd Tudományegyetem Informatikai Kar Pannonhalmi Bencés Gimnázium 2017. november 24. A tökéletes operációs rendszer (i) BeOS Plan9 2 / 22 A tökéletes operációs
Részletesebben1.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észletesebbenKétváltozós függvények differenciálszámítása
Kétváltozós függvények differenciálszámítása 13. előadás Farkas István DE ATC Gazdaságelemzési és Statisztikai Tanszék Kétváltozós függvények p. 1/1 Definíció, szemléltetés Definíció. Az f : R R R függvényt
Részletesebbeny = y 0 exp (ax) Y (x) = exp (Ax)Y 0 A n x n 1 (n 1)! = A I + d exp (Ax) = A exp (Ax) exp (Ax)
III Az exp (Ax mátrixfüggvény módszere Ha y = ay, y( = y, a = állandó y = y exp (ax d dx [exp (Ax] = Y = AY, Y ( = Y, Y (x = exp (AxY exp (Ax = I + n= A n x n (n! = A A n x n, n! ] A n x n I + = A exp
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észletesebbenSZÁMÍTÁSTUDOMÁNY ALAPJAI
SZÁMÍTÁSTUDOMÁNY ALAPJAI INBGM0101-17 Előadó: Dr. Mihálydeák Tamás Sándor Gyakorlatvezető: Kovács Zita 2017/2018. I. félév 2. gyakorlat Az alábbi összefüggések közül melyek érvényesek minden A, B halmaz
RészletesebbenLogika gyakorlat 08. Nincs olyan változó, amely szabadon és kötötten is előfordul.
Logika gyakorlat 08 Normálformák elsőrendben Egy formula kiigazított, ha: Különböző kvantorok különböző változókat kötnek Nincs olyan változó, amely szabadon és kötötten is előfordul. Minden formulát kiigazíthatunk,
RészletesebbenA 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észletesebben11. gyakorlat megoldásai
11. gyakorlat megoldásai Lokális szélsőértékek F1. Határozza meg az alábbi kétváltozós függvények lokális szélsőértékeit! (a) f(x, y) = 4x 2 + 2xy + 5y 2 + 2, (b) f(x, y) = y 4 3y + x 2 y + 2xy, (c) f(x,
RészletesebbenKnoch 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észletesebben11. fejezet A logika nyelvtana. Már az első fejezetben felmerült, hogy a logika nyelvtana nem egyezik meg a szokásos értelemben vett nyelvtannal.
11. fejezet A logika nyelvtana Már az első fejezetben felmerült, hogy a logika nyelvtana nem egyezik meg a szokásos értelemben vett nyelvtannal. A #11.1 Néhány lány énekel és a #11.2 Kati énekel mondatok
RészletesebbenLogika. Mihálydeák Tamás szeptember 27. Tartalomjegyzék. 1.
Logika Mihálydeák Tamás mihalydeak@inf.unideb.hu www.inf.unideb.hu/szamtud/tagok/?mihalydeak 2007. szeptember 27. Tartalomjegyzék 1. Irodalom 3 2. A logika feladata 3 3. A helyes következtetés 3 4. Történeti
Részletesebben4.2. Tétel: Legyen gyenge rendezés az X halmazon. Legyen továbbá B X, amelyre
4.2. Tétel: Legyen gyenge rendezés az X halmazon. Legyen továbbá B X, amelyre Az értékelő függvény létezése (folytatás) p. 1/8 4.2. Tétel: Legyen gyenge rendezés az X halmazon. Legyen továbbá B X, amelyre
RészletesebbenMatematikai logika 1 A MATEMATIKAI LOGIKA ALAPJAI. Pécsi Tudományegyetem, 2005. Bevezetés
Matematikai logika 1 A MATEMATIKAI LOGIKA ALAPJAI Dr. Tóth László Pécsi Tudományegyetem, 2005 Bevezetés A logika a gondolkodás általános törvényszerűségeit, szabályait vizsgálja. A matematikai logika a
RészletesebbenSajnos vagy szerencsére? SAJNOS SZERENCSÉRE
1. Sajnos vagy szerencsére? SAJNOS SZERENCSÉRE Szita Szilvia és Pelcz Katalin, www.magyar-ok.hu 1 1. Sajnos vagy szerencsére? A belvárosban lakom. A földszinten lakom. Elég messze lakom a belvárostól.
RészletesebbenHamilton rendszerek, Lyapunov függvények és Stabilitás. Hamilton rendszerek valós dinamikai rendszerek, konzerva3v mechanikai rendszerek
Hamilton rendszerek, Lyapunov függvények és Stabilitás Hamilton rendszerek valós dinamikai rendszerek, konzerva3v mechanikai rendszerek Sokszor nem lehetséges, hogy a tanult linearizációs módszerrel meghatározzuk
RészletesebbenBevezetés a logikába és az érveléselméletbe
Kutrovátz Gábor Bevezetés a logikába és az érveléselméletbe (nemhivatalos jegyzet) Ez a jegyzet az ELTE Társadalomtudományi Karán tanuló elsőévesek számára meghirdetett Bevezetés a logikába és a tudományfilozófiába
Részletesebben11. gyakorlat megoldásai
11. gyakorlat megoldásai Lokális szélsőértékek F1. Határozzuk meg az alábbi kétváltozós függvények lokális szélsőértékeit! (a) f(x, y) = 4x 2 + 2xy + 5y 2 + 2, (b) f(x, y) = y 4 y + x 2 y + 2xy, (c) f(x,
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é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é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. Formulahalmaz kielégíthetősége Ezen az előadáson Γ-val egy elsőrendű logikai nyelv
Részletesebben1. Definíciók. 2. Formulák. Informatikai logikai alapjai Mérnök informatikus 3. gyakorlat
Informatikai logikai alapjai Mérnök informatikus 3. gyakorlat 1. Definíciók A feladatokban bevezetünk két újabb logikai konstanst: a és jellel jelölteket. Ez a két konstans önmagában is formulának tekintendő.
RészletesebbenKÖZGAZDASÁGI ALAPISMERETEK (ELMÉLETI GAZDASÁGTAN)
ÉRETTSÉGI VIZSGA 2008. május 26. KÖZGAZDASÁGI ALAPISMERETEK (ELMÉLETI GAZDASÁGTAN) EMELT SZINTŰ ÍRÁSBELI VIZSGA 2008. május 26. 8:00 Az írásbeli vizsga időtartama: 180 perc Pótlapok száma Tisztázati Piszkozati
RészletesebbenAbsztrakció a szoftvertervezésben az Alloy specifikációs nyelv segítségével
Absztrakció a szoftvertervezésben az Alloy specifikációs nyelv segítségével Németh L. Zoltán Számítástudomány Alapjai Tanszék SZTE, Informatikai Tanszékcsoport 2009. szeptember 15. Tartalom Röviden a formális
RészletesebbenSzoftver-modellellenőrzés absztrakciós módszerekkel
Szoftver-modellellenőrzés absztrakciós módszerekkel Hajdu Ákos Formális módszerek 2017.03.22. Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék 1 BEVEZETŐ 2
RészletesebbenA deduktív logika elemei
Ismétlés 1: Deduktív érvelés A deduktív logika elemei Érveléselmélet, 2006. 10. 24. Deduktív érvelés: A premisszák igazsága szükségszerűen maga után vonja a konklúzió igazságát. Minden magyar adócsaló.
Részletesebben