Automaták és formális nyelvek

Méret: px
Mutatás kezdődik a ... oldaltól:

Download "Automaták és formális nyelvek"

Átírás

1 Automaták és formális nyelvek Bevezetés a számítástudomány alapjaiba 1. Formális nyelvek

2 Automaták és formális nyelvek - bevezetés Automaták elmélete: információs gépek általános absztrakt matematikai modelljei Információs gépek: bemenő adat: információ a környezettől kimenő adat: információ a környezet felé Kalman-féle rendszer modellbe illeszthetőség Formális nyelvek/2

3 Automaták és formális nyelvek - bevezetés Formális nyelvek: információ feldolgozás alapeszközei adathalmazok: véges sok jelből alkotott szavak szavak halmaza: nyelv nyelv: szabályok a szavak alkotására, feldolgozására Formális nyelvek/3

4 Formális nyelvek - alapfogalmak Def.: Ábécé Szimbólumok (jelek) tetszőleges, nemüres, véges halmazát ábécének, az ábécét alkotó jeleket betűknek nevezzük. jel: alapfogalom ábécék halmazok, így alkalmazhatók rájuk a halmazműveletek Formális nyelvek/4

5 Formális nyelvek - alapfogalmak Def.: Szó Legyen adott egy tetszőleges ábécé. Ekkor az ábécé betűiből alkotott véges sorozatokat szavaknak, az adott ábécéből alkotott szavaknak nevezzük. Pl.: V = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} ábécéből származó szavak a tízes számrendszerben felírt számok. Formális nyelvek/5

6 Formális nyelvek - alapfogalmak Def.: Szó hossza A szó hossza alatt a szót alkotó jelek számát értjük. Jele: α szó hossza d(α) Def.: Üres szó Az egyetlen betűt sem tartalmazó sorozatot üres szónak nevezzük és ε-nal jelöljük. Természetesen d(ε)=0. Formális nyelvek/6

7 Formális nyelvek - alapfogalmak Def.: Szavak egyenlősége Két szó egyenlő, ha hosszuk megegyezik és a betűik páronként rendre megegyeznek. Legyen α és β két szó. α = β, ha d(α) = d(β) = n és a 1 = b 1, a 2 = b 2,, a n = b n. Formális nyelvek/7

8 Formális nyelvek - alapfogalmak Példa: Legyen V 1 = {0, 1} ábécé szavai: ε, , 00 hosszuk: 0, 6, 2. Legyen V 2 = {if, then else, for to, do, begin, a, b, c} szavai: if a then b else c, for b to c do begin a hosszuk: 6, 7 Formális nyelvek/8

9 Formális nyelvek - alapfogalmak Def.: Szavak szorzása Legyen α és β két szó. α és β szorzatán (egyesítésén) azt az új szót értjük, ami úgy jön létre, hogy β-t leírjuk az α után. Az így kapott új szót az αβ jelöli. Ha α = a 1 a 2 a n és β = b 1 b 2 b m, akkor αβ = a 1 a 2 a n b 1 b 2 b m ha α V és β W, akkor αβ V W d(αβ) = d(α)+d(β) azaz d(αβ) = n+m Formális nyelvek/9

10 Formális nyelvek - alapfogalmak tetszőleges szóra igaz: εα = αε = α szavak szorzása asszociatív, de nem kommutatív Példa Formális nyelvek/10

11 Formális nyelvek - alapfogalmak Def.: Szavak hatványozása Ha α egy tetszőleges szó, akkor α 0 = ε, α 1 = α, illetve α n = α n-1 α, n=1, 2, 3, esetén. Def.: Szó tükörképe A szó tükörképének azt α -1 -gyel jelölt szót nevezzük, amely az α betűit fordított sorrendben tartalmazza, azaz α=a 1 a 2 a n esetén α -1 =a n a n-1 a 1. Formális nyelvek/11

12 Formális nyelvek - alapfogalmak Def.: Szó kezdőszelete, végszelete, részszava Az α szó a β szónak kezdőszelete (prefixuma), ha létezik olyan γ szó, amelyre β = αγ. Az α szó a β szónak végszelete (szuffixuma), ha létezik olyan γ szó, amelyre β = γα. Az α szó a β szónak részszava, ha léteznek olyan µ és η szavak, amelyre β = µαη. Ha V egy tetszőleges ábécé, akkor a V-ből alkotott összes szavak halmazát jelöljük V * -gal. Formális nyelvek/12

13 Formális nyelvek - alapfogalmak Def.: Formális nyelvek Egy adott ábécéből alkotott szavak tetszőleges halmazát formális nyelvnek nevezzük. Másképpen egy L halmazt pontosan akkor nevezünk formális nyelvnek, létezik olyan V L ábécé, melyre L V L*. Formális nyelvek/13

14 Formális nyelvek - alapfogalmak Példa: Legyen V={0, 1} ábécé, ekkor a V-ből alkotott formális nyelvek: az üres halmaz ; az üres szót tartalmazó egy elemű halmaz {ε}; a V * ; L 1 ={0, 00, 010, 1100} ; L 2 ={0 n 1 n : n 0} ; Formális nyelvek/14

15 Formális nyelvek - alapfogalmak az L 3 halmaz, amelyet az alábbiak szerint határozunk meg: 1. ε L 3 ; 2. ha α L 3, akkor 0α1 L 3 és 1α 0 L 3 ; 3. ha α L 3 és β L 3 akkor α β L 3 ; 4. L 3 -ben nincs más szó, csak azok, amik az szabályok véges sokszori alkalmazásával megkaphatunk. véges végtelen nyelvek Formális nyelvek/15

16 Formális nyelvek - alapfogalmak Műveletek nyelvekkel: Halmazelméleti műveletek L 1 L 2 = {ω : ω L 1 vagy ω L 2 } L 1 L 2 = {ω : ω L 1 és ω L 2 } L 1 - L 2 = {ω : ω L 1 és ω L 2 } L = V * -L, ahol V az L-hez tartozó ábécé. Formális nyelvek/16

17 Formális nyelvek - alapfogalmak Def.: Formális nyelvek szorzása Legyen adott két nyelv L 1 és L 2, a hozzájuk tartozó ábécék pedig legyenek W 1 és W 2. Az L 1 és L 2 nyelvek L 1 L 2 szorzatán a következő W 1 W 2 ből alkotott nyelvet érjük: L 1 L 2 = {αβ : α L 1 és β L 2 } Példa L 1 = {0, 01}, L 2 = {1, 11} akkor L 1 L 2 = {01, 011, 0111} A szorzás ebben az esetben is asszociatív, de nem kommutatív. Formális nyelvek/17

18 Formális nyelvek - alapfogalmak Def.: Formális nyelvek hatványozása Legyen L tetszőleges nyelv, V pedig a hozzá tartozó ábécé. Az L nyelv hatványait a következő módon határozzuk meg: L 0 = {ε} L 1 = L L n = L n-1 L, n = 1, 2, 3, Példa: Legyen L = {0, 1} Ekkor: L 2 = L L = {00, 01, 10, 11} L 3 = L 2 L = {000, 010, 100, 110, 001, 011, 101, 111} Formális nyelvek/18

19 Formális nyelvek - alapfogalmak Def.: Formális nyelv iteráltja Az L nyelv hatványainak egyesítését az L nyelv iteráltjának nevezzük L * -gal jelöljük: L = U n 0 L iteráltja tehát az L-beli szavak tetszőleges véges sok tényezőiből álló szorzatainak a halmaza. L n Formális nyelvek/19

20 Formális nyelvek - alapfogalmak Példa: Legyen L = {0, 01} Ekkor: L 2 = L L = {00, 001, 010, 0101} L 3 = L 2 L = {000, 0010, 0100, 01010, 0001, 00101, 01001, } és az iterált L * = {0, 01, 00, 001, 010, 0101, 000, 0010, 0100, } Formális nyelvek/20

21 Formális nyelvek - Grammatikák Generatív grammatikák: élő nyelv: szavak sorozatáról a nyelvtan szabályai alapján döntjük el, hogy mondat-e formális nyelvek: szavak generálása struktúra hozzárendelése információ a matematikai informatika, programozási nyelvek, gépi fordítóprogramok, számítási módszerek modellezése Formális nyelvek/21

22 Formális nyelvek - Grammatikák Generatív grammatika elemei: Egy ábécé, melynek az elemei a terminális jelek. Ez az ábécé a grammatika kimenő ábécéje, mely a generált nyelvhez tartozik. Egy másik ábécé, melynek az elemei a nemterminális jelek. Ez egy segédeszköz, betűi nem szerepelnek a generált nyelv szavaiban. Egy kezdő szimbólum (rögzített nemterminális jel). Formális nyelvek/22

23 Formális nyelvek - Grammatikák A szavak alkotását megadó helyettesítési szabályok. Ezek terminális és nemterminális jelekből alkotott szavak rendezett párjai, melyekben az első tag legalább egy nemterminális jelet tartalmaz. Formális nyelvek/23

24 Formális nyelvek - Grammatikák Generálás folyamata kiindulunk a egy szóból, amely kezdetben egyetlen jelből, a kezdőszimbólumból áll; ezután a vizsgált szó valamelyik részszavát egy alkalmazható helyettesítési szabály alapján egy másik szóra cseréljük ki; az eljárás addig folytatjuk, amíg olyan szóhoz nem jutunk, amely csak terminális jelekből áll; a kapott szó eleme lesz a generált nyelvnek. Formális nyelvek/24

25 Formális nyelvek - Grammatikák Def.: Generatív grammatika Egy G generatív grammatikán a következő rendezett négyest értjük: ahol G = <V, W, S, P> V a terminális jelekből álló ábécé; W a nemterminális jelekből álló ábécé; S W a kezdőszimbólum; P = {< α, β >} szabályhalmaz. Formális nyelvek/25

26 Formális nyelvek - Grammatikák P olyan < α, β > rendezett pároknak a véges halmaza, melyeknél α és β a V W halmazból alkotott szavak, és α-nak legalább egy betűje nemterminális jel. P elemeit helyettesítési szabályoknak nevezzük, jelölési mód: α β azaz α szó helyettesíthető β szóval. Formális nyelvek/26

27 Formális nyelvek - Grammatikák Def.: Közvetlen levezethetőség A G = <V, W, S, P> grammatika alapján a µ szó közvetlenül levezethető az η szóból, ha µ,η (V W) *, és léteznek olyan γ,δ (V W) * szavak, valamint olyan α β szabály P-ben, amelyekre jelölése: η µ η = γαδ, µ = γβδ Formális nyelvek/27

28 Formális nyelvek - Grammatikák Def.: Levezethetőség Szavaknak egy ω 1, ω 2, ω n sorozatára azt mondjuk, hogy ez ω n nek ω 1 ből történő levezetése a G grammatika alapján, ha ω 1 ω 2 ω n. Ha létezik ez a levezetés akkor azt mondjuk, hogy ω n levezethető ω 1 ből a G grammatika alapján és a következőképpen jelöljük: ω 1 ω n A közvetlen levezetések száma adja meg a levezetés hosszát. Formális nyelvek/28

29 Formális nyelvek - Grammatikák A G = <V, W, S, P> grammatika generálja az α szót, ha α V * -nak és α levezethető S-ből, azaz S α. Azt mondjuk, hogy a G = <V, W, S, P> grammatika generálja az L V * nyelvet, ha L = {α : α V*, S α} Ebben az esetben L-re használjuk az L(G) jelölést. Formális nyelvek/29

30 Formális nyelvek - Grammatikák Két grammatikát, G -t és G -t akkor nevezünk ekvivalensnek, ha L(G )=L(G ). Példa Formális nyelvek/30

31 Formális nyelvek - Grammatikák Tétel Legyen adva egy G=<V, W, S, P> generatív grammatika és tegyük fel, hogy P-ben vannak olyan szabályok, amelyek a jobb oldali szavukban is tartalmazzák az S kezdőszimbólumot. Ekkor meg lehet adni olyan G grammatikát, amely ekvivalens lesz G-vel, és amelyben a helyettesítési szabályok jobb oldalán nem fordul elő a G kezdőszimbóluma. Formális nyelvek/31

32 Formális nyelvek Grammatikák csoportosítása Grammatikák csoportosítása : a helyettesítési szabályokra tett megkötések alapján 1. csoport: Az olyan generatív grammatikákat, amelyeknek a helyettesítési szabályaira semmiféle megszorítást nem teszünk, vagyis amelyekben a szabályok: αaβ ω alakúak, ahol α,β és ω terminális és nemterminális jelekből alkotott szavak, A pedig nemterminális jel, általános vagy 0-típusú grammatikáknak nevezzük. Formális nyelvek/32

33 Formális nyelvek Grammatikák csoportosítása 2. csoport: Azokat a G = <V, W, S, P> generatív grammatikákat, amelyeknek a helyettesítési szabályai: αaβ αωβ alakúak, ahol α,β,ω (V W) *, ω ε és A W, környezetfüggő vagy 1-típusú grammatikáknak nevezzük. Ilyen szabályok esetén az A szimbólum csak α- β környezet esetén helyettesíthető az ω szóval. Példa Formális nyelvek/33

34 Formális nyelvek Grammatikák csoportosítása 3. csoport: Azokat a G=<V, W, S, P> generatív grammatikákat, amelyeknek a helyettesítési szabályai: A ω alakúak, ahol A W, ω (V W) * és ω ε, környezetfüggetlen vagy 2-típusú grammatikáknak nevezzük. Példa Formális nyelvek/34

35 Formális nyelvek Grammatikák csoportosítása 4. csoport: Azokat a G=<V, W, S, P> generatív grammatikákat, amelyeknek minden helyettesítési szabálya: A ab vagy A a alakú, ahol A, B W, a V, reguláris vagy 3- típusú grammatikáknak nevezzük. Példa Formális nyelvek/35

36 Formális nyelvek Grammatikák csoportosítása Def.: Egy formális nyelvet akkor nevezünk regulárisnak (3-típusúnak), környezetfüggetlennek (2-típusúnak), környezetfüggőnek (1-típusúnak) vagy általánosnak (0-típusúnak), ha van olyan reguláris, környezetfüggetlen, környezetfüggő vagy általános típusú grammatika, amelyik ezt a nyelvet generálja. Formális nyelvek/36

37 Formális nyelvek Grammatikák csoportosítása Chomsky-féle hierarchia reguláris g. környezetfüggetlen g. környezetfüggő g. általános g. Formális nyelvek/37

Chomsky-féle hierarchia

Chomsky-féle hierarchia http://www.ms.sapientia.ro/ kasa/formalis.htm Chomsky-féle hierarchia G = (N, T, P, S) nyelvtan: 0-s típusú (általános vagy mondatszerkezetű), ha semmilyen megkötést nem teszünk a helyettesítési szabályaira.

Részletesebben

Formális nyelvek és automaták

Formális nyelvek és automaták Formális nyelvek és automaták Király Roland 2012. november 16. 1 2 Tartalomjegyzék 1. Előszó 7 2. Bevezetés 9 2.1. Út a matematikai formulától az implementációig........ 9 2.2. Feladatok.............................

Részletesebben

Atomataelmélet: A Rabin Scott-automata

Atomataelmélet: A Rabin Scott-automata A 19. óra vázlata: Atomataelmélet: A Rabin Scott-automata Az eddigieken a formális nyelveket generatív szempontból vizsgáltuk, vagyis a nyelvtan (generatív grammatika) szemszögéből. A generatív grammatika

Részletesebben

Automaták mint elfogadók (akceptorok)

Automaták mint elfogadók (akceptorok) Automaták mint elfogadók (akceptorok) Ha egy iniciális Moore-automatában a kimenőjelek halmaza csupán kételemű: {elfogadom, nem fogadom el}, és az utolsó kimenőjel dönti el azt a kérdést, hogy elfogadható-e

Részletesebben

Házi feladatok megoldása. Nyelvtani transzformációk. Házi feladatok megoldása. Házi feladatok megoldása. Formális nyelvek, 6. gyakorlat.

Házi feladatok megoldása. Nyelvtani transzformációk. Házi feladatok megoldása. Házi feladatok megoldása. Formális nyelvek, 6. gyakorlat. Nyelvtani transzformációk Formális nyelvek, 6. gyakorlat a. S (S) SS ε b. S XS ε és X (S) c. S (SS ) Megoldás: Célja: A nyelvtani transzformációk bemutatása Fogalmak: Megszorított típusok, normálformák,

Részletesebben

Formális nyelvek és automaták előadások

Formális nyelvek és automaták előadások VÁRTERÉSZ MAGDA Formális nyelvek és automaták előadások 2005/06-os tanév 1. félév Tartalomjegyzék 1. Előzetes tudnivalók 4 2. Bevezetés 15 3. Ábécé, szó, formális nyelv 17 4. Műveletek nyelvekkel 24 4.1.

Részletesebben

Emlékeztető: LR(0) elemzés. LR elemzések (SLR(1) és LR(1) elemzések)

Emlékeztető: LR(0) elemzés. LR elemzések (SLR(1) és LR(1) elemzések) Emlékeztető Emlékeztető: LR(0) elemzés A lexikális által előállított szimbólumsorozatot balról jobbra olvassuk, a szimbólumokat az vermébe tesszük. LR elemzések (SLR() és LR() elemzések) Fordítóprogramok

Részletesebben

A Formális nyelvek vizsga teljesítése. a) Normál A vizsgán 60 pont szerezhet, amely két 30 pontos részb l áll össze az alábbi módon:

A Formális nyelvek vizsga teljesítése. a) Normál A vizsgán 60 pont szerezhet, amely két 30 pontos részb l áll össze az alábbi módon: A Formális nyelvek vizsga teljesítése a) Normál A vizsgán 60 pont szerezhet, amely két 30 pontos részb l áll össze az alábbi módon: 1. Öt kis kérdés megválaszolása egyenként 6 pontért, melyet minimum 12

Részletesebben

Formális Nyelvek és Automaták v1.9

Formális Nyelvek és Automaták v1.9 Formális Nyelvek és Automaták v1.9 Hernyák Zoltán E másolat nem használható fel szabadon, a készülő jegyzet egy munkapéldánya. A teljes jegyzetről, vagy annak bármely részéről bármely másolat készítéséhez

Részletesebben

KOVÁCS BÉLA, MATEMATIKA I.

KOVÁCS BÉLA, MATEMATIKA I. KOVÁCS BÉLA, MATEmATIkA I. 1 I. HALmAZOk 1. JELÖLÉSEk A halmaz fogalmát tulajdonságait gyakran használjuk a matematikában. A halmazt nem definiáljuk, ezt alapfogalomnak tekintjük. Ez nem szokatlan, hiszen

Részletesebben

KOVÁCS BÉLA, MATEMATIKA I.

KOVÁCS BÉLA, MATEMATIKA I. KOVÁCS BÉLA MATEmATIkA I 6 VI KOmPLEX SZÁmOk 1 A komplex SZÁmOk HALmAZA A komplex számok olyan halmazt alkotnak amelyekben elvégezhető az összeadás és a szorzás azaz két komplex szám összege és szorzata

Részletesebben

Valasek Gábor valasek@inf.elte.hu

Valasek Gábor valasek@inf.elte.hu Számítógépes Grafika Valasek Gábor valasek@inf.elte.hu Eötvös Loránd Tudományegyetem Informatikai Kar 2013/2014. őszi félév ( Eötvös LorándSzámítógépes TudományegyetemInformatikai Grafika Kar) 2013/2014.

Részletesebben

Formális Nyelvek és Automaták. Dömösi, Pál Falucskai, János Horváth, Géza Mecsei, Zoltán Nagy, Benedek

Formális Nyelvek és Automaták. Dömösi, Pál Falucskai, János Horváth, Géza Mecsei, Zoltán Nagy, Benedek Formális Nyelvek és Automaták Dömösi, Pál Falucskai, János Horváth, Géza Mecsei, Zoltán Nagy, Benedek Formális Nyelvek és Automaták Dömösi, Pál Falucskai, János Horváth, Géza Mecsei, Zoltán Nagy, Benedek

Részletesebben

15. LINEÁRIS EGYENLETRENDSZEREK

15. LINEÁRIS EGYENLETRENDSZEREK 15 LINEÁRIS EGYENLETRENDSZEREK 151 Lineáris egyenletrendszer, Gauss elimináció 1 Definíció Lineáris egyenletrendszernek nevezzük az (1) a 11 x 1 + a 12 x 2 + + a 1n x n = b 1 a 21 x 1 + a 22 x 2 + + a

Részletesebben

A valós számok halmaza

A valós számok halmaza VA 1 A valós számok halmaza VA 2 A valós számok halmazának axiómarendszere és alapvető tulajdonságai Definíció Az R halmazt a valós számok halmazának nevezzük, ha teljesíti a következő axiómarendszerben

Részletesebben

Számítástudomány matematikai alapjai segédlet táv és levelező

Számítástudomány matematikai alapjai segédlet táv és levelező Számítástudomány matematikai alapjai segédlet táv és levelező Horváth Árpád 2008. december 16. A segédletek egy része a matek honlapon található: http://www.roik.bmf.hu/matek Kötelező irodalom: Bagyinszki

Részletesebben

KOVÁCS BÉLA, MATEMATIKA I.

KOVÁCS BÉLA, MATEMATIKA I. KOVÁCS BÉLA, MATEmATIkA I. 3 III. MEGFELELTETÉSEk, RELÁCIÓk 1. BEVEZETÉS Emlékeztetünk arra, hogy az rendezett párok halmazát az és halmazok Descartes-féle szorzatának nevezzük. Más szóval az és halmazok

Részletesebben

NP-teljesség röviden

NP-teljesség röviden NP-teljesség röviden Bucsay Balázs earthquake[at]rycon[dot]hu http://rycon.hu 1 Turing gépek 1/3 Mi a turing gép? 1. Definíció. [Turing gép] Egy Turing-gép formálisan egy M = (K, Σ, δ, s) rendezett négyessel

Részletesebben

Az R halmazt a valós számok halmazának nevezzük, ha teljesíti az alábbi 3 axiómacsoport axiómáit.

Az R halmazt a valós számok halmazának nevezzük, ha teljesíti az alábbi 3 axiómacsoport axiómáit. 2. A VALÓS SZÁMOK 2.1 A valós számok aximómarendszere Az R halmazt a valós számok halmazának nevezzük, ha teljesíti az alábbi 3 axiómacsoport axiómáit. 1.Testaxiómák R-ben két művelet van értelmezve, az

Részletesebben

Informatika szigorlat. A lexikális elemző feladatai közé tartozik a whitespace karakterek (a

Informatika szigorlat. A lexikális elemző feladatai közé tartozik a whitespace karakterek (a Informatika szigorlat 17-es tétel: Felülről lefelé elemzések 1. Lexikális elemzés A lexikális elemző alapvető feladata az, hogy a forrásnyelvű program lexikális egységeit felismerje, azaz meghatározza

Részletesebben

Információk. Ismétlés II. Ismétlés. Ismétlés III. A PROGRAMOZÁS ALAPJAI 2. Készítette: Vénné Meskó Katalin. Algoritmus. Algoritmus ábrázolása

Információk. Ismétlés II. Ismétlés. Ismétlés III. A PROGRAMOZÁS ALAPJAI 2. Készítette: Vénné Meskó Katalin. Algoritmus. Algoritmus ábrázolása 1 Információk 2 A PROGRAMOZÁS ALAPJAI 2. Készítette: Vénné Meskó Katalin Elérhetőség mesko.katalin@tfk.kefo.hu Fogadóóra: szerda 9:50-10:35 Számonkérés időpontok Április 25. 9 00 Május 17. 9 00 Június

Részletesebben

1. előadás Matematikai és nyelvi alapok, Szintaktikai vizsgálat

1. előadás Matematikai és nyelvi alapok, Szintaktikai vizsgálat 1. előadás Matematikai és nyelvi alapok, Dr. Kallós Gábor 2013 2014 1 Tartalom Matematikai alapfogalmak Halmazok Relációk Függvények Homomorfizmusok Nyelvi alapfogalmak Ábécé, szavak, nyelvek Műveletek

Részletesebben

4. Fuzzy relációk. Gépi intelligencia I. Fodor János NIMGI1MIEM BMF NIK IMRI

4. Fuzzy relációk. Gépi intelligencia I. Fodor János NIMGI1MIEM BMF NIK IMRI 4. Fuzzy relációk Gépi intelligencia I. Fodor János BMF NIK IMRI NIMGI1MIEM Tartalomjegyzék I 1 Klasszikus relációk Halmazok Descartes-szorzata Relációk 2 Fuzzy relációk Fuzzy relációk véges alaphalmazok

Részletesebben

Matematika tanmenet 2. osztály részére

Matematika tanmenet 2. osztály részére 2. osztály részére 2014-2015. Izsáki Táncsics Mihály Általános Iskola és Alapfokú Művészeti Iskola Készítette: Molnárné Tóth Ibolya Témakörök 1. Témakör: Év eleji ismétlés /1-24. óra/..3-5. oldal 2. Témakör:

Részletesebben

akonyv 2006/12/18 11:53 page i #1 Formális nyelvek és fordítóprogramok

akonyv 2006/12/18 11:53 page i #1 Formális nyelvek és fordítóprogramok akonyv 2006/12/18 11:53 page i #1 Csörnyei Zoltán Kása Zoltán Formális nyelvek és fordítóprogramok akonyv 2006/12/18 11:53 page ii #2 akonyv 2006/12/18 11:53 page iii #3 Csörnyei Zoltán Kása Zoltán FORMÁLIS

Részletesebben

MATEMATIKA ÉRETTSÉGI TÍPUSFELADATOK MEGOLDÁSAI KÖZÉP SZINT Számelmélet

MATEMATIKA ÉRETTSÉGI TÍPUSFELADATOK MEGOLDÁSAI KÖZÉP SZINT Számelmélet MATEMATIKA ÉRETTSÉGI TÍPUSFELADATOK MEGOLDÁSAI KÖZÉP SZINT Számelmélet A szürkített hátterű feladatrészek nem tartoznak az érintett témakörhöz, azonban szolgálhatnak fontos információval az érintett feladatrészek

Részletesebben

Fordítóprogramok felépítése, az egyes programok feladata. A következő jelölésmódot használjuk: program(bemenet)(kimenet)

Fordítóprogramok felépítése, az egyes programok feladata. A következő jelölésmódot használjuk: program(bemenet)(kimenet) Fordítóprogramok. (Fordítóprogramok felépítése, az egyes komponensek feladata. A lexikáliselemző működése, implementációja. Szintaktikus elemző algoritmusok csoportosítása, összehasonlítása; létrehozásuk

Részletesebben

2013.11.25. H=0 H=1. Legyen m pozitív egészre {a 1, a 2,, a m } különböző üzenetek halmaza. Ha az a i üzenetet k i -szer fordul elő az adásban,

2013.11.25. H=0 H=1. Legyen m pozitív egészre {a 1, a 2,, a m } különböző üzenetek halmaza. Ha az a i üzenetet k i -szer fordul elő az adásban, Legyen m pozitív egészre {a 1, a 2,, a m } különböző üzenetek halmaza. Ha az a i üzenetet k i -szer fordul elő az adásban, akkor a i (gyakorisága) = k i a i relatív gyakorisága: A jel információtartalma:

Részletesebben

Érettségi feladatok: Egyenletek, egyenlőtlenségek 1 / 6. 2005. május 29. 13. a) Melyik (x; y) valós számpár megoldása az alábbi egyenletrendszernek?

Érettségi feladatok: Egyenletek, egyenlőtlenségek 1 / 6. 2005. május 29. 13. a) Melyik (x; y) valós számpár megoldása az alábbi egyenletrendszernek? Érettségi feladatok: Egyenletek, egyenlőtlenségek 1 / 6 Elsőfokú 2005. május 28. 1. Mely x valós számokra igaz, hogy x 7? 13. a) Oldja meg az alábbi egyenletet a valós számok halmazán! x 1 2x 4 2 5 2005.

Részletesebben

Analízis elo adások. Vajda István. 2012. szeptember 10. Neumann János Informatika Kar Óbudai Egyetem. Vajda István (Óbudai Egyetem)

Analízis elo adások. Vajda István. 2012. szeptember 10. Neumann János Informatika Kar Óbudai Egyetem. Vajda István (Óbudai Egyetem) Vajda István Neumann János Informatika Kar Óbudai Egyetem 1 / 36 Bevezetés A komplex számok értelmezése Definíció: Tekintsük a valós számpárok R2 halmazát és értelmezzük ezen a halmazon a következo két

Részletesebben

5. A kiterjesztési elv, nyelvi változók

5. 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észletesebben

A TANTÁRGY ADATLAPJA

A 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 Kar 1.3 Intézet Magyar Matematika és Informatika Intézet 1.4

Részletesebben

Brósch Zoltán (Debreceni Egyetem Kossuth Lajos Gyakorló Gimnáziuma) Számelmélet I.

Brósch Zoltán (Debreceni Egyetem Kossuth Lajos Gyakorló Gimnáziuma) Számelmélet I. Számelmélet I. DEFINÍCIÓ: (Osztó, többszörös) Ha egy a szám felírható egy b szám és egy másik egész szám szorzataként, akkor a b számot az a osztójának, az a számot a b többszörösének nevezzük. Megjegyzés:

Részletesebben

A lineáris algebrában központi szerepet betöltı vektortér fogalmát értelmezzük most, s megvizsgáljuk e struktúra legfontosabb egyszerő tulajdonságait.

A lineáris algebrában központi szerepet betöltı vektortér fogalmát értelmezzük most, s megvizsgáljuk e struktúra legfontosabb egyszerő tulajdonságait. 2. VEKTORTÉR A lineáris algebrában központi szerepet betöltı vektortér fogalmát értelmezzük most, s megvizsgáljuk e struktúra legfontosabb egyszerő tulajdonságait. Legyen K egy test és V egy nem üres halmaz,

Részletesebben

Fogalomtár a Formális nyelvek és

Fogalomtár a Formális nyelvek és Fogalomtár a Formális nyelvek és automaták tárgyhoz (A törzsanyaghoz tartozó definíciókat és tételeket jelöli.) Definíciók Univerzális ábécé: Szimbólumok egy megszámlálhatóan végtelen halmazát univerzális

Részletesebben

Reguláris kifejezések 1.

Reguláris kifejezések 1. Reguláris kifejezések 1. A nyelvtechnológia eszközei és nyersanyagai 1. gyakorlat A beadandó feladatok be vannak keretezve! 1.1. Miért hívják reguláris kifejezésnek? (!) Az elméleti és a gyakorlati reguláris

Részletesebben

1. Algebrai alapok: Melyek műveletek az alábbiak közül?

1. Algebrai alapok: Melyek műveletek az alábbiak közül? 1. Algebrai alapok: 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 egyértelműen hozzárendel egy

Részletesebben

Helyi tanterv Német nyelvű matematika érettségi előkészítő. 11. évfolyam

Helyi tanterv Német nyelvű matematika érettségi előkészítő. 11. évfolyam Helyi tanterv Német nyelvű matematika érettségi előkészítő 11. évfolyam Tematikai egység címe órakeret 1. Gondolkodási és megismerési módszerek 10 óra 2. Geometria 30 óra 3. Számtan, algebra 32 óra Az

Részletesebben

Információ megjelenítés Alapok

Információ megjelenítés Alapok Információ megjelenítés Alapok Szavak és képek Duális kódolás elmélete (Paivio) Szerkezetek Vizuális Vizuális Rendszer Képi információ Imagens Nem-verbális válasz Szóbeli Halló Rendszer Információ beszédből

Részletesebben

x = 1 = ı (imaginárius egység), illetve x 12 = 1 ± 1 4 2

x = 1 = ı (imaginárius egység), illetve x 12 = 1 ± 1 4 2 Komplex számok A valós számok és a számegyenes pontjai között kölcsönösen egyértelmű megfeleltetés létesíthető. A számfogalom a számegyenes pontjainak körében nem bővíthető tovább. A számfogalom bővítését

Részletesebben

Halmazok; a matematikai logika elemei 1.1. A halmaz fogalma; jelölések

Halmazok; a matematikai logika elemei 1.1. A halmaz fogalma; jelölések 1 Halmazok; a matematikai logika elemei 1.1. A halmaz fogalma; jelölések A matematikában alapfogalmaknak tekintjük azokat a fogalmakat, amelyeket nem határozunk meg, nem definiálunk más fogalmak segítségével

Részletesebben

9. ÉVFOLYAM. Tájékozottság a racionális számkörben. Az azonosságok ismerete és alkalmazásuk. Számok abszolútértéke, normál alakja.

9. ÉVFOLYAM. Tájékozottság a racionális számkörben. Az azonosságok ismerete és alkalmazásuk. Számok abszolútértéke, normál alakja. 9. ÉVFOLYAM Gondolkodási módszerek A szemléletes fogalmak definiálása, tudatosítása. Módszer keresése az összes eset áttekintéséhez. A szükséges és elégséges feltétel megkülönböztetése. A megismert számhalmazok

Részletesebben

Tömbök kezelése. Példa: Vonalkód ellenőrzőjegyének kiszámítása

Tömbök kezelése. Példa: Vonalkód ellenőrzőjegyének kiszámítása Tömbök kezelése Példa: Vonalkód ellenőrzőjegyének kiszámítása A számokkal jellemzett adatok, pl. személyi szám, adószám, taj-szám, vonalkód, bankszámlaszám esetében az elírásból származó hibát ún. ellenőrző

Részletesebben

A tér lineáris leképezései síkra

A tér lineáris leképezései síkra A tér lineáris leképezései síkra Az ábrázoló geometria célja: A háromdimenziós térben elhelyezkedő alakzatok helyzeti és metrikus viszonyainak egyértelmű és egyértelműen rekonstruálható módon történő ábrázolása

Részletesebben

Számsorozatok (1) First Prev Next Last Go Back Full Screen Close Quit

Számsorozatok (1) First Prev Next Last Go Back Full Screen Close Quit Számsorozatok (1) First Prev Next Last Go Back Full Screen Close Quit 1. Valós számsorozaton valós számok meghatározott sorrendű végtelen listáját értjük. A hangsúly az egymásután következés rendjén van.

Részletesebben

24. szakkör (Csoportelméleti alapfogalmak 3.)

24. szakkör (Csoportelméleti alapfogalmak 3.) 24. szakkör (Csoportelméleti alapfogalmak 3.) D) PERMUTÁCIÓK RENDJE Fontos kérdés a csoportelméletben, hogy egy adott elem hanyadik hatványa lesz az egység. DEFINÍCIÓ: A legkisebb olyan pozitív k számot,

Részletesebben

Osztályozóvizsga követelményei

Osztályozóvizsga követelményei Osztályozóvizsga követelményei Képzés típusa: Tantárgy: Nyolcosztályos gimnázium Matematika Évfolyam: 9 Emelt óraszámú csoport Emelt szintű csoport Vizsga típusa: Írásbeli Követelmények, témakörök: Gondolkodási

Részletesebben

LINEÁRIS PROGRAMOZÁSI FELADATOK MEGOLDÁSA SZIMPLEX MÓDSZERREL

LINEÁRIS PROGRAMOZÁSI FELADATOK MEGOLDÁSA SZIMPLEX MÓDSZERREL LINEÁRIS PROGRAMOZÁSI FELADATOK MEGOLDÁSA SZIMPLEX MÓDSZERREL x 1-2x 2 6 -x 1-3x 3 = -7 x 1 - x 2-3x 3-2 3x 1-2x 2-2x 3 4 4x 1-2x 2 + x 3 max Alapfogalmak: feltételrendszer (narancs színnel jelölve), célfüggvény

Részletesebben

M. 33. Határozza meg az összes olyan kétjegyű szám összegét, amelyek 4-gyel osztva maradékul 3-at adnak!

M. 33. Határozza meg az összes olyan kétjegyű szám összegét, amelyek 4-gyel osztva maradékul 3-at adnak! Magyar Ifjúság 6 V SOROZATOK a) Három szám összege 76 E három számot tekinthetjük egy mértani sorozat három egymás után következő elemének vagy pedig egy számtani sorozat első, negyedik és hatodik elemének

Részletesebben

Formális nyelvek Második, javított kiadás

Formális nyelvek Második, javított kiadás BACH IVÁN Formális nyelvek Második, javított kiadás Egyetemi tankönyv TYPOTEX Kiadó Budapest, 2002 A könyv az illetékes kuratórium döntése alapján az Oktatási Minisztérium támogatásával a Felsőoktatási

Részletesebben

A következő feladat célja az, hogy egyszerű módon konstruáljunk Poisson folyamatokat.

A következő feladat célja az, hogy egyszerű módon konstruáljunk Poisson folyamatokat. Poisson folyamatok, exponenciális eloszlások Azt mondjuk, hogy a ξ valószínűségi változó Poisson eloszlású λ, 0 < λ

Részletesebben

Gráfelméleti feladatok. c f

Gráfelméleti feladatok. c f Gráfelméleti feladatok d e c f a b gráf, csúcsok, élek séta: a, b, c, d, e, c, a, b, f vonal: c, d, e, c, b, a út: f, b, a, e, d (walk, lanţ) (trail, lanţ simplu) (path, lanţ elementar) 1 irányított gráf,

Részletesebben

Készítette: Ernyei Kitti. Halmazok

Készítette: Ernyei Kitti. Halmazok Halmazok Jelölések: A halmazok jele általában nyomtatott nagybetű: A, B, C Az x eleme az A halmaznak: Az x nem eleme az A halmaznak: Az A halmaz az a, b, c elemekből áll: A halmazban egy elemet csak egyszer

Részletesebben

1. előadás. Lineáris algebra numerikus módszerei. Hibaszámítás Számábrázolás Kerekítés, levágás Klasszikus hibaanalízis Abszolút hiba Relatív hiba

1. előadás. Lineáris algebra numerikus módszerei. Hibaszámítás Számábrázolás Kerekítés, levágás Klasszikus hibaanalízis Abszolút hiba Relatív hiba Hibaforrások Hiba A feladatok megoldása során különféle hibaforrásokkal találkozunk: Modellhiba, amikor a valóságnak egy közelítését használjuk a feladat matematikai alakjának felírásához. (Pl. egy fizikai

Részletesebben

A Borda-szavazás Nash-implementálható értelmezési tartományai

A Borda-szavazás Nash-implementálható értelmezési tartományai A Borda-szavazás Nash-implementálható értelmezési tartományai Tasnádi Attila 2007. június 8. Alapfogalmak Jelölések: X az alternatívák véges nem üres halmaza (q = X ). Alapfogalmak Jelölések: X az alternatívák

Részletesebben

Az áprilisi vizsga anyaga a fekete betűkkel írott szöveg! A zölddel írott rész az érettségi vizsgáig még megtanulandó anyag!

Az áprilisi vizsga anyaga a fekete betűkkel írott szöveg! A zölddel írott rész az érettségi vizsgáig még megtanulandó anyag! Részletes követelmények Matematika házivizsga Az áprilisi vizsga anyaga a fekete betűkkel írott szöveg! A zölddel írott rész az érettségi vizsgáig még megtanulandó anyag! A vizsga időpontja: 2015. április

Részletesebben

6. előadás Környezetfüggetlen nyelvtanok/1.

6. előadás Környezetfüggetlen nyelvtanok/1. 6. előadás Környezetfüggetlen nyelvtanok/1. Dr. Kallós Gábor 2013 2014 1 Tartalom Bevezetés CF nyelv példák Nyelvek és nyelvtanok egy- és többértelműsége Bal- és jobboldali levezetések Levezetési fák A

Részletesebben

A matematika nyelvéről bevezetés

A 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észletesebben

XML ÉS FÉLIG-STRUKTURÁLT ADATBÁZISOK FÜGGŐSÉGEI

XML ÉS FÉLIG-STRUKTURÁLT ADATBÁZISOK FÜGGŐSÉGEI XML ÉS FÉLIG-STRUKTURÁLT ADATBÁZISOK FÜGGŐSÉGEI Doktori értekezés Készítette: Szabó Gyula István okleveles matematikus Témavezető: Dr. Benczúr András egyetemi tanár Az MTA doktora INFORMÁCIÓS RENDSZEREK

Részletesebben

egyenlőtlenségnek kell teljesülnie.

egyenlőtlenségnek kell teljesülnie. MATEMATIKA ÉRETTSÉGI TÍPUSFELADATOK MEGOLDÁSAI KÖZÉP SZINT Abszolútértékes és gyökös kifejezések A szürkített hátterű feladatrészek nem tartoznak az érintett témakörhöz, azonban szolgálhatnak fontos információval

Részletesebben

Relációk. 1. Descartes-szorzat. 2. Relációk

Relációk. 1. Descartes-szorzat. 2. Relációk Relációk Descartes-szorzat. Relációk szorzata, inverze. Relációk tulajdonságai. Ekvivalenciareláció, osztályozás. Részbenrendezés, Hasse-diagram. 1. Descartes-szorzat 1. Deníció. Tetsz leges két a, b objektum

Részletesebben

http://www.ms.sapientia.ro/~kasa/formalis.htm

http://www.ms.sapientia.ro/~kasa/formalis.htm Formális nyelvek és fordítóprogramok http://www.ms.sapientia.ro/~kasa/formalis.htm Könyvészet 1. Csörnyei Zoltán, Kása Zoltán, Formális nyelvek és fordítóprogramok, Kolozsvári Egyetemi Kiadó, 2007. 2.

Részletesebben

Rekurzió. Dr. Iványi Péter

Rekurzió. Dr. Iványi Péter Rekurzió Dr. Iványi Péter 1 Függvényhívás void f3(int a3) { printf( %d,a3); } void f2(int a2) { f3(a2); a2 = (a2+1); } void f1() { int a1 = 1; int b1; b1 = f2(a1); } 2 Függvényhívás void f3(int a3) { printf(

Részletesebben

8. Mohó algoritmusok. 8.1. Egy esemény-kiválasztási probléma. Az esemény-kiválasztási probléma optimális részproblémák szerkezete

8. Mohó algoritmusok. 8.1. Egy esemény-kiválasztási probléma. Az esemény-kiválasztási probléma optimális részproblémák szerkezete 8. Mohó algoritmusok Optimalizálási probléma megoldására szolgáló algoritmus gyakran olyan lépések sorozatából áll, ahol minden lépésben adott halmazból választhatunk. Sok optimalizálási probléma esetén

Részletesebben

FEGYVERNEKI SÁNDOR, Valószínűség-sZÁMÍTÁs És MATEMATIKAI

FEGYVERNEKI SÁNDOR, Valószínűség-sZÁMÍTÁs És MATEMATIKAI FEGYVERNEKI SÁNDOR, Valószínűség-sZÁMÍTÁs És MATEMATIKAI statisztika 10 X. SZIMULÁCIÓ 1. VÉLETLEN számok A véletlen számok fontos szerepet játszanak a véletlen helyzetek generálásában (pénzérme, dobókocka,

Részletesebben

Egyenletek, egyenlőtlenségek X.

Egyenletek, egyenlőtlenségek X. Egyenletek, egyenlőtlenségek X. DEFINÍCIÓ: (Logaritmus) Ha egy pozitív valós számot adott, 1 - től különböző pozitív alapú hatvány alakban írunk fel, akkor ennek a hatványnak a kitevőjét logaritmusnak

Részletesebben

A digitális számítás elmélete

A digitális számítás elmélete A digitális számítás elmélete 1. előadás szept. 19. Determinisztikus véges automaták 1. Példa: Fotocellás ajtó m m m k b s = mindkét helyen = kint = bent = sehol k k b s m csukva b nyitva csukva nyitva

Részletesebben

HALMAZOK TULAJDONSÁGAI,

HALMAZOK TULAJDONSÁGAI, Halmazok definíciója, megadása HALMAZOK TULAJDONSÁGAI,. A következő definíciók közül melyek határoznak meg egyértelműen egy-egy halmazt? a) A:= { a csoport tanulói b) B:= { Magyarország városai ma c) C:=

Részletesebben

First Prev Next Last Go Back Full Screen Close Quit. (Derivált)

First Prev Next Last Go Back Full Screen Close Quit. (Derivált) Valós függvények (3) (Derivált) . Legyen a belső pontja D f -nek. Ha létezik és véges a f(x) f(a) x a x a = f (a) () határérték, akkor f differenciálható a-ban. Az f (a) szám az f a-beli differenciálhányadosa.

Részletesebben

2) = 0 ahol x 1 és x 2 az ax 2 + bx + c = 0 ( a,b, c R és a 0 )

2) = 0 ahol x 1 és x 2 az ax 2 + bx + c = 0 ( a,b, c R és a 0 ) Fogalom gyűjtemény Abszcissza: az x tengely Abszolút értékes egyenletek: azok az egyenletek, amelyekben abszolút érték jel szerepel. Abszolútérték-függvény: egy elemi egyváltozós valós függvény, mely minden

Részletesebben

Geometriai példatár 2.

Geometriai példatár 2. Nyugat-magyarországi Egyetem Geoinformatikai Kara Baboss Csaba Szabó Gábor Geometriai példatár 2 GEM2 modul Metrikus feladatok SZÉKESFEHÉRVÁR 2010 Jelen szellemi terméket a szerzői jogról szóló 1999 évi

Részletesebben

2. Logika gyakorlat Függvények és a teljes indukció

2. 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észletesebben

Brósch Zoltán (Debreceni Egyetem Kossuth Lajos Gyakorló Gimnáziuma) Sorozatok II.

Brósch Zoltán (Debreceni Egyetem Kossuth Lajos Gyakorló Gimnáziuma) Sorozatok II. Sorozatok II. DEFINÍCIÓ: (Mértani sorozat) Az (a n ) valós számsorozatot mértani sorozatnak nevezzük, ha van olyan valós szám, amellyel a sorozat bármely tagját megszorozva a következő tagot kapjuk. Jelöléssel:

Részletesebben

XVIII. Nemzetközi Magyar Matematika Verseny

XVIII. Nemzetközi Magyar Matematika Verseny 9. osztály 1. feladat: Oldjuk meg a természetes számok halmazán az 1 1 1 egyenletet? x y 009 Kántor Sándor (Debrecen). feladat: B Az ABCD deltoidban az A és C csúcsnál derékszög van, és a BD átló 1 cm.

Részletesebben

6. OSZTÁLY. Az évi munka szervezése, az érdeklõdés felkeltése Feladatok a 6. osztály anyagából. Halmazok Ismétlés (halmaz megadása, részhalmaz)

6. OSZTÁLY. Az évi munka szervezése, az érdeklõdés felkeltése Feladatok a 6. osztály anyagából. Halmazok Ismétlés (halmaz megadása, részhalmaz) 6. OSZTÁLY Óraszám 1. 1. Az évi munka szervezése, az érdeklõdés felkeltése a 6. osztály anyagából Tk. 13/elsõ mintapélda 42/69 70. 96/elsõ mintapélda 202/16. 218/69. 2 3. 2 3. Halmazok Ismétlés (halmaz

Részletesebben

MATEMATIKA ÍRÁSBELI ÉRETTSÉGI-FELVÉTELI FELADATOK 2003. május 19. du. JAVÍTÁSI ÚTMUTATÓ

MATEMATIKA ÍRÁSBELI ÉRETTSÉGI-FELVÉTELI FELADATOK 2003. május 19. du. JAVÍTÁSI ÚTMUTATÓ MATEMATIKA ÍRÁSBELI ÉRETTSÉGI-FELVÉTELI FELADATOK 00 május 9 du JAVÍTÁSI ÚTMUTATÓ Oldja meg a rendezett valós számpárok halmazán az alábbi egyenletrendszert! + y = 6 x + y = 9 x A nevezők miatt az alaphalmaz

Részletesebben

Intergrált Intenzív Matematika Érettségi

Intergrált Intenzív Matematika Érettségi . Adott a mátri, determináns determináns, ahol,, d Számítsd ki:. b) Igazold, hogy a b c. Adott a az 6 0 egyenlet megoldásai. a). c) Számítsd ki a d determináns értékét. d c a b determináns, ahol abc,,.

Részletesebben

A 2006-2007. tanévi matematika OKTV I. kategória első (iskolai) fordulójának pontozási útmutatója

A 2006-2007. tanévi matematika OKTV I. kategória első (iskolai) fordulójának pontozási útmutatója SZAKKÖZÉPISKOLA A 006-007. tanévi matematika OKTV I. kategória első (iskolai) fordulójának pontozási útmutatója. Feladat: Egy számtani sorozat három egymást követő tagjához rendre 3-at, -et, 3-at adva

Részletesebben

C# feladatok gyűjteménye

C# feladatok gyűjteménye C# feladatok gyűjteménye Készítette: Fehérvári Károly I6YF6E Informatika tanár ma levelező tagozat 1) Feladat: ALAPMŰVELETEK Készítsünk programot, amely bekér két egész számot. Majd kiszámolja a két szám

Részletesebben

Tanmenet a Matematika 10. tankönyvhöz

Tanmenet a Matematika 10. tankönyvhöz Tanmenet a Matematika 10. tankönyvhöz (111 óra, 148 óra, 185 óra) A tanmenetben olyan órafelosztást adunk, amely alkalmazható mind a középszintû képzés (heti 3 vagy heti 4 óra), mind az emelt szintû képzés

Részletesebben

1. Bevezetés. A számítógéptudomány ezt a problémát a feladat elvégzéséhez szükséges erőforrások (idő, tár, program,... ) mennyiségével méri.

1. Bevezetés. A számítógéptudomány ezt a problémát a feladat elvégzéséhez szükséges erőforrások (idő, tár, program,... ) mennyiségével méri. Számításelmélet Dr. Olajos Péter Miskolci Egyetem Alkalmazott Matematika Tanszék e mail: matolaj@uni-miskolc.hu 2011/12/I. Készült: Péter Gács and László Lovász: Complexity of Algorithms (Lecture Notes,

Részletesebben

TANMENET javaslat. a szorobánnal számoló. osztály számára. Vajdáné Bárdi Magdolna tanítónő

TANMENET javaslat. a szorobánnal számoló. osztály számára. Vajdáné Bárdi Magdolna tanítónő 2 TANMENET javaslat a szorobánnal számoló 2. osztály számára Szerkesztette: Dr. Vajda József - Összeállította az Első Szorobán Alapítvány megbízásából: Vajdáné Bárdi Magdolna tanítónő Makó, 2001. 2010.

Részletesebben

1.1 Halmazelméleti fogalmak, jelölések

1.1 Halmazelméleti fogalmak, jelölések 1.1 Halmazelméleti fogalmak, jelölések Alapfogalmak (nem definiáljuk) Halmaz x eleme az A halmaznak x nem eleme A halmaznak Jelölések A,B,C, x A x A SiUDWODQ V]iRN Halmaz megadása: Elemeinek felsorolásával:

Részletesebben

Fejezetek az abszolút geometriából 6. Merőleges és párhuzamos egyenesek

Fejezetek az abszolút geometriából 6. Merőleges és párhuzamos egyenesek Fejezetek az abszolút geometriából 6. Merőleges és párhuzamos egyenesek Ebben a fejezetben megadottnak feltételezzük az abszolút tér egy síkját és tételeink mindig ebben a síkban értendők. T1 (merőleges

Részletesebben

22. szakkör (Csoportelméleti alapfogalmak 1.)

22. szakkör (Csoportelméleti alapfogalmak 1.) 22. szakkör (Csoportelméleti alapfogalmak 1.) A) A PERMUTÁCIÓK CIKLIKUS SZERKEZETE 1. feladat: Egy húsztagú társaság ül az asztal körül. Néhányat közülük (esetleg az összeset) párba állítunk, és a párok

Részletesebben

1. A komplex számok definíciója

1. A komplex számok definíciója 1. A komplex számok definíciója A számkör bővítése Tétel Nincs olyan n természetes szám, melyre n + 3 = 1. Bizonyítás Ha n természetes szám, akkor n+3 3. Ezért bevezettük a negatív számokat, közöttük van

Részletesebben

út hosszát. Ha a két várost nem köti össze út, akkor legyen c ij = W, ahol W már az előzőekben is alkalmazott megfelelően nagy szám.

út hosszát. Ha a két várost nem köti össze út, akkor legyen c ij = W, ahol W már az előzőekben is alkalmazott megfelelően nagy szám. 1 Az utazó ügynök problémája Utazó ügynök feladat Adott n számú város és a városokat összekötő utak, amelyeknek ismert a hossza. Adott továbbá egy ügynök, akinek adott városból kiindulva, minden várost

Részletesebben

I. Egyenlet fogalma, algebrai megoldása

I. Egyenlet fogalma, algebrai megoldása 11 modul: EGYENLETEK, EGYENLŐTLENSÉGEK MEGOLDÁSA 6 I Egyenlet fogalma, algebrai megoldása Módszertani megjegyzés: Az egyenletek alaphalmazát, értelmezési tartományát később vezetjük be, a törtes egyenletekkel

Részletesebben

Lineáris algebra I. Vektorok és szorzataik

Lineáris algebra I. Vektorok és szorzataik Lineáris algebra I. Vektorok és szorzataik Ismert fogalmak Témák Vektortér Lineáris kombináció Lineáris függőség, függetlenség Generátorrendszer, bázis, dimenzió Lineáris leképezések Szabadvektorok vektortere

Részletesebben

Miskolci Egyetem. Diszkrét matek I. Vizsga-jegyzet. Hegedűs Ádám Imre 2010.12.28.

Miskolci Egyetem. Diszkrét matek I. Vizsga-jegyzet. Hegedűs Ádám Imre 2010.12.28. Miskolci Egyetem Diszkrét matek I. Vizsga-jegyzet Hegedűs Ádám Imre 2010.12.28. KOMBINATORIKA Permutáció Ismétlés nélküli permutáció alatt néhány különböző dolognak a sorba rendezését értjük. Az "ismétlés

Részletesebben

L'Hospital-szabály. 2015. március 15. ln(x 2) x 2. ln(x 2) = ln(3 2) = ln 1 = 0. A nevez határértéke: lim. (x 2 9) = 3 2 9 = 0.

L'Hospital-szabály. 2015. március 15. ln(x 2) x 2. ln(x 2) = ln(3 2) = ln 1 = 0. A nevez határértéke: lim. (x 2 9) = 3 2 9 = 0. L'Hospital-szabály 25. március 5.. Alapfeladatok ln 2. Feladat: Határozzuk meg a határértéket! 3 2 9 Megoldás: Amint a korábbi határértékes feladatokban, els ként most is a határérték típusát kell megvizsgálnunk.

Részletesebben

A kvantummechanika általános formalizmusa

A kvantummechanika általános formalizmusa A kvantummechanika általános formalizmusa October 4, 2006 Jelen fejezetünk célja bevezetni egy általános matematikai formalizmust amelynek segítségével a végtelen dimenziós vektorterek elegánsan tárgyalhatók.

Részletesebben

A Szekszárdi I. Béla Gimnázium Helyi Tanterve

A Szekszárdi I. Béla Gimnázium Helyi Tanterve A Szekszárdi I. Béla Gimnázium Helyi Tanterve Matematika Készítette: a gimnázium reál szakmai munkaközössége 2015. Tartalom Emelt szintű matematika képzés... 3 Matematika alapóraszámú képzés... 47 Matematika

Részletesebben

Egyenletek, egyenlőtlenségek VII.

Egyenletek, 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észletesebben

9. előadás Környezetfüggetlen nyelvek

9. előadás Környezetfüggetlen nyelvek 9. előadás Környezetfüggetlen nyelvek Dr. Kallós Gábor 2015 2016 1 Tartalom Bevezetés CF nyelv példák Nyelvek és nyelvtanok egy- és többértelműsége Bal- és jobboldali levezetések A fák magassága és határa

Részletesebben

I. Gondolkodási módszerek: (6 óra) 1. Gondolkodási módszerek, a halmazelmélet elemei, a logika elemei. 1. Számfogalom, műveletek (4 óra)

I. Gondolkodási módszerek: (6 óra) 1. Gondolkodási módszerek, a halmazelmélet elemei, a logika elemei. 1. Számfogalom, műveletek (4 óra) MATEMATIKA NYEK-humán tanterv Matematika előkészítő év Óraszám: 36 óra Tanítási ciklus 1 óra / 1 hét Részletes felsorolás A tananyag felosztása: I. Gondolkodási módszerek: (6 óra) 1. Gondolkodási módszerek,

Részletesebben

Halmazok Halmazok, részhalmaz, halmazműveletek, halmazok elemszáma

Halmazok Halmazok, részhalmaz, halmazműveletek, halmazok elemszáma Az osztályozóvizsgák követelményrendszere 9.Ny osztály Halmazok Halmazok, részhalmaz, halmazműveletek, halmazok elemszáma Algebra és számelmélet Alapműveletek az egész és törtszámok körében Műveleti sorrend,

Részletesebben

LINEÁRIS VEKTORTÉR. Kiegészítő anyag. (Bércesné Novák Ágnes előadása) Vektorok függetlensége, függősége

LINEÁRIS VEKTORTÉR. Kiegészítő anyag. (Bércesné Novák Ágnes előadása) Vektorok függetlensége, függősége LINEÁRIS VEKTORTÉR Kiegészítő anyag (Bércesné Noák Ágnes előadása) Vektorok függetlensége, függősége Vektortér V 0 Halmaz T test : + ; + ; Abel csoport V elemeit ektoroknak neezzük. Abel - csoport Abel

Részletesebben

MATEMATIKA TANMENET SZAKKÖZÉPISKOLA. 9. Nyelvi előkészítő osztály

MATEMATIKA TANMENET SZAKKÖZÉPISKOLA. 9. Nyelvi előkészítő osztály MINŐSÉGIRÁNYÍTÁSI ELJÁRÁS MELLÉKLET Tanmenetborító Azonosító: ME-III.1./1 Változatszám: 2 Érvényesség 2013. 01. 01. kezdete: Oldal/összes: 1/6 Fájlnév: ME- III.1.1.Tanmenetborító SZK- DC-2013 MATEMATIKA

Részletesebben