Logikai következmény, tautológia, inkonzisztens, logikai ekvivalencia, normálformák
|
|
- Ákos Király
- 5 évvel ezelőtt
- Látták:
Átírás
1 08EMVI3b.nb 1 In[2]:= Theorema Ítéletlogika 1 Ismétlés Szintaxis Szemantika Logikai következmény, tautológia, inkonzisztens, logikai ekvivalencia, normálformák 2 Kalkulusok Kalkulus Levezethetõség Dedukciós rendszer, helyesség(correctness/soundness), teljesség(completeness), adekvátság(adequate) ( G, G) 3 Rezolúció Lépések 1. G bizonyítása helyett G inkonzisztenciájának bizonyítása 2. CNF, klózhalmaz Példa A, A B B A, A B, B formulahalmaz kielégíthetetlen. Klózhalmaz: {{A},{ A,B},{ B}} I. II. III. 3 üres klóz levezetése a rezolúciós lev. szabállyal A kalkulus egyetlen (!) levezetési szabálya: Legyen L ill. L L egy komplementer literálpár, és L L 1 L 2 L n, L L 1 L m literálok diszjunkciója. Ekkor a két formula rezolvense a L 1 L 2 L L 1 L m formula, vagy másképp fogalmazva, az új formula a két formulából a rez. lev. szabály alkalmazásával keletkezett. Röv. Α : L 1 L 2 L Β : L 1 L m
2 08EMVI3b.nb 2 Megj. Α Β a L Α és L Β formulák log. következménye! (azaz a szabály és így a kalkulus helyes) Meglepõbb, hogy teljes is: valahányszor egy formulahalmaz inkonzisztens, mindannyiszor levezethetõ az üres klóz! Biz A példában szereplõ klózokból levezthetõ az üres klóz I. II. rezolváltja B (*) * és III. rezolváltja 1. feladat 1 Probléma. A, C, B A C B premisszák + negált célformula: A, C, ((B A) C), B A levezetés menete: inkonzisztencia bizonyítása, üres klóz levezetése. klózhalmaz {{A},{ C},{ A, B,C},{B}} Rez [2 3] { A, B} Rez [1,*] { B} Rez [4,**] {} TS_In[3]:= Assumption "1", A Assumption "2", C TS_In[5]:= Assumption "3", B A C TS_In[6]:= Proposition "Goal", B TS_In[7]:= Prove Proposition "Goal", using Assumption "1", Assumption "2", Assumption "3", by ResolutionProver TS_Out[7]= Megjegyzés. A ResolutionProver által konstruált levezetést lásd a mellékelt Proof31 es file ban.
3 08EMVI3b.nb 3 2. feladat 2. Probléma. A B C, D A, B D C Feladat: Adjuk meg a levezetési feladatot a Theorema rendszernek és elemezzük a levezetést! TS_In[8]:= Assumption "21", A B C TS_In[9]:= Assumption "22", D A TS_In[10]:= Assumption "23", B TS_In[11]:= Proposition "Goal2", D C TS_In[12]:= Prove Proposition "Goal2", using Assumption "21", Assumption "22", Assumption "23", by ResolutionProver TS_Out[12]= Megjegyzés. A ResolutionProver által konstruált levezetést lásd a mellékelt Proof32 es file ban. 3. feladat 3. Probléma. Formalizáljunk majd mutassuk meg a következtetés helyességét a rezolúciós kalkulussal (PR138)! P1: Ha nincs pénzem, Agáta látni sem bír és elmegy P2: Ha Agáta csomagol és elmegy elviszi a magnót is. P3: Nincs pénzem és Agáta csomagol C: Agáta elviszi a magnót. + Feladat: Adjuk meg a levezetési feladatot a Theorema rendszernek és elemezzük a levezetést! TS_In[17]:= Assumption "31", N A1 A2 TS_In[18]:= Assumption "32", A2 A3 A4 TS_In[19]:= Assumption "33", N A3 TS_In[20]:= Proposition "Goal3", A4
4 08EMVI3b.nb 4 TS_In[21]:= Prove Proposition "Goal3", using Assumption "31", Assumption "32", Assumption "33", by ResolutionProver TS_Out[21]= Megjegyzés. A ResolutionProver által konstruált levezetést lásd a mellékelt Proof33 as file ban. 4 Példa Smullyan LT 1 Theorema H1: Egyes szobában hölgy van H2: Kettes szobában hölgy van T1: Egyes szobában tigris van T2: Kettes szobában tigris van A1: Elsõ szobában hölgy van, a másodikban pedig tigris. A2: Egyik szobában hölgy van, a másikban pedig tigris. TS_In[13]:= Assumption "A1", H1 T2 TS_In[14]:= Assumption "A2", H1 T2 H2 T1 TS_In[15]:= Proposition "Conclusion", False TS_In[16]:= using Assumption "A1", Assumption "A2", by ResolutionProver TS_Out[16]= Megjegyzés. A ResolutionProver által konstruált levezetést lásd a mellékelt Proof34 es file ban. Assumption "B1", H1 T2 Assumption "B2", H1 T2 H2 T1 Proposition "Conclusion", H2 using Assumption "B1", Assumption "B2", by PropositionalProver using Assumption "B1", Assumption "B2", by ResolutionProver
5 08EMVI3b.nb 5 5 2szobás, a második és a harmadik rab Feladat. Oldjuk meg a feladványt és elemezzük a levezetéseket. Megoldási javaslat 6 Normálformák Ismét programcsomagbetöltés! Theorema Language General NormalForms Memo: CNF stands for Conjunctive Normal Form? CNF CNF formula brings the given formula into Conjunctive Normal Form. If GoInsideQuantifiers True, also quantified subformulas are brought to CNF. CNF A A B B A B B A CNF A A CNF A B A B CNF A B C A B A C Projektfeladat: hogyan lehetne egy nulladrendű formulát CNF be konvertálni?
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é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é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 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é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. 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é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é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észletesebbenDiszkrét matematika MATEMATIKAI LOGIKA
NULLADRENDŰ LOGIKA (ÍTÉLETKALKULUS) A logikát, mint a filozófia egy részét, már az ókori a görög tudósok is igen magas szinten művelték, pl. Platón (Kr. e. 427- Kr. e. 347), Arisztotelész (Kr.e. 384- Kr.
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 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é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é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észletesebbenLogikai alapok a programozáshoz
Logikai alapok a programozáshoz Kidolgozott tételek Készítette: Chripkó Ágnes Felhasznált anyagok: előadásvázlat; gyakorlatok anyaga; Pásztorné Varga K., Várterész M.: A matematikai logika alkalmazásszemléletű
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észletesebbenLogika 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é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észletesebbenAlgoritmusok a tételbizonyításban
Debreceni Egyetem Informatikai Kar Számítógéptudományi Tanszék Algoritmusok a tételbizonyításban Témavezet : dr. Várterész Magda egyetemi docens Készítette: Tanyi Attila Programtervez informatikus (B.Sc.)
RészletesebbenAZ 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észletesebbenLogika és informatikai alkalmazásai. Wednesday 17 th February, 2016, 09:03
Logika és informatikai alkalmazásai Wednesday 17 th February, 2016, 09:03 A logika rövid története 2 A logika rövid története Ókor Triviális: A trivium szóból származik trivium (tri+via = három út): nyelvtan,
RészletesebbenLevezetések klasszikus nulladrendű logikai kalkulusban
Levezetések klasszikus nulladrendű logikai kalkulusban Molnár Attila 2008. november 21. Ebben az óravázlatban a nulladrendű logikai kalkulusbeli tételek levezetéséről esik majd szó. Következzen egy gyors
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 informatikai alkalmazásai
Logika és informatikai alkalmazásai Iván Szabolcs 2017 tavasz Iván Szabolcs Logika és informatikai alkalmazásai 2017 tavasz 1 / 309 A kurzusról Vizsga kell hozzá átmenő gyakjegy (idén, tavaly, tavalyelőtt
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észletesebbenLogika kiskáté. Mihálydeák Tamás és Aszalós László
Logika kiskáté Mihálydeák Tamás és Aszalós László 2012 1. Definíciók 1. Adja meg a klasszikus nulladrendű nyel definícióját! Klasszikus nulladrendű nyelen az L (0) = LC, Con, F orm rendezett hármast értjük,
RészletesebbenLogika kiskáté. Mihálydeák Tamás és Aszalós László
Logika kiskáté Mihálydeák Tamás és Aszalós László 2012 1. Definíciók 1. Adja meg a klasszikus nulladrendű nyel definícióját! Klasszikus nulladrendű nyelen az L (0) = LC, Con, F orm rendezett hármast értjük,
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é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észletesebbenINFORMATIKA LOGIKAI ALAPJAI JEGYZET
INFORMATIKA LOGIKAI ALAPJAI JEGYZET KÉSZÍTETTE: CSENGERI ISTVÁN PTI SALGÓTARJÁN 2009 Nulladrendű matematikai logika... 4 1.1 Matematikai Logika = mat.log = symbolic logic... 4 1.2 Kijelentések... 4 1.3
RészletesebbenAutomatikus tételbizonyítás
Automatikus tételbizonyítás előadások Várterz Magda Kádek Tamás Automatikus tételbizonyítás: előadások Várterz Magda Kádek Tamás Table of Contents 1 Előszó 1 2 Bevezet 2 1 Az elsőrendű nyelv szintaxisa
RészletesebbenFormális szemantika. Kifejezések szemantikája. Horpácsi Dániel ELTE Informatikai Kar
Formális szemantika Kifejezések szemantikája Horpácsi Dániel ELTE Informatikai Kar 2016-2017-2 Az előadás témája Egyszerű kifejezések formális szemantikája Az első lépés a programozási nyelvek szemantikájának
RészletesebbenProgramok értelmezése
Programok értelmezése Kód visszafejtés. Izsó Tamás 2016. szeptember 22. Izsó Tamás Programok értelmezése/ 1 Section 1 Programok értelmezése Izsó Tamás Programok értelmezése/ 2 programok szemantika értelmezése
RészletesebbenLogika és számításelmélet. 10. előadás
Logika és számításelmélet 10. előadás Rice tétel Rekurzíve felsorolható nyelvek tulajdonságai Tetszőleges P RE halmazt a rekurzívan felsorolható nyelvek egy tulajdonságának nevezzük. P triviális, ha P
RészletesebbenLogikai ágens, lehetőségek és problémák 2
Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs rendszerek Tanszék Mesterséges Intelligencia - MI Logikai ágens, lehetőségek és problémák 2 Előadó: Hullám Gábor Pataki Béla
Részletesebben1. 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észletesebbenLOGIKA ÉS SZÁMÍTÁSELMÉLET KIDOLGOZOTT JEGYZET
LOGIKA ÉS SZÁMÍTÁSELMÉLET KIDOLGOZOTT JEGYZET Készítette: Butkay Gábor és Gyenes József A jegyzet a 2013-2014-es tanév 2. felében lévő Logika és számításelmélet előadások alapján született. A jegyzet nem
RészletesebbenMesterséges Intelligencia MI
Mesterséges Intelligencia MI Logikai ágens ügyesebben Dobrowiecki Tadeusz Eredics Péter, és mások BME I.E. 437, 463-28-99 dobrowiecki@mit.bme.hu, http://www.mit.bme.hu/general/staff/tade Mit tudunk már?
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észletesebbenALGORITMUSOK ÉS BONYOLULTSÁGELMÉLET Matematika MSc hallgatók számára
ALGORITMUSOK ÉS BONYOLULTSÁGELMÉLET Matematika MSc hallgatók számára 7. Előadás: Hálózatok, P- és N P-teljes problémák Előadó: Hajnal Péter 2015. tavasz 1. Hálózatok és egy P-teljes probléma Emlékeztető.
RészletesebbenLogika és számításelmélet Készítette: Nagy Krisztián
Logika és számításelmélet Készítette: Nagy Krisztián LOGIKA RÉSZ 1. Gondolkodásforma vagy következtetésforma Egy F = {A 1, A 2,, A n } állításhalmazból és egy A állításból álló (F, A) pár. 2. Helyes következtetésforma
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é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é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észletesebbenLogika 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, , A
MI Nagy ZH, 2011. nov. 4., 14.15-16, A és B csoport - Megoldások A/1. Milyen ágenskörnyezetrıl azt mondjuk, hogy nem hozzáférhetı? Adjon példát egy konkrét ágensre, problémára és környezetre, amire igaz
RészletesebbenBisonc++ tutorial. Dévai Gergely. A szabály bal- és jobboldalát : választja el egymástól. A szabályalternatívák sorozatát ; zárja le.
Bisonc++ tutorial Dévai Gergely A Bisonc++ egy szintaktikuselemz -generátor: egy környezetfüggetlen nyelvtanból egy C++ programot generál, ami egy tokensorozat szintaktikai helyességét képes ellen rizni.
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észletesebbenTételsor a szóbeli számításelmélet vizsgához
Tételsor a szóbeli számításelmélet vizsgához A vizsgázó az 1-6., 7-10., 11-15. és 16-19. tételek közül húz egyet-egyet. Minden rész 1..5-ig lesz értékelve. Minden részb ı l legalább 2-est kell elérni,
Részletesebben2. Í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észletesebbenAz F# nyelv erőforrásanalízise
Az F# nyelv erőforrásanalízise Góbi Attila Eötvös Loránd Tudományegyetem Támogatta a KMOP-1.1.2-08/1-2008-0002 és az Európai Regionális Fejlesztési Alap. 2012. Június 19. Góbi Attila (ELTE) Az F# nyelv
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észletesebben2004/2005 Logikai alapok a programozáshoz. (Kidolgozott vizsgakérdések) Előadó: Pásztorné Dr. Varga Katalin
2004/2005 Logikai alapok a programozáshoz (Kidolgozott vizsgakérdések) Előadó: Pásztorné Dr. Varga Katalin 1. Tétel Mi a logika, ezen belül a matematikai logika tárgya és feladata? Milyen nyelvi eszközöket
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észletesebbenBevezetés a matematikai logikába
Bevezetés a matematikai logikába E. Szabó László MTA-ELTE Elméleti Fizika Kutatócsoport Tudománytörténet és Tudományfilozófia Tanszék E-mail: leszabo@hps.elte.hu http://hps.elte.hu/leszabo 2007. december
RészletesebbenDeníciók és tételek a beugró vizsgára
Deníciók és tételek a beugró vizsgára (a szóbeli viszgázás jogáért) Utolsó módosítás: 2008. december 2. 2 Bevezetés Számítási problémának nevezünk egy olyan, a matematika nyelvén megfogalmazott kérdést,
RészletesebbenA Gödel-tételek. E. Szabó László. Logika Tanszék, Filozófia Intézet ELTE BTK.
A Gödel-tételek E. Szabó László Logika Tanszék, Filozófia Intézet ELTE BTK E-mail: leszabo@philosophy.elte.hu http://philosophy.elte.hu/leszabo 2011. június 2. Tartalomjegyzék 1. Mi a logika? 4 2. Mi teszi
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észletesebbenMesterséges intelligencia
Mesterséges intelligencia Problémák és az útkeresések kapcsolata Az MI problémái, hogy a megoldandó feladatai nehezek, hatalmas a lehetséges válaszok tere (problématér), a helyes válaszok megtalálása intuíciót,
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é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észletesebbenKifejezések. Kozsik Tamás. December 11, 2016
Kifejezések Kozsik Tamás December 11, 2016 Kifejezések Lexika Szintaktika Szemantika Lexika azonosítók (változó-, metódus-, típus- és csomagnevek) literálok operátorok, pl. + zárójelek: (), [], {},
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észletesebbenÍrta: PIGLERNÉ LAKNER ROZÁLIA STARKNÉ WERNER ÁGNES ÁGENS-TECHNOLÓGIA. Egyetemi tananyag
Írta: PIGLERNÉ LAKNER ROZÁLIA STARKNÉ WERNER ÁGNES ÁGENS-TECHNOLÓGIA Egyetemi tananyag 2011 COPYRIGHT: 2011 2016, Piglerné Dr. Lakner Rozália, Starkné Dr. Werner Ágnes, Pannon Egyetem Műszaki Informatikai
RészletesebbenLogika Gyakorlati Jegyzet
Logika Gyakorlati Jegyzet Hajgató Tamás 2014 Lektorálta: Dr. Németh L. Zoltán Első gyakorlat A Russel-paradoxon Mik lehetnek egy halmazban? Lehet benne bármilyen matematikailag jól definiált objektum.
RészletesebbenAlgoritmusok bonyolultsága
Algoritmusok bonyolultsága 11. előadás http://www.ms.sapientia.ro/~kasa/komplex.htm () 1 / 1 NP-telesség Egy L nyelv NP-teles, ha L NP és minden L NP-re L L. Egy Π döntési feladat NP-teles, ha Π NP és
RészletesebbenAz informatika logikai alapjai előadások
VÁRTERÉSZ MAGDA Az informatika logikai alapjai előadások 2006/07-es tanév 1. félév Tartalomjegyzék 1. Bevezetés 2 2. Az ítéletlogika 18 2.1. Az ítéletlogika nyelve szintaxis...............................................
RészletesebbenVizsgafeladatok és gyakorló feladatok generálása
Vizsgafeladatok és gyakorló feladatok generálása Aszalós László Debreceni Egyetem, Informatikai Kar 2018. október 4. Aszalós L. (DEIK) Feladatok generálása 2018/10/4 1 / 23 Tartalom 1 Előélet 2 Motiváció
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 Prolog logikai alapjai, az SLD-rezolúció
A Prolog logikai alapjai, az Szabó Péter Válogatott fejezetek a logikai programozásból kiselőadás 2004. október Page 1 of 29 Az imperatív program egy recepthez hasonló: meghatározza,
Részletesebben1. Formalizálás. Informatikai logikai alapjai Mérnök informatikus 6. gyakorlat. 1. Jelöljék a következő nemlogikai konstansok a következőket:
Informatikai logikai alapjai Mérnök informatikus 6. gyakorlat 1. Formalizálás 1. Jelöljék a következő nemlogikai konstansok a következőket: p Aladár gőgös. q Aladár zsémbes. r Bea gőgös. s Bea zsémbes.
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 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észletesebbenLogikai ágens, lehetőségek és problémák
Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs rendszerek Tanszék Mesterséges Intelligencia - MI Logikai ágens, lehetőségek és problémák Előadó: Hullám Gábor Pataki Béla Előadás
RészletesebbenVálogatott fejezetek a logikai programozásból ASP. Answer Set Programming Kelemen Attila
ASP 1 Kedvcsináló N királynő 3+1 sorban index(1..n). % minden sorban pontosan 1 királynő van 1{q(X,Y):index(X)}1 :- index(y). % az rossz, ha ugyanabban az oszlopban 2 királynő van :- index(x; Y1; Y2),
Részletesebben2019/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észletesebbenAdatbázisok elmélete 12. előadás
Adatbázisok elmélete 12. előadás Katona Gyula Y. Budapesti Műszaki és Gazdaságtudományi Egyetem Számítástudományi Tsz. I. B. 137/b kiskat@cs.bme.hu http://www.cs.bme.hu/ kiskat 2005 ADATBÁZISOK ELMÉLETE
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észletesebbenHatékony keresés a szemantikus világhálón
Hatékony keresés a szemantikus világhálón Lukácsy Gergely Számítástudományi és Információelméleti Tanszék Budapesti Műszaki és Gazdaságtudományi Egyetem Magyarországi Web Konferencia 2008 W3C szekció Lukácsy
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észletesebbenLogikai 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észletesebbenLogikai 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észletesebbenOn The Number Of Slim Semimodular Lattices
On The Number Of Slim Semimodular Lattices Gábor Czédli, Tamás Dékány, László Ozsvárt, Nóra Szakács, Balázs Udvari Bolyai Institute, University of Szeged Conference on Universal Algebra and Lattice Theory
Részletesebben5. előadás. Programozás-elmélet. Programozás-elmélet 5. előadás
Elemi programok Definíció Az S A A program elemi, ha a A : S(a) { a, a, a, a,..., a, b b a}. A definíció alapján könnyen látható, hogy egy elemi program tényleg program. Speciális elemi programok a kövekezők:
RészletesebbenProgramkonstrukciók A programkonstrukciók programfüggvényei Levezetési szabályok. 6. előadás. Programozás-elmélet. Programozás-elmélet 6.
Programkonstrukciók Definíció Legyen π feltétel és S program A-n. A DO A A relációt az S-ből a π feltétellel képezett ciklusnak nevezzük, és (π, S)-sel jelöljük, ha 1. a / [π] : DO (a) = { a }, 2. a [π]
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é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é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é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észletesebbenNumerikus módszerek 1.
Numerikus módszerek 1. 6. előadás: Vektor- és mátrixnormák Lócsi Levente ELTE IK 2013. október 14. Tartalomjegyzék 1 Vektornormák 2 Mátrixnormák 3 Természetes mátrixnormák, avagy indukált normák 4 Mátrixnormák
RészletesebbenLogika és számításelmélet. 11. előadás
Logika és számításelmélet 11. előadás NP-teljesség Emlékeztetőül: NP-teljes nyelv Egy L probléma NP-teljes (a polinom idejű visszavezetésre nézve), ha L NP L NP-nehéz, azaz minden L NP esetén L p L. Azaz
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észletesebben2. Logika gyakorlat Függvények és a teljes indukció
2. Logika gyakorlat Függvények és a teljes indukció Folláth János Debreceni Egyetem - Informatika Kar 2012/13. I. félév Áttekintés 1 Függvények Relációk Halmazok 2 Természetes számok Formulák Definíció
RészletesebbenA dec. 19-i vizsga jellegzetes hibái:
VIMM 3241 Gyakori hibák A dec. 19-i vizsga jellegzetes hibái: 1. A logikai indukció (általánosítás sok partikuláris esetről egy általános esetre) nem a matematikai indukció (általánosítás n-edik esetről
RészletesebbenKifejezések. Kozsik Tamás. December 11, 2016
Kifejezések Kozsik Tamás December 11, 2016 Kifejezés versus utasítás C/C++: kifejezés plusz pontosvessző: utasítás kiértékeli a kifejezést jellemzően: mellékhatása is van például: értékadás Ada: n = 5;
RészletesebbenBIZONYTALAN INFORMÁCIÓK KEZELÉSE LOGIKAI ADATMODELLEKBEN
BIZONYTALAN INFORMÁCIÓK KEZELÉSE LOGIKAI ADATMODELLEKBEN Achs Ágnes, achs@pmmf.hu Janus Pannonius Tudományegyetem Pollack Mihály Fõiskolai Kara, Pécs Abstract In this lecture we deal with the concept of
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é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észletesebbenmtologatók részére szeretettel Achs Ágnes
Bit és s Számtologat mtologatók részére szeretettel Achs Ágnes achs.agnes@gmail.com Bizonytalanságkezel gkezelés Keresek Mártának egy Vivaldi hangversenyt Ma Bach koncert van, azt szívesen ajánlom A dialógus
RészletesebbenDualitás Dualitási tételek Általános LP feladat Komplementáris lazaság 2015/2016-2. Szegedi Tudományegyetem Informatikai Tanszékcsoport
Operációkutatás I. 2015/2016-2. Szegedi Tudományegyetem Informatikai Tanszékcsoport Számítógépes Optimalizálás Tanszék 6. Előadás Árazási interpretáció Tekintsük újra az erőforrás allokációs problémát
RészletesebbenA digitális számítás elmélete
A digitális számítás elmélete 8. előadás ápr. 16. Turing gépek és nyelvtanok A nyelvosztályok áttekintése Turing gépek és a természetes számokon értelmezett függvények Áttekintés Dominó Bizonyítások: L
Részletesebben