Az informatika logikai alapjai
|
|
- Győző Rácz
- 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 Példák Az alábbi világokban állításokat akarunk megfogalmazni: A táblára színes karikákat rajzoltak körbe egymás mellé gyerekek. Alma karikája zöld. Botond karikája Alma karikája mellett van. Van a táblán zöld karika. Nem minden karika zöld. Van olyan zöld karika, amelyik mellett nincs zöld karika. A természetes számokkal számlálunk, összeadunk, szorzunk, és eldöntjük, egyenlőek-e. Kétszer egy az egyenlő egy meg egy. Egy szám kétszerese egyenlő a szám önmagával való összegével. Van olyan szám, amelyiknek önmagával való szorzata egyenlő az önmagával való összegével. A 0 a legkisebb természetes szám.
3 Példák Az elemi geomtria térbeli világában pontok, egyenesek és síkok vannak. Két pont egybeeshet, egy pont rajta lehet egy egyenesen, vagy egy síkon. Bármely két különbözõ pontra pontosan egy egyenes illeszthető. Az egyetem Neptun rendszerében beszélhetünk hallgatókról, oktatókról, kurzusokról, stb. A hallgató egy-egy félévben kurzusokat vehet fel, és teljesítheti ezek követelményeit. A kurzusoknak előfeltételei vannak.... Egy hallgató csak akkor veheti fel a mesterséges intelligencia kurzust, ha már teljesítette a logika kurzust....
4 Az ábécé 1 Egy elsőrendű logikai nyelv ábécéjének logikán kívüli szimbólumai megadhatók Srt, Pr, Fn, Cnst alakban. Srt nemüres halmaz, elemei fajtákat szimbolizálnak. Pr nemüres halmaz, elemei predikátumszimbólumok. Minden predikátumszimbólumhoz tartozik egy (π 1, π 2,..., π k ) fajtasorozat, a predikátumszimbólum alakja. Az Fn halmaz elemei függvényszimbólumok. Minden függvényszimbólumhoz tartozik egy (π 1, π 2,..., π k, π) fajtasorozat, a függvényszimbólum alakja. Cnst pedig a konstansszimbólumok halmaza. Minden konstansszimbólumhoz tartozik egy (π) fajta, a konstansszimbólum fajtája.
5 Az ábécé 2 Az elsőrendű logikai nyelv ábécéjének logikai jelei a logikai összekötőjelek:,,,, a kvantorok:, és a különböző fajtájú (individuum)változók. Minden π Srt fajtához szimbólumoknak megszámlálhatóan végtelen v π 1, v π 2,... rendszere tartozik, ezeket a szimbólumokat nevezzük π fajtájú változóknak. Használunk még elválasztójeleket: ( ), (zárójelek, vessző).
6 A termek 1 Minden π Srt fajtájú változó és konstans π fajtájú term. 2 Ha az f Fn függvényszimbólum (π 1, π 2,..., π k, π) alakú és t 1, t 2,..., t k rendre π 1, π 2,..., π k fajtájú termek, akkor az f (t 1, t 2,..., t k ) szó egy π fajtájú term. 3 Minden term az 1 2. szabályok véges sokszori alkalmazásával áll elő.
7 Az elsőrendű formulák 1 Ha a P Pr predikátumszimbólum (π 1, π 2,..., π k ) alakú és t 1, t 2,..., t k rendre π 1, π 2,..., π k fajtájú termek, akkor a P(t 1, t 2,..., t k ) szó egy elsőrendű formula. Az így nyert formulákat atomi formuláknak nevezzük. 2 Ha A elsőrendű formula, akkor A is az. 3 Ha A és B elsőrendű formulák és {,, }, akkor (A B) is elsőrendű formula. 4 Ha A elsőrendű formula, Θ kvantor és x tetszőleges változó, akkor ΘxA is elsőrendű formula. Az így nyert formulákat kvantált formuláknak nevezzük. 5 Minden elsőrendű formula az 1 4. szabályok véges sokszori alkalmazásával áll elő.
8 A szerkezeti indukció elve termekre Ahhoz, hogy igazoltnak tekintsük, hogy egy rögzített ábécé feletti ítéletlogikai nyelv minden termje T tulajdonságú, elég belátni a következőket: (alaplépés:) Minden változó és konstansszimbólum T tulajdonságú. (indukciós lépés:) Ha a t 1, t 2,..., t k termek T tulajdonságúak, akkor az f függvényszimbólum felhasználásával előállított f (t 1, t 2,..., t k ) term is T tulajdonságú.
9 A szerkezeti indukció elve formulákra Ahhoz, hogy igazoltnak tekintsük, hogy egy elsőrendű logikai nyelv minden formulája T tulajdonságú, elég belátni a következőket: (alaplépés:) Minden atomi formula T tulajdonságú. (indukciós lépések:) (i 1 ) Ha az A formula T tulajdonságú, akkor A is T tulajdonságú. (i 2 ) Ha az A és a B formulák T tulajdonságúak és {,, }, akkor (A B) is T tulajdonságú. (i 3 ) Ha az A formula T tulajdonságú, Θ kvantor és x individuumváltozó, akkor ΘxA is T tulajdonságú.
10 Az egyértelmű elemzés Az elsőrendű logikai nyelv ábécéje feletti minden szóra a következő állítások közül pontosan egy igaz. 1 A szó egy individuumváltozó (term). 2 A szó egy konstansszimbólum (term). 3 A szó az egyértelműen meghatározható t 1, t 2,..., t k termekből és az f függvényszimbólumból előállított f (t 1, t 2,..., t k ) alakú term. 4 A szó az egyértelműen meghatározható t 1, t 2,..., t k termekől és a P predikátumszimbólumból előállított P(t 1, t 2,..., t k ) alakú atomi formula. 5 A szó egy egyértelműen meghatározható formula negáltja. 6 A szó az egyértelműen meghatározható A és B formulákból és logikai összekötő jelből előállított (A B) alakú formula. 7 A szó az egyértelműen meghatározható A formulából, Θ kvantorból és x változóból előállított ΘxA alakú formula.
11 Logikai kifejezés közvetlen részkifejezései Egyetlen konstansszimbólum termnek és változó termnek sincs közvetlen résztermje. Az f (t 1, t 2,..., t k ) alakú term közvetlen résztermjei a t 1, t 2,..., t k termek. Az atomi formuláknak nincs közvetlen részformulája. A A alakú formula egyetlen közvetlen részformulája az A formula. Az (A B) alakú formula közvetlen részformulái az A és a B formulák. A ΘxA alakú formula közvetlen részformulája az A formula.
12 Logikai kifejezés részkifejezéseinek a halmaza Egy term résztermjeinek halmaza a legszűkebb olyan halmaz, melynek maga a term eleme és ha egy term eleme, akkor eleme a term összes közvetlen résztermje is. Egy formula részformuláinak halmaza a legszűkebb olyan halmaz, melynek maga a formula eleme és ha egy formula eleme, akkor eleme a formula összes közvetlen részformulája is.
13 A szerkezeti rekurzió elve termekre Pontosan egy olyan, az elsőrendű logikai nyelv termjein értelmezett F függvény van, melynek (alaplépés:) értékeit rögzítjük a nyelv változóin és konstansain, majd megmondjuk, hogy F értéke (indukciós lépések:) az f (t 1, t 2,..., t k ) termre a t 1, t 2,..., t k termeken felvett értékeiből hogyan származtatható.
14 A szerkezeti rekurzió elve formulákra Pontosan egy olyan, az elsőrendű logikai nyelv formuláin értelmezett F függvény van, melynek (alaplépés:) értékeit rögzítjük a nyelv atomi formuláin és megmondjuk, hogy F értéke (indukciós lépések:) (r 1 ) a A formulára az A-n felvett értékéből, (r 2 ) az (A B) formulára az A-n és a B-n felvett értékeiből, illetve (r 3 ) a ΘxA formulára az A-n felvett értékéből hogyan származtatható.
15 Term összetettsége Határozzuk meg a l: L t N 0 függvényt a következőképpen: ha t változó vagy konstansszimbólum, l(t) legyen 0, l(f (t 1, t 2,..., t k )) legyen l(t 1 ) + l(t 2 ) l(t k ) + 1. Ekkor a t L t termhez rendelt l(t) függvényértéket a t term (funkcionális) összetettségének nevezzük.
16 Formula összetettsége Határozzuk meg a l: L f N 0 függvényt a következőképpen: ha A atomi formula, l(a) legyen 0, l( A) legyen l(a) + 1, l(a B) legyen l(a) + l(b) + 1, l(θxa) pedig legyen l(a) + 1. Ekkor az A L f formulához rendelt l(a) függvényértéket az A formula (logikai) összetettségének nevezzük.
17 Hatáskör, zárójelhasználat Az ítéletlogikában definiáltuk a logikai összekötőjel hatáskörének és a fő logikai összekötőjelnek a fogalmát. A fogalmak változtatás nélkül kiterjeszthetők a kvantorokra is. Egészítsük ki a logikai összekötőjelek közötti erősorrendet azzal, hogy a kvantorokat is besoroljuk. A prioritás csökkenő sorrendben: {,, }, {, },, {, bevezetett összekötő jelek}. Azokat a zárójeleket, melyek ezt a sorrendet jelölnék ki, elhagyhatjuk.
18 Példa ábécére Most megadunk ábécét egy elsőrendű logikai nyelvhez. {π 1, π 2 }, {P, Q, R}, {f }, {c}, ahol a szimbólumok az alábbi alakúak: P (π 1 ) f (π 1, π 2, π 2 ) c (π 1 ) Q (π 1, π 2 ) R (π 2, π 2 ) Legyenek továbbá x, y, z,... π 1 fajtájú változók, x, ỹ, z... pedig π 2 fajtájú változók.
19 Példa termekre és formulákra Az előbb megadott ábécé feletti elsőrendű nyelvben elkészítünk néhány termet és formulát. π 1 fajtájú termek: c, x, y,... π 2 fajtájú termek: x, f (c, x), f (x, f (c, x)),... atomi formulák: P(x), Q(y, x), R(f (c, x), f (x, f (c, x))),... formulák: x xq(y, x), ( xq(y, x) xr(f (c, x), f (c, x))),...
20 Példa részkifejezésekre Az f (x, f (c, x)) term közvetlen résztermjei: x és f (c, x), résztermjeinek halmaza: {f (x, f (c, x)), x, f (c, x), c, x}. A x xq(y, x) formula egyetlen közvetlen részformulája: xq(y, x), részformuláinak halmaza: { x xq(y, x), xq(y, x), xq(y, x), Q(y, x)}.
Elsőrendű logika szintaktikája és szemantikája. Logika (3. gyakorlat) 0-adrendű szemantika 2009/10 II. félév 1 / 1
Elsőrendű logika szintaktikája és szemantikája Logika és számításelmélet, 3. gyakorlat 2009/10 II. félév Logika (3. gyakorlat) 0-adrendű szemantika 2009/10 II. félév 1 / 1 Az elsőrendű logika Elemek egy
Ré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észletesebbenAz informatika logikai alapjai
Az informatika logikai alapjai Várterész Magda DE, Informatikai Kar PTI BSc és informatikatanár hallgatók számára 2017. Az elsőrendű logikai nyelv interpretációja L interpretációja egy I-vel jelölt függvénynégyes,
Ré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 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é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é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. 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 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. 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é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é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é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. 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
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é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é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észletesebbenPredikátumkalkulus. Predikátumkalkulus alapfogalmai, formalizálás, tagadás, logikailag igaz formulák. Vizsgáljuk meg a következ két kijelentést.
Predikátumkalkulus Predikátumkalkulus alapfogalmai, formalizálás, tagadás, logikailag igaz formulák. 1. Bevezet Vizsgáljuk meg a következ két kijelentést. Minden almához tartozik egy fa, amir l leesett.
RészletesebbenLogika és informatikai alkalmazásai
Logika és informatikai alkalmazásai 1. gyakorlat Németh L. Zoltán http://www.inf.u-szeged.hu/~zlnemeth SZTE, Informatikai Tanszékcsoport 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 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é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 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é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é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é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észletesebbenMatematika alapjai; Feladatok
Matematika alapjai; Feladatok 1. Hét 1. Tekintsük a,, \ műveleteket. Melyek lesznek a.) kommutativok b.) asszociativak c.) disztributívak-e a, műveletek? Melyik melyikre? 2. Fejezzük ki a műveletet a \
Ré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é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é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é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é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é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é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é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észletesebbenElőfeltétel: legalább elégséges jegy Diszkrét matematika II. (GEMAK122B) tárgyból
ÜTEMTERV Programozás-elmélet c. tárgyhoz (GEMAK233B, GEMAK233-B) BSc gazdaságinformatikus, programtervező informatikus alapszakok számára Óraszám: heti 2+0, (aláírás+kollokvium, 3 kredit) 2019/20-es tanév
Részletesebben1. Ábrázolja az f(x)= x-4 függvényt a [ 2;10 ] intervallumon! (2 pont) 2. Írja fel az alábbi lineáris függvény grafikonjának egyenletét!
Függvények 1 1. Ábrázolja az f()= -4 függvényt a [ ;10 ] intervallumon!. Írja fel az alábbi lineáris függvény grafikonjának egyenletét! 3. Ábrázolja + 1 - függvényt a [ ;] -on! 4. Az f függvényt a valós
RészletesebbenSor és oszlopkalkulus
Adatbáziskezelés Sor és oszlopkalkulus Csima Judit BME, VIK, Számítástudományi és Információelméleti Tanszék 2017. szeptember 29. Csima Judit Adatbáziskezelés Sor és oszlopkalkulus 1 / 1 Sorkalkulus Formális
RészletesebbenA sorozat fogalma. függvényeket sorozatoknak nevezzük. Amennyiben az értékkészlet. az értékkészlet a komplex számok halmaza, akkor komplex
A sorozat fogalma Definíció. A természetes számok N halmazán értelmezett függvényeket sorozatoknak nevezzük. Amennyiben az értékkészlet a valós számok halmaza, valós számsorozatról beszélünk, mígha az
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észletesebbenSzámsorok. 1. Definíció. Legyen adott valós számoknak egy (a n ) n=1 = (a 1, a 2,..., a n,...) végtelen sorozata. Az. a n
Számsorok 1. Definíció. Legyen adott valós számoknak egy (a n ) = (a 1, a 2,..., a n,...) végtelen sorozata. Az végtelen összeget végtelen számsornak (sornak) nevezzük. Az a n számot a sor n-edik tagjának
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é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é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é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é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észletesebbenf(x) vagy f(x) a (x x 0 )-t használjuk. lim melyekre Mivel itt ɛ > 0 tetszőlegesen kicsi, így a a = 0, a = a, ami ellentmondás, bizonyítva
6. FÜGGVÉNYEK HATÁRÉRTÉKE ÉS FOLYTONOSSÁGA 6.1 Függvény határértéke Egy D R halmaz torlódási pontjainak halmazát D -vel fogjuk jelölni. Definíció. Legyen f : D R R és legyen x 0 D (a D halmaz torlódási
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é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é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észletesebben1. Interpoláció. Egyértelműség Ha f és g ilyen polinomok, akkor n helyen megegyeznek, így a polinomok azonossági tétele miatt egyenlők.
1. Interpoláció Az interpoláció alapproblémája. Feladat Olyan polinomot keresünk, amely előre megadott helyeken előre megadott értékeket vesz fel. A helyek: páronként különböző a 1, a,...,a n számok. Az
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
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észletesebbenFunkcionálanalízis. n=1. n=1. x n y n. n=1
Funkcionálanalízis 2011/12 tavaszi félév - 2. előadás 1.4. Lényeges alap-terek, példák Sorozat terek (Folytatás.) C: konvergens sorozatok tere. A tér pontjai sorozatok: x = (x n ). Ezen belül C 0 a nullsorozatok
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észletesebben2) Írja fel az alábbi lineáris függvény grafikonjának egyenletét! (3pont)
(11/1) Függvények 1 1) Ábrázolja az f()= -4 függvényt a [ ;10 ] intervallumon! (pont) ) Írja fel az alábbi lineáris függvény grafikonjának egyenletét! (3pont) 3) Ábrázolja + 1 - függvényt a [ ;] -on! (3pont)
Részletesebben2014. szeptember 24. és 26. Dr. Vincze Szilvia
2014. szeptember 24. és 26. Dr. Vincze Szilvia Mind a hétköznapi, mind a tudományos életben gyakran előfordul, hogy bizonyos halmazok elemei között kapcsolat figyelhető meg. A kapcsolat fogalmának matematikai
Részletesebben6. Függvények. 1. Az alábbi függvények közül melyik szigorúan monoton növekvő a 0;1 intervallumban?
6. Függvények I. Nulladik ZH-ban láttuk: 1. Az alábbi függvények közül melyik szigorúan monoton növekvő a 0;1 intervallumban? f x g x cos x h x x ( ) sin x (A) Az f és a h. (B) Mindhárom. (C) Csak az f.
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észletesebbenNagyordó, Omega, Theta, Kisordó
A növekedés nagyságrendje, számosság Logika és számításelmélet, 6. gyakorlat 2009/10 II. félév Számításelmélet (6. gyakorlat) A növekedés nagyságrendje, számosság 2009/10 II. félév 1 / 1 Nagyordó, Omega,
RészletesebbenKOVÁCS BÉLA, MATEMATIKA I.
KOVÁCS BÉLA, MATEmATIkA I. 4 IV. FÜGGVÉNYEk 1. LEkÉPEZÉSEk, függvények Definíció Legyen és két halmaz. Egy függvény -ből -ba egy olyan szabály, amely minden elemhez pontosan egy elemet rendel hozzá. Az
RészletesebbenFRAKTÁLGEOMETRIA. Metrikus terek, szeparábilitás, kompaktság. Czirbusz Sándor czirbusz@gmail.com. Komputeralgebra Tanszék ELTE Informatika Kar
Metrikus terek, szeparábilitás, kompaktság Czirbusz Sándor czirbusz@gmail.com Komputeralgebra Tanszék ELTE Informatika Kar 2010. március 7. Vázlat 1 Szeparábilitás Definíciók A szeparábilitás ekvivalens
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észletesebbenRelációk Függvények. A diákon megjelenő szövegek és képek csak a szerző (Kocsis Imre, DE MFK) engedélyével használhatók fel!
függvények RE 1 Relációk Függvények függvények RE 2 Definíció Ha A, B és ρ A B, akkor azt mondjuk, hogy ρ reláció A és B között, vagy azt, hogy ρ leképezés A-ból B-be. Ha speciálisan A=B, azaz ρ A A, akkor
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é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é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észletesebben2. Rekurzió. = 2P2(n,n) 2 < 2P2(n,n) 1
2. Rekurzió Egy objektum definícióját rekurzívnak nevezünk, ha a definíció tartalmazza a definiálandó objektumot. Egy P eljárást (vagy függvényt) rekurzívnak nevezünk, ha P utasításrészében előfordul magának
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é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é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é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é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észletesebbenAutomaták és formális nyelvek
Automaták és formális nyelvek Bevezetés a számítástudomány alapjaiba 1. Formális nyelvek 2006.11.13. 1 Automaták és formális nyelvek - bevezetés Automaták elmélete: információs gépek általános absztrakt
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/1. Házi feladat. 1. Legyen p és q igaz vagy hamis matematikai kifejezés. Mutassuk meg, hogy
/. Házi feladat. Legyen p és q igaz vagy hamis matematikai kifejezés. Mutassuk meg, hogy mindig igaz. (p (( p) q)) (( p) ( q)). Igazoljuk, hogy minden A, B és C halmazra A \ (B C) = (A \ B) (A \ C) teljesül.
RészletesebbenAnalízis I. beugró vizsgakérdések
Analízis I. beugró vizsgakérdések Programtervező Informatikus szak 2008-2009. 2. félév Készítette: Szabó Zoltán SZZNACI.ELTE zotyo@bolyaimk.hu v1.7 Forrás: Dr. Weisz Ferenc: Prog. Mat. 2006-2007 definíció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é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észletesebben4. SOROK. a n. a k (n N) a n = s, azaz. a n := lim
Példák.. Geometriai sor. A aq n = a + aq + aq 2 +... 4. SOROK 4. Definíció, konvergencia, divergencia, összeg Definíció. Egy ( ) (szám)sorozat elemeit az összeadás jelével összekapcsolva kapott a + a 2
RészletesebbenA L Hospital-szabály, elaszticitás, monotonitás, konvexitás
A L Hospital-szabály, elaszticitás, monotonitás, konvexitás 9. előadás Farkas István DE ATC Gazdaságelemzési és Statisztikai Tanszék A L Hospital-szabály, elaszticitás, monotonitás, konvexitás p. / A L
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észletesebbenALAPFOGALMAK 1. A reláció az program programfüggvénye, ha. Azt mondjuk, hogy az feladat szigorúbb, mint az feladat, ha
ALAPFOGALMAK 1 Á l l a p o t t é r Legyen I egy véges halmaz és legyenek A i, i I tetszőleges véges vagy megszámlálható, nem üres halmazok Ekkor az A= A i halmazt állapottérnek, az A i halmazokat pedig
Részletesebben17. előadás: Vektorok a térben
17. előadás: Vektorok a térben Szabó Szilárd A vektor fogalma A mai előadásban n 1 tetszőleges egész szám lehet, de az egyszerűség kedvéért a képletek az n = 2 esetben szerepelnek. Vektorok: rendezett
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é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észletesebbenSpecifikáció. B logikai formula, a bemeneti feltétel, K logikai formula, a kimeneti feltétel, A az algoritmus, amelyre az állítás vonatkozik.
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 kimeneti adatot
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é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é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é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észletesebbenEgyenletek, egyenlőtlenségek VII.
Egyenletek, egyenlőtlenségek VII. Magasabbfokú egyenletek: A 3, vagy annál nagyobb fokú egyenleteket magasabb fokú egyenleteknek nevezzük. Megjegyzés: Egy n - ed fokú egyenletnek legfeljebb n darab valós
RészletesebbenNagy Gábor compalg.inf.elte.hu/ nagy ősz
Diszkrét matematika 1. középszint 017. ősz 1. Diszkrét matematika 1. középszint. előadás Nagy Gábor nagygabr@gmail.com nagy@compalg.inf.elte.hu compalg.inf.elte.hu/ nagy Mérai László diái alapján Komputeralgebra
RészletesebbenE-tananyag Matematika 9. évfolyam 2014. Függvények
Függvények Függvények értelmezése Legyen adott az A és B két nem üres halmaz. Az A halmaz minden egyes eleméhez rendeljük hozzá a B halmaz egy-egy elemét. Ez a hozzárendelés egyértelmű, és ezt a hozzárendelést
RészletesebbenHALMAZELMÉLET feladatsor 1.
HALMAZELMÉLET feladatsor 1. Egy (H,, ) algebrai struktúra háló, ha (H, ) és (H, ) kommutatív félcsoport, és teljesül az ún. elnyelési tulajdonság: A, B H: A (A B) = A, A (A B) = A. A (H,, ) háló korlátos,
RészletesebbenHardver és szoftver rendszerek verifikációja Röviden megválaszolható kérdések
Hardver és szoftver rendszerek verifikációja Röviden megválaszolható kérdések 1. Az informatikai rendszereknél mit ellenőriznek validációnál és mit verifikációnál? 2. A szoftver verifikációs technikák
RészletesebbenMATEMATIKA ÉRETTSÉGI TÍPUSFELADATOK MEGOLDÁSAI KÖZÉP SZINT Függvények
MATEMATIKA ÉRETTSÉGI TÍPUSFELADATOK MEGOLDÁSAI KÖZÉP SZINT Függvények A szürkített hátterű feladatrészek nem tartoznak az érintett témakörhöz, azonban szolgálhatnak fontos információval az érintett feladatrészek
Részletesebbenb) Ábrázolja ugyanabban a koordinátarendszerben a g függvényt! (2 pont) c) Oldja meg az ( x ) 2
1) Az ábrán egy ; intervallumon értelmezett függvény grafikonja látható. Válassza ki a felsoroltakból a függvény hozzárendelési szabályát! a) b) c) ( ) ) Határozza meg az 1. feladatban megadott, ; intervallumon
RészletesebbenA félév során előkerülő témakörök
A félév során előkerülő témakörök rekurzív algoritmusok rendező algoritmusok alapvető adattípusok, adatszerkezetek, és kapcsolódó algoritmusok dinamikus programozás mohó algoritmusok gráf algoritmusok
Részletesebben