Az informatika logikai alapjai
|
|
- Benedek Fülöp
- 4 évvel ezelőtt
- Látták:
Átírás
1 Az informatika logikai alapjai Várterész Magda DE, Informatikai Kar PTI BSc és informatikatanár hallgatók számára 2017.
2 Az elsőrendű logikai nyelv interpretációja L interpretációja egy I-vel jelölt függvénynégyes, ahol I Srt, I Pr, I Fn, I Cnst 1. az I Srt : π U π függvény megad minden egyes π Srt fajtához egy U π nemüres halmazt, a π fajtájú individuumok (elemek) halmazát (a különböző fajtájú elemek halmazainak uniója az interpretáció univerzuma),
3 Az elsőrendű logikai nyelv interpretációja 2. az I Pr : P P I függvény megad minden (π 1, π 2,..., π k ) alakú P Pr predikátumszimbólumhoz egy P I : U π1 U π2... U πk {i, h} logikai függvényt (relációt), 3. az I Fn : f f I függvény hozzárendel minden (π 1, π 2,..., π k, π) alakú f Fn függvényszimbólumhoz egy f I : U π1 U π2... U πk U π matematikai függvényt (műveletet), 4. az I Cnst : c c I függvény pedig minden π fajtájú c Cnst konstansszimbólumhoz az U π halmaz egy elemét rendeli, azaz c I U π.
4 Változókiértékelés és variánsa Legyen egy elsőrendű logikai nyelvnek I egy interpretációja, az interpretáció univerzuma legyen U és jelölje V a nyelv változóinak a halmazát. I-beli változókiértékelésnek nevezzük a κ: V U leképezést, ha κ minden π fajtájú változóhoz az I interpretációban a π-hez rendelt U π halmazból rendel értéket. Legyen x egy változó. A κ változókiértékelés a κ változókiértékelés x-variánsa, ha κ (y) = κ(y) minden x-től különböző y változó esetén.
5 Term interpretációbeli értéke változókiértékelés mellett Az elsőrendű logikai nyelv egy π fajtájú t termjének értéke egy I interpretációban, egy κ változókiértékelés mellett az alábbi módon meghatározott U π -beli elem, amire a t I,κ jelöléssel hivatkozunk: 1 ha c π fajtájú konstansszimbólum, akkor c I,κ c I (c I U π ), 2 ha x π fajtájú változó, akkor x I,κ κ(x) (κ(x) U π ), 3 ha az f Fn függvényszimbólum alakja (π 1, π 2,..., π k, π), és t 1, t 2,..., t k rendre π 1, π 2,..., π k fajtájú termek, akkor a belőlük készített π fajtájú term U π -beli értékét a t 1 I,κ U π1, t 2 I,κ U π2,..., t k I,κ U πk értékekből következőképpen számítjuk: f (t 1, t 2,..., t k ) I,κ f I ( t 1 I,κ, t 2 I,κ,..., t k I,κ ).
6 Formula interpretációbeli értéke változókiértékelés mellett Egy C formulához I-ben a κ változókiértékelés mellett az alábbi C I,κ -val jelölt igazságértéket rendeljük: { 1 P(t 1,..., t k ) I,κ i ha P I ( t 1 I,κ,..., t k I,κ ) = i, h egyébként. 2 A I,κ A I,κ, 3 A B I,κ A I,κ B I,κ, 4 A B I,κ A I,κ B I,κ, 5 A B I,κ A I,κ B I,κ, 6 xa I,κ { i, ha A I,κ = i κ minden κ x-variánsára, h, egyébként. 7 xa I,κ { i, ha A I,κ = i κ valamely κ x-variánsára, h, egyébként.
7 Csak a kifejezés paramétereinek kiértékelése számít Az elsőrendű nyelvnek legyen I egy interpretációja, κ 1 és κ 2 pedig olyan I-beli változókiértékelések, amelyek megegyeznek változóknak egy S halmazán. Ha egy t termben csak S-beli változók fordulnak elő, akkor t I,κ 1 = t I,κ 2. Ha az A formula olyan, hogy Par(A) S, akkor A I,κ 1 = A I,κ 2. Tehát ha a kifejezés paraméterei az x 1, x 2,..., x n változók, akkor csak ezen változók kiértékelését kell ismerni a kifejezés értékének meghatározásához. Szokásos jelölés: x 1 u 1, x 2 u 2,..., x n u n. Amennyiben a logikai kifejezés zárt, értékét egyedül az interpretáció határozza meg.
8 Példa - 1. Az elsőrendű logikai nyelv: {π}, {P (π) }, {f (π,π) }, {c (π) }. Az első interpretáció: I Srt (π) = {hétfő, kedd, szerda, {..., vasárnap}. I Pr (P) = P I, ahol P I i, ha u {hétfő,..., péntek}, (u) = h, egyébként. I Fn (f ) = f I, ahol f I (u) az u-ra következő nap. I Cnst (c) = c I, ahol c I a vasárnap. Változókiértékelés κ(x) = hétfő, κ(y) = kedd, κ(z) = szombat,... c I = vasárnap, x I,κ = hétfő f (c) I = f I ( c I ) = f I (vasárnap) = hétfő, f (x) I,κ = f I ( x I,κ ) = f I (hétfő) = kedd P(c) I = P I ( c I ) = P I (vasárnap) = h P(x) I,κ = P I ( x I,κ ) = P I (hétfő) = i
9 Példa - 1. Változókiértékelés κ(x) = hétfő, κ(y) = kedd, κ(z) = szombat,... A κ változókiértékelés x-variánsai κ 1 (x) = hétfő, κ 1 (y) = kedd, κ 1 (z) = szombat,... κ 2 (x) = kedd, κ 2 (y) = kedd, κ 2 (z) = szombat,... κ 3 (x) = szerda, κ 3 (y) = kedd, κ 3 (z) = szombat,.... κ 7 (x) = vasárnap, κ 7 (y) = kedd, κ 7 (z) = szombat,... xp(x) I,κ = i, mert P(x) I,κ 1 = i, vagy egyszerűbben: xp(x) I = i, mert P(x) I,x hétfő = i xp(x) I,κ = h, mert P(x) I,κ 7 = h, vagy xp(x) I = h, mert P(x) I,x vasárnap = h.
10 Példa - 2. Az elsőrendű logikai nyelv: {π}, {P (π) }, {f (π,π) }, {c (π) }. A második interpretáció: I Srt (π) = N 0. I Pr (P) = P I, ahol P I (u) = I Fn (f ) = f I, ahol f I (u) = 2u. I Cnst (c) = c I, ahol c I a nulla. Változókiértékelés κ(x) = 1, κ(y) = 2, κ(z) = 3,... { i, ha u N0 páros, h, egyébként. c I = 0, x I,κ = 1 f (c) I = f I ( c I ) = f I (0) = 0, f (x) I,κ = f I ( x I,κ ) = f I (1) = 2 P(c) I = P I ( c I ) = P I (0) = i P(x) I,κ = P I ( x I,κ ) = P I (1) = h
11 Példa - 2. Változókiértékelés κ(x) = 1, κ(y) = 2, κ(z) = 3,... A κ változókiértékelés x-variánsai κ 1 (x) = 0, κ(y) = 2, κ(z) = 3,... κ 2 (x) = 1, κ(y) = 2, κ(z) = 3,... κ 3 (x) = 2, κ(y) = 2, κ(z) = 3,.... κ 123 (x) = 123, κ(y) = 2, κ(z) = 3,.... xp(x) I = i, mert P(x) I,x 0 = i. xp(x) I = h, mert P(x) I,x 1 = h. xp(f (x)) I = i, mert...?
12 Az elsőrendű formulák szemantikai tulajdonságai Egy elsőrendű logikai nyelv egy A formulája kielégíthető, ha van a nyelvnek olyan I interpretációja és I-ben van olyan κ változókiértékelés, amelyre A I,κ = i; kielégíthetetlen, ha a nyelv minden I interpretációjában és I minden κ változókiértékelése mellett A I,κ = h; logikai törvény, ha a nyelv minden I interpretációjában és I minden κ változókiértékelése mellett A I,κ = i. Jelölése: = A.
13 Példa - 3. A P(x) xp(x) formula kielégíthető, de nem logikai törvény. A formula lehet a {π}, {P (π) },, logikai nyelv formulája. Interpretáljuk a nyelvet a következőképpen: I Srt (π) = N 0 és { I Pr (P) = P I, ahol P I i, ha u N0 prím, (u) = h, egyébként. P(x) I,x 4 = h, és így P(x) xp(x) I,x 4 = P(x) I,x 4 xp(x) I = i. De mivel xp(x) I = h és P(x) I,x 3 = i, ezért P(x) xp(x) I,x 3 = P(x) I,x 3 xp(x) I = h.
14 Példa - 4. A xp(x) P(x) formula kielégíthetetlen. Tetszőlegesen rögzítsünk egy I interpretációt és I-ben egy κ változókiértékelést. 1. Ha xp(x) I = h, akkor xp(x) P(x) I,κ = xp(x) I P(x) I,κ = h, 2. Ha viszont xp(x) I = i, akkor κ minden x-variánsa mellett (sőt I-beli minden változókiértékelés mellett), tehát κ mellett is P(x) I,κ = i, így P(x) I,κ = h, ezek szerint most is xp(x) P(x) I,κ = xp(x) I P(x) I,κ = h.
15 Példa - 5. A xp(x) P(x) formula logikai törvény. Rögzítsünk tetszőlegesen egy I interpretációt és egy κ változókiértékelést. 1. Ha xp(x) I = i, akkor I minden változókiértékelése mellett, tehát κ mellett is P(x) I,κ = i, azaz xp(x) P(x) I,κ = xp(x) I P(x) I,κ = i. 2. Ha pedig xp(x) I = h, akkor szintén xp(x) P(x) I,κ = xp(x) I P(x) I,κ = i.
16 Formula prímkomponensei Egy formula legkisebb összetettségű azon részformuláit, amelyekből a formula csupán a,,, logikai összekötőjelek segítségével felépíthető, a formula prímkomponenseinek nevezzük. A x y(p(x) P(y)) formula egyetlen prímkomponense önmaga. A x(p(x) P(f (x))) P(c) prímkomponensei a x(p(x) P(f (x))) és a P(c) formulák.
17 Quine-féle táblázat Legyenek az A formula prímkomponensei A 1, A 2,..., A n. Ha a különböző prímkomponenseket gondolatban különböző ítéletváltozóknak tekintjük, az így kapott ítéletlogikai formulához megadhatjuk az igazságtáblát. Ez a Quine-táblázat. Nyilvánvaló, hogy egy tetszőlegesen kiválasztott interpretáció és változókiértékelés esetén a formula prímkomponenseinek igazságértékeit a Quine-táblázat egyik sorában (a prímkomponensekhez tartozó oszlopokban) rendre meg fogjuk találni. Ugyanakkor a táblázatban lehetnek olyan sorok is, amelyekhez nem tudunk olyan interpretációt és változókiértékelés megadni, hogy mellettük a prímkomponensek igazságértékei rendre a sorban szereplő értékek legyenek.
18 Példa - 6. x P(x) xp(x) prímkomponensei: x P(x) és xp(x). A formula Quine-féle táblázata a következő: x P(x) xp(x) x P(x) xp(x) i i i i h i h i i h h h A táblázat első és utolsó sorához sem tudunk olyan interpretációt készíteni, amelyben a prímkomponensek épp a sorban feltüntetett igazságértékkel rendelkeznek.
19 A Quine-táblázat és a szemantika kapcsolata Egy A elsőrendű formula (propozicionális) tautológia, ha a formula Quine-táblázatában A oszlopában csupa i igazságérték található. Ha A propozicionális tautológia, akkor A logikai törvény.
20 Néhány nevezetes tautológia Ha A, B és C elsőrendű logikai formulák, az alábbi elsőrendű formulák propozicionális tautológiák, így logikai törvények: azonosság = A A bővítés előtaggal = A (B A) ellentmondásból bármi = A ( A B) reductio ad absurdum = (A B) ((A B) A) kétszeres tagadás = A A kizárt harmadik = A A ellentmondás = (A A) = A (B A B) = A B A és = A B B = (A C) ((B C) (A B C)) = A A B és = B A B
21 Példa - 7. A ( xp(x) xp(x)) xp(x) xp(x) formula prímkomponensei xp(x) és xp(x). A formula Quine-féle táblázata a következő: xp(x) xp(x) ( xp(x) xp(x)) xp(x) xp(x) i i i i h i h i i h h i A formula oszlopában csupa i igazságérték található, tehát a formula tautológia, azaz logikai törvény.
22 Az elsőrendű logikai törvények Mivel egy elsőrendű formula Quine-táblázatában lehetnek olyan sorok is, melyekben szereplő igazságértékeket az egyes oszlopokhoz tartozó prímkomponensek egyszerre egyetlen interpretációban egyetlen változókiértékelés mellett sem vehetik fel, így amikor A nem propozicionális tautológia, logikai törvény még lehet. Egy elsőrendű logikai törvény formula gyakran NEM propozicionális tautológia.
23 Példa - 8. Korábban láttuk, hogy a x P(x) xp(x) nem tautológia. Ugyanakkor egy tetszőlegesen rögzített I interpretációban 1. vagy x P(x) I = h, így x P(x) xp(x) I = i, 2. vagy x P(x) I = i, ekkor viszont x P(x) I = h. Ez pedig azt jelenti, hogy minden κ változókiértékelés mellett P(x) I,κ = h, azaz P(x) I,κ = i, tehát xp(x) I = i. Így viszont ebben az esetben is x P(x) xp(x) I = i, tehát a x P(x) xp(x) formula logikai törvény.
24 Néhány elsőrendű logikai törvény Ha A és B elsőrendű logikai formulák, akkor az alábbi formulák nem tautológiák, de logikai törvények: = xa xb x(a B) = x(a B) xa xb = y xa x ya.
Az informatika logikai alapjai
Az informatika logikai alapjai Várterész Magda DE, Informatikai Kar PTI BSc és informatikatanár hallgatók számára 2017. Formulahalmaz kielégíthetősége Ezen az előadáson Γ-val egy elsőrendű logikai nyelv
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é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é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é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. Példák Az alábbi világokban állításokat akarunk megfogalmazni: A táblára színes karikákat
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é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é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é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é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é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é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észletesebbenAz informatika logikai alapjai 1
Az informatika logikai alapjai 1 1.1. Az alábbi idézetek 1 közül melyek fejeznek ki állítást? Miért, illetve miért nem? (a) Ez volt ám az ember, ha kellett, a gáton. (b) Szép öcsém, miért állsz ott a nap
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é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é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 es sz am ıt aselm elet I. r esz Logika M asodik el oad as 1/26
1/26 Logika és számításelmélet I. rész Logika Második előadás Tartalom 2/26 Ítéletlogika - Szemantika (folytatás) Formulák és formulahalmazok szemantikus tulajdonságai Szemantikus következményfogalom Formalizálás
RészletesebbenÍ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é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é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 é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 2011 tavasz Követelmények A tárgy (ea+gyak) teljesítésének követlményeit
RészletesebbenLogika és informatikai alkalmazásai
Logika és informatikai alkalmazásai 1. levelezős gyakorlat Németh L. Zoltán http://www.inf.u-szeged.hu/~zlnemeth SZTE, Informatikai Tanszékcsoport 2009 tavasz Követelmények A tárgy (ea+gyak) teljesítésének
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é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é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 1. gyakorlat Németh L. Zoltán http://www.inf.u-szeged.hu/~zlnemeth SZTE, Informatikai Tanszékcsoport 2009 tavasz Követelmények A tárgy (ea+gyak) teljesítésének követlményeit
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é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é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 é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. 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észletesebbenFelmentések. Ha valaki tanár szakos, akkor mivel neki elvileg a hálóban nincs logika rész, felmentést kaphat a logika gyakorlat és vizsga alól.
Felmentések Ha valaki tanár szakos, akkor mivel neki elvileg a hálóban nincs logika rész, felmentést kaphat a logika gyakorlat és vizsga alól. Az eredménye, ezek után a számításelélet részből elért eredmény
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é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é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é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é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észletesebbenFelmentések. Logika (1. gyakorlat) 0-adrendű szintaktika 2009/10 II. félév 1 / 21
Felmentések Logika (1. gyakorlat) 0-adrendű szintaktika 2009/10 II. félév 1 / 21 Felmentések Ha valaki tanár szakos, akkor mivel neki elvileg a hálóban nincs logika rész, felmentést kaphat a logika gyakorlat
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é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 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é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é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é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é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észletesebbenA 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é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észletesebbenFüggvény fogalma, jelölések 15
DOLGO[Z]ZATOK 9.. 1. Függvény fogalma, jelölések 1 1. Az alábbi hozzárendelések közül melyek függvények? a) A magyarországi megyékhez hozzárendeljük a székhelyüket. b) Az egész számokhoz hozzárendeljük
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 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 é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é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é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 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é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é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é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é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. 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é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észletesebbenValószínűségi változók. Várható érték és szórás
Matematikai statisztika gyakorlat Valószínűségi változók. Várható érték és szórás Valószínűségi változók 2016. március 7-11. 1 / 13 Valószínűségi változók Legyen a (Ω, A, P) valószínűségi mező. Egy X :
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é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észletesebbenNagy Gábor compalg.inf.elte.hu/ nagy ősz
Diszkrét matematika 1. középszint 2017. ősz 1. Diszkrét matematika 1. középszint 9. előadás Nagy Gábor nagygabr@gmail.com nagy@compalg.inf.elte.hu compalg.inf.elte.hu/ nagy Mérai László diái alapján Komputeralgebra
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é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észletesebbenLengyelné Dr. Szilágyi Szilvia április 7.
ME, Anaĺızis Tanszék 2010. április 7. , alapfogalmak 2.1. Definíció A H 1, H 2,..., H n R (ahol n 2 egész szám) nemüres valós számhalmazok H 1 H 2... H n Descartes-szorzatán a következő halmazt értjük:
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észletesebben1. Alapfogalmak Algoritmus Számítási probléma Specifikáció Algoritmusok futási ideje
1. Alapfogalmak 1.1. Algoritmus Az algoritmus olyan elemi műveletekből kompozíciós szabályok szerint felépített összetett művelet, amelyet megadott feltételt teljesítő bemeneti adatra végrehajtva, a megkívánt
RészletesebbenA 2015/2016. tanévi Országos Középiskolai Tanulmányi Verseny döntő forduló MATEMATIKA III. KATEGÓRIA (a speciális tanterv szerint haladó gimnazisták)
A 205/206. tanévi Országos Középiskolai Tanulmányi Verseny döntő forduló MATEMATIKA III. KATEGÓRIA a speciális tanterv szerint haladó gimnazisták Javítási-értékelési útmutató. feladat Az {,2,...,n} halmaz
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é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é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észletesebbenTúlmunkaidő óra Összesen: Egyéb óra Összesen: Éjszakai pótlékos óra Összesen: 100 % pótlékos óra Összesen: Összesen: Összesen: Összesen: Összesen:
Jelenléti ív 2013 01 Január munkanap-ünnepnap száma: 23-1 kedd szerda csütörtök péntek szombat vasárnap hétfő kedd szerda csütörtök péntek szombat vasárnap hétfő kedd 184 ## Csuzstatás: 16 17 18 19 20
Részletesebbenkonvergensek-e. Amennyiben igen, számítsa ki határértéküket!
1. Határértékek 1. Állapítsa meg az alábbi sorozatokról, hogy van-e határértékük, konvergensek-e. Amennyiben igen, számítsa ki határértéküket! 2 2...2 2 (n db gyökjel), lim a) lim n b) lim n (sin(1)) n,
RészletesebbenLOGIKA. A logika feladata tehát a premisszák és a konklúzió
LOGIKA hétköznapi jelentése: a rendszeresség, következetesség szinonimája Ez logikus beszéd volt. Nincs benne logika. Más logika szerint gondolkodik. tudományszak elnevezése, melynek fő feladata a helyes
RészletesebbenMindent olyan egyszerűvé kell tenni, amennyire csak lehet, de nem egyszerűbbé.
HA 1 Mindent olyan egyszerűvé kell tenni, amennyire csak lehet, de nem egyszerűbbé. (Albert Einstein) HA 2 Halmazok HA 3 Megjegyzések A halmaz, az elem és az eleme fogalmakat nem definiáljuk, hanem alapfogalmaknak
Ré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észletesebbenLeképezések. Leképezések tulajdonságai. Számosságok.
Leképezések Leképezések tulajdonságai. Számosságok. 1. Leképezések tulajdonságai A továbbiakban legyen A és B két tetszőleges halmaz. Idézzünk fel néhány definíciót. 1. Definíció (Emlékeztető). Relációknak
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é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észletesebben1. tétel. Valószínűségszámítás vizsga Frissült: 2013. január 19. Valószínűségi mező, véletlen tömegjelenség.
1. tétel Valószínűségszámítás vizsga Frissült: 2013. január 19. Valószínűségi mező, véletlen tömegjelenség. A valószínűségszámítás tárgya: véletlen tömegjelenségek vizsgálata. véletlen: a kísérlet kimenetelét
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é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észletesebbenItt és a továbbiakban a számhalmazokra az alábbi jelöléseket használjuk:
1. Halmazok, relációk, függvények 1.A. Halmazok A halmaz bizonyos jól meghatározott dolgok (tárgyak, fogalmak), a halmaz elemeinek az összessége. Azt, hogy az a elem hozzátartozik az A halmazhoz így jelöljük:
Részletesebben5. A kiterjesztési elv, nyelvi változók
5. A kiterjesztési elv, nyelvi változók Gépi intelligencia I. Fodor János BMF NIK IMRI NIMGI1MIEM Tartalomjegyzék I 1 A kiterjesztési elv 2 Nyelvi változók A kiterjesztési elv 237 A KITERJESZTÉSI ELV A
RészletesebbenMatematika III. harmadik előadás
Matematika III. harmadik előadás Kézi Csaba Debreceni Egyetem, Műszaki Kar Debrecen, 2013/14 tanév, I. félév Kézi Csaba (DE) Matematika III. harmadik előadás 2013/14 tanév, I. félév 1 / 13 tétel Az y (x)
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észletesebbenBevezetés az informatikába
Bevezetés az informatikába 6. előadás Dr. Istenes Zoltán Eötvös Loránd Tudományegyetem Informatikai Kar Programozáselmélet és Szoftvertechnológiai Tanszék Matematikus BSc - I. félév / 2008 / Budapest Dr.
RészletesebbenLOGIKA. A logika feladata tehát a premisszák és a konklúzió
LOGIKA hétköznapi jelentése: a rendszeresség, következetesség szinonimája Ez logikus beszéd volt. Nincs benne logika. Más logika szerint gondolkodik. tudományszak elnevezése, melynek fő feladata a helyes
RészletesebbenMindent olyan egyszerűvé kell tenni, amennyire csak lehet, de nem egyszerűbbé. (Albert Einstein) Halmazok 1
Halmazok 1 Mindent olyan egyszerűvé kell tenni, amennyire csak lehet, de nem egyszerűbbé. (Albert Einstein) Halmazok 2 A fejezet legfontosabb elemei Halmaz megadási módjai Halmazok közti műveletek (metszet,
RészletesebbenDiszkrét matematika I. gyakorlat
Vizsgafeladatok megoldása 2012. december 5. Tartalom Teljes feladatsor #1 1 Teljes feladatsor #1 2 Teljes feladatsor #2 3 Teljes feladatsor #3 4 Teljes feladatsor #4 5 Válogatott feladatok 6 Végső bölcsesség
RészletesebbenADATBÁZISOK ELMÉLETE 5. ELŐADÁS 3/22. Az F formula: ahol A, B attribútumok, c érték (konstans), θ {<, >, =,,, } Példa:
Adatbázisok elmélete 5. 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észletesebbenAdatbázis rendszerek 2. előadás. Relációs algebra
Adatbázis rendszerek. előadás Relációs algebra Molnár Bence Szerkesztette: Koppányi Zoltán Bevezetés Relációs algebra általában A relációs algebra néhány tulajdonsága: Matematikailag jól definiált Halmazelméletből
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észletesebbenDISZKRÉT MATEMATIKA: STRUKTÚRÁK Előadáson mutatott példa: Bércesné Novák Ágnes
1. Algebrai alapok: DISZKRÉT MATEMATIKA: STRUKTÚRÁK Művelet: Egy H nemüres halmazon értelmezett (kétváltozós) műveleten egy H H H függvényt értünk, azaz egy olyan leképezést, amely bármely a,b H elempárhoz
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észletesebbenMérhetőség, σ-algebrák, Lebesgue Stieltjes-integrál, véletlen változók és eloszlásfüggvényeik
Mérhetőség, σ-algebrák, Lebesgue Stieltjes-integrál, véletlen változók és eloszlásfüggvényeik Az A halmazrendszer σ-algebra az Ω alaphalmazon, ha Ω A; A A A c A; A i A, i N, i N A i A. Az A halmazrendszer
Részletesebben