Logika nyelvészeknek, 12. óra A típuselmélet alapjai. Lehetőség van a kvantorfogalom mellett a funktorfogalom általánosítására is.
|
|
- Ákos Balog
- 7 évvel ezelőtt
- Látták:
Átírás
1 Logika nyelvészeknek, 12. óra A típuselmélet alapjai Lehetőség van a kvantorfogalom mellett a funktorfogalom általánosítására is. Az L 1 elsőrendű nyelvben csak bizonyos típusú funktoraink voltak: ami mondatból csinál mondatot (negáció) ami két mondatból csinál mondatot (többi mondatfunktor) ami terminusból csinál mondatot (egyargumentumú predikátum) ami két terminusból csinál mondatot (kétargumentumú predikátumok és az azonosság) Minden egyes funktortípusra külön-külön explicit módon meg kellett adnunk, hogy milyen faktuális értéke lehet, ugyanis nem volt olyan eljárásunk, ami ezt általában megadta volna tetszőleges típusú bemenetű és tetszőleges típusú kimenetű funktorra. A funktorfogalom rendszeres és áttekinthető kezelését, és a megfelelő szemantikai érték hozzárendelését teszi lehetővé az ún. típuselmélet. 1. A típusok halmazának meghatározása Kiindulópont: vegyünk két elemi típust: e és t. 1. e Type és t Type 2. Ha α Type és β Type, akkor <α,β> Type. 3. Semmi más nem eleme a típusok halmazának. Ennek megfelelően a típusok halmazának eleme lesz például: <e,e>, <t,<e,t>>, <e,<<e,t>,t,>>, nem lesz viszont például eleme: <e,e,e> <e,t,<t,e>>, <t>. e: terminusok típusa, t: formulák típusa, <α,β>: olyan funktorok típusa, amelyek bemenete α és kimenete β típusú. Példák: <e,t>: egyargumentumú predikátum <t,t>: egyargumentumú mondatfunktor (pl. negáció) <e,e>: egyargumentumú névfunktor (pl. testvére) <e,<e,t>>: kétargumentumú predikátum <<e,t>,t>: általánosított kvantor <<e,t>,<<e,t>,t>>: determináns A típuselméleti nyelvben a szótárban (azaz amikor felsoroljuk a nyelvünk nem-logikai konstansait) meg kell adnunk minden egyes kifejezéshez, hogy mi a típusa. 2. Jólformált kifejezések osztályának meghatározása A jólformált kifejezések osztályát induktívan határozzuk meg. (Lényeges különbség az elsőrendű nyelvekkel összevetve: ott a formulák osztályát adtuk meg ilyen módon.)
2 Amennyiben φ konstans, amelynek típusa α, akkor φ Con α, azaz a φ kifejezés eleme az α típusú konstansok halmazának. Meghatározunk továbbá minden α Type típusra egy Var α halmazt, amely végtelen számú α típusú változót tartalmaz: Var α = {v α1, v α2, v α3,...} A konstansok és változók elemei az α típusú jólformált kifejezések Exp α halmazának: Var α Con α Exp α Elemei lesznek továbbá az egyes Exp α halmazoknak az alábbi szintaktikai szabályok által előállítható kifejezések: Szintaktikai szabályok: 1. Amennyiben α Type, β Type, φ Exp <α,β>, és ψ Exp α, akkor φ (ψ) Exp β Ez a szabály a funktorok körét határozza meg: az <α,β> típusú kifejezések olyan egyargumentumú funktorok, amelyek bemenete α típusú kifejezés, kimenete β típusú kifejezés. 2. Amennyiben α Type, β Type, φ Var <α>, és ψ Exp β, akkor λφ [ψ] Exp <α,β> Ez a lambda-absztrakció szintaktikai szabálya, ami azt mondja ki, hogy a lambdaoperátor két tetszőleges típusú kifejezésből olyan funktort fog képezni, amelynek a bemenetének a típusa azonos a φ kifejezés típusával, és kimenetének típusa azonos ψ típusával. 3. Fakultatív további szintaktikai szabályok, pl. logikai mondatfunktorok, klasszikus elsőrendű kvantorok: Amennyiben u Var e, és ψ Exp t, akkor u [ψ] Exp t 4. A jólformált kifejezések Exp halmazát a különböző típusú jólformált kifejezések halmazainak úniójaként határozzuk meg: Exp = U Type Exp α α 5. A konstansokon, változókon és a szabályokkal előállítható jólformált kifejezéseken kívül semmi más nem eleme a jólformált kifejezések osztályának. 3. A típuselméleti nyelv szemantikája 1. Adva van az elsőrendű nyelvekhez hasonlóan egy M = <U, I> modell és egy g változóértékelés. Jelölje D α az α típusú kifejezések lehetséges faktuális értékeinek az osztályát. Két ilyen osztályt rögzítünk: D e = U D t = 2 Azaz: az e típusú kifejezések (a terminusok) faktuális értéke az univerzum valamely eleme lehet, a formulák faktuális értéke pedig az igazságértékek egyike lehet. Ezen kívül jelöljük B A -val azon függvények halmazát, amelyek értelmezési tartománya az A halmaz, értékkészlete pedig B halmaz egy részhalmaza.
3 Az <α,β> típusú kifejezések lehetséges faktuális értékeit úgy határozzuk meg, hogy: D <α,β> = D D α β Azaz: ezeknek a funktoroknak olyan függvény lehet a faktuális értéke, amely függvény értelmezési tartománya a funktor bemenetének a lehetséges faktuális értékeinek a halmaza, értékkészlete pedig a funktor kimenetének a lehetséges faktuális értékeinek a halmazának egy részhalmaza. Az I interpretációs függvényre és a g változóértékelésre ennek értelmében a következő feltételek fogalmazhatók meg: I U α Type D Con α α azaz: I bármely α típusú konstanshoz D α egy elemét rendeli hozzá szemantikai értékként. Ezzel analóg módon: g U α Type D α Var α 2. Szemantikai szabályok: a) Ha φ Con α, akkor [[ φ ]] M,g = I(φ). b) Ha u Var α, akkor [[ u ]] M,g = g(u). c) Ha φ Exp <α,β>, és ψ Exp α, akkor [[φ (ψ) ]] M,g = [[ φ ]] M,g ([[ ψ ]] M,g ) d) Amennyiben α Type, β Type, u Var α, és ψ Exp β, akkor [[ λu [ψ] ]] M,g az a h függvény (h D β D α ), amelyre igaz, hogy minden a D α -ra teljesül, hogy h(a) = [[ ψ ]] M,g[u/a] Ezt a négy szabályt követhetik további szabályok, pl. logikai mondatfunktorok értelmezése, klasszikus elsőrendű kvantorok értelmezése stb. A szemantikai szabályok megadják a típuselméleti nyelv összes jólformált kifejezésének az értelmezését. Megjegyzések: 1. A c) szabály igen elemi szemantikai szabály, függvény alkalmazása argumentumra (function application) néven ismert, függvényből és argumentumból állítást hoz létre. 2. A d) szabály (a lambda-absztrakció) ennek fordítottjaként fogható fel: állításból függvényt hoz létre. 3. A d) szabály alapján a következő ekvivalencia érvényes (bármely α, β Type-ra): λx α [ P <α,β> (x α ) ] (y α ) P <α,β> (y α ) Így amennyiben van egy λx α [ P <α,β> (x α ) ] (y α ) formájú, β típusú kifejezésünk, ez mindig felcserélhető egy P <α,β> (y α ) formájú β típusú kifejezéssel. Ezt hívják a lambda-konverzió törvényének (a felcserélés műveletét pedig lambda-konverziónak). 4. A bemutatott típuselméleti nyelvben a többargumentumú funktorokhoz nem többargumentumú függvényt rendelünk értelmezésként. Az elsőrendű nyelvben megismert többargumentumú funktoroknak megfelelő típuselméleti kifejezéseket egyargumentumú függvények többszöri alkalmazásával értelmezzük.
4 Példa: szeret (a) (b) típusa: <e,<e,t>; szemantikai értéke egy olyan függvény, amelynek bemenete individuum, kimenete pedig individuumoknak egy halmaza (illetve ennek karakterisztikus függvénye), pl.: [[ szeret <e,<e,t>> ]] M,g = {<János,<Judit,1>>, <János,<Mari,1>>, <Ferenc,<Tímea,1>>, <Réka,<János,1>>} A szeret konstans először egy (e típusú) terminussal kapcsolódik össze, pl.: szeret (János), és így olyan <e,t> típusú funktort alkot, amelynek szemantikai értéke individuumoknak egy halmaza (illetve ennek karakterisztikus függvénye): Amenyiben szeret szemantikai értéke a fenti halmaz és [[ János e ]] M,g = János, akkor [[ szeret (János) ]] M,g = {<Judit,1>, <Mari,1>} (vagy ezzel egyenértékűen {Judit, Mari}). Ez a funktor ismét (e típusú) terminussal kapcsolódik össze, ezáltal (t típusú) formulát kapunk. A fenti példát folytatva szeret (János) (Judit) igaz, szeret (Judit) (János) viszont például nem. (Az, hogy ezt a formulát informálisan hogyan értelmezzük, ránk van bízva: szeret (János) például jelölhetné azoknak a halmazát, akik szeretik Jánost vagy azokét, akiket szeret János, stb. Ezt a szeret terjedelmének megadásakor el kell döntenünk.) 4. A típuselmélet egy nyelvészeti alkalmazása: a kategoriális grammatika Kategoriális grammatikának egy formális vagy természetes nyelv olyan grammatikáját (= szintaxis + szemantika) hívunk, amely szigorúan párhuzamosan építi fel a nyelv szintaxisát és szemantikáját, abban az értelemben, hogy minden adott szintaktikai kategóriájú kifejezés egyazon szemantikai kategóriájú értelmezést kap. A kategoriális grammatika szótárában minden atomi kifejezés egyértelmű típusbesorolást kap, amely meghatározza, hogy milyen típusú kifejezésekkel kapcsolható össze. A komplex kifejezéseket szigorúan funktor-argumentum-kapcsolatok sorozatára bontja fel. Szintaktikai jelölésmód: A\B: olyan funktor, amelynek B argumentuma és A kimenete, és B balra helyezkedik el a funktortól A/B: olyan funktor, amelynek B argumentuma és A kimenete, és B jobbra helyezkedik el a funktortól VP := S\NP, pl: fut Péter fut NP S\NP S TV := (S\NP)/NP, pl.: látja Mari látja Mónikát NP (S\NP)/NP NP S\NP S
5 A formális szemantikában az ilyen jellegű kategoriális szintaxishoz gyakran egy típuselméleti logikai nyelvet szokás rendelni szemantikaként. A leghíresebb ilyen rendszer az ún. Montague-grammatika (vö. Dowty/Wall/Peters 1981). Példa: mondatfunktorok és mint (disztributívan értelmezett) kétargumentumú névfunktor típusa: (NP/NP)\NP Mari és Mónika NP (NP/NP)\NP NP NP/NP NP Probléma: Milyen szemantikai típus tartozik az NP-khez? Az NP nem lehet e típusú (individuumot jelölő), mert a Mari és Mónika NP nem (egyetlen) individuumot jelöl. Montague megoldása: az NP-k a típuselméleti szemantikában <<e,t>,t> típusúak, azaz olyan kifejezések, amelyek predikátumot vesznek argumentumként, és így alkotnak mondatot, azaz általánosított kvantorok. [[ Mari <<e,t>,t> ]] M,g = {K U: Mari K} azaz: a Mari tulajdonnév szemantikai értéke azon halmazok halmaza, amely halmazoknak eleme a Mari individuum, azaz: a Mari név által jelölt individuum megadható úgy, hogy felsoroljuk az összes tulajdonságát. Ezzel ekvivalensen a típuselméleti nyelvre a következő fordítást is adhatjuk, amennyiben ott rendelkezünk e típusú konstansokkal: Mari NP := λp [ P(m)], ahol [[ m ]] M,g = Mari és mint disztributívan értelmezett NP-funktor: <<<e,t>,t>, <<<e,t>,t>, <<e,t>,t>>> 1. bemenet 2. bemenet kimenet fordítása a típuselméleti nyelvre: és (NP/NP)\NP := λp λq λp [P (P) & Q (P)] (P, Q Var <<e,t>,t>, P Var <e,t> ) λp λq λp [P (P) & Q (P)] (Mari <<e,t>,t> ) (Mónika <<e,t>,t> ) λq λp [Mari <<e,t>,t> (P) & Q (P)] (Mónika <<e,t>,t> ) λp [Mari <<e,t>,t> (P) & Mónika <<e,t>,t> (P)] (lambda-konverzióval) (lambda-konverzióval) Mari és Mónika fut: λp [Mari <<e,t>,t> (P) & Mónika <<e,t>,t> (P)] (fut <e,t> ) Mari <<e,t>,t> (fut <e,t> ) & Mónika <<e,t>,t> (fut <e,t> )
6 Irodalom: DOWTY, D./R. WALL/S. PETERS (1981) Introduction to Montague Semantics. Dordrecht: Reidel. STEEDMAN, M. (1996) Categorial Grammar. In: K. BROWN/J. MILLER (szerk.): Concise Encyclopedia of Syntactic Theories. Amsterdam: Elsevier, GAMUT, L. T. F. (1991) Logic, language, and meaning. Vol. 2.: Intensional logic and logical grammar. Chicago: University of Chicago Press. 4. fejezet: The theory of types and categorial grammar,
LOGIKA ÉS ÉRVELÉSTECHNIKA
LOGIKA ÉS ÉRVELÉSTECHNIKA ELTE TáTK Közgazdaságtudományi Tanszék Logika és érveléstechnika NULLADREND LOGIKA 1. Készítette: Szakmai felel s: 2011. február Készült a következ m felhasználásával: Ruzsa
RészletesebbenLogika nyelvészeknek, 11. óra A kvantifikáció kezelése a klasszikus és az általánosított kvantifikációelméletben
Logika nyelvészeknek, 11. óra A kvantifikáció kezelése a klasszikus és az általánosított kvantifikációelméletben I. A kvantifikáció a klasszikus Frege-féle kvantifikációelméletben A kvantifikáció klasszikus
Ré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é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é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é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é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észletesebben11. fejezet A logika nyelvtana. Már az első fejezetben felmerült, hogy a logika nyelvtana nem egyezik meg a szokásos értelemben vett nyelvtannal.
11. fejezet A logika nyelvtana Már az első fejezetben felmerült, hogy a logika nyelvtana nem egyezik meg a szokásos értelemben vett nyelvtannal. A #11.1 Néhány lány énekel és a #11.2 Kati énekel mondatok
RészletesebbenLogika 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. Mihálydeák Tamás szeptember 27. Tartalomjegyzék. 1.
Logika Mihálydeák Tamás mihalydeak@inf.unideb.hu www.inf.unideb.hu/szamtud/tagok/?mihalydeak 2007. szeptember 27. Tartalomjegyzék 1. Irodalom 3 2. A logika feladata 3 3. A helyes következtetés 3 4. Történeti
Részletesebben1. tétel Halmazok és halmazok számossága. Halmazműveletek és logikai műveletek kapcsolata.
1. tétel Halmazok és halmazok számossága. Halmazműveletek és logikai műveletek kapcsolata. HLMZOK halmaz axiomatikus fogalom, nincs definíciója. benne van valami a halmazban szintén axiomatikus fogalom,
RészletesebbenKalkulus S af ar Orsolya F uggv enyek S af ar Orsolya Kalkulus
Függvények Mi a függvény? A függvény egy hozzárendelési szabály. Egy valós függvény a valós számokhoz, esetleg egy részükhöz rendel hozzá pontosan egy valós számot valamilyen szabály (nem feltétlen képlet)
RészletesebbenS0-02 Típusmodellek (Programozás elmélet)
S0-02 Típusmodellek (Programozás elmélet) Tartalom 1. Absztrakt adattípus 2. Adattípus specifikációja 3. Adattípus osztály 4. Paraméterátadás 5. Reprezentációs függvény 6. Öröklődés és polimorfizmus 7.
RészletesebbenProgramok értelmezése
Programok értelmezése Kód visszafejtés. Izsó Tamás 2016. szeptember 22. Izsó Tamás Programok értelmezése/ 1 Section 1 Programok értelmezése Izsó Tamás Programok értelmezése/ 2 programok szemantika értelmezése
Ré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é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é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észletesebbenKaposi Ambrus. University of Nottingham Functional Programming Lab. Hackerspace Budapest 2015. január 6.
Bizonyítás és programozás Kaposi Ambrus University of Nottingham Functional Programming Lab Hackerspace Budapest 2015. január 6. Bizonyítás, érvelés Példa: sáros a csizmám ha vizes a föld, esett az eső
Ré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 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 É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é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é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é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észletesebbenegyenlő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észletesebben2. Alapfogalmak, műveletek
2. Alapfogalmak, műveletek Gépi intelligencia I. Fodor János BMF NIK IMRI NIMGIMIEM Tartalomjegyzék I Mit tudunk eddig? 2 Fuzzy halmazokkal kapcsolatos alapvető fogalmak Fuzzy halmaz tartója Fuzzy halmaz
RészletesebbenFUNKCIONÁLIS PROGRAMOZÁS
FUNKCIONÁLIS PROGRAMOZÁS A funkcionális programozás néhány jellemzője Funkcionális programozás 1-2 Funkcionális, más néven applikatív programozás Funkcionális = függvényalapú, függvényközpontú Applikatív
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é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é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é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é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észletesebbenMATEMATIKA ÉRETTSÉGI TÍPUSFELADATOK MEGOLDÁSAI KÖZÉPSZINT Abszolútértékes és gyökös kifejezések
MATEMATIKA ÉRETTSÉGI TÍPUSFELADATOK MEGOLDÁSAI KÖZÉPSZINT 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é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é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észletesebben1. Mondjon legalább három példát predikátumra. 4. Mikor van egy változó egy kvantor hatáskörében?
Definíciók, tételkimondások 1. Mondjon legalább három példát predikátumra. 2. Sorolja fel a logikai jeleket. 3. Milyen kvantorokat ismer? Mi a jelük? 4. Mikor van egy változó egy kvantor hatáskörében?
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észletesebbenHARMADIK RÉSZ / 5. FEJEZET A RUSSELL-FÉLE LÉTEZÉSI PARADOXON
HARMADIK RÉSZ / 5. FEJEZET A RUSSELL-FÉLE LÉTEZÉSI PARADOXON C: \ WORDWO80 SELENE PR_F_DIAMANT VVxxx vv05xxx.doc 97792 14327 2063 9 2011.08.11. 09:48:45 1 / 13 TARTALOMJEGYZÉK HARMADIK RÉSZ / 5. FEJEZET...1
RészletesebbenAnalízis előadás és gyakorlat vázlat
Analízis előadás és gyakorlat vázlat Készült a PTE TTK GI szakos hallgatóinak Király Balázs 2010-11. I. Félév 2 1. fejezet Számhalmazok és tulajdonságaik 1.1. Nevezetes számhalmazok ➀ a) jelölése: N b)
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észletesebbenTrigonometria Megoldások. 1) Oldja meg a következő egyenletet a valós számok halmazán! (12 pont) Megoldás:
Trigonometria Megoldások ) Oldja meg a következő egyenletet a valós számok halmazán! cos + cos = sin ( pont) sin cos + = + = ( ) cos cos cos (+ pont) cos + cos = 0 A másodfokú egyenlet megoldóképletével
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é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észletesebbenHódmezővásárhelyi Városi Matematikaverseny április 14. A osztályosok feladatainak javítókulcsa
Hódmezővásárhelyi Városi Matematikaverseny 2003. április 14. A 11-12. osztályosok feladatainak javítókulcsa 1. feladat Egy számtani sorozatot az első eleme és különbsége egyértelműen meghatározza, azt
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észletesebbenSémi összehasonlító nyelvészet
Sémi összehasonlító nyelvészet BMA-HEBD-303 Biró Tamás 5. A nyelvtörténeti rekonstrukció alapjai. Jelentéstan. 2016. március 30. Összehasonlító rekonstrukció: alapok A történeti rekonstrukció klasszikus
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észletesebbenLogikai függvények osztályai. A függvényosztály a függvények egy halmaza.
Logikai függvények osztályai A függvényosztály a függvények egy halmaza. A logikai fügvények egy osztálya logikai függvények valamely halmaza. Megadható felsorolással, vagy a tulajdonságainak leírásával.
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é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észletesebbenRelációs struktúrák Relációs elméletek Modális elméletek Gyakorlás Modellezés Házifeladatok MODÁLIS LOGIKAI ALAPOK
DEONTIKUS LOGIKA MODÁLIS LOGIKAI ALAPOK Molnár Attila, Markovich Réka Eötvös Loránd University March 14, 2015 Relációs struktúrák DEONTIKUS RENDSZER MINT RELÁCIÓS STRUKTÚRA Modellezni szeretnénk a cselekvéseket
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é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észletesebbenA 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észletesebbenOrszágos Középiskolai Tanulmányi Verseny 2009/2010 Matematika I. kategória (SZAKKÖZÉPISKOLA) 2. forduló feladatainak megoldása
Oktatási Hivatal Országos Középiskolai Tanulmányi Verseny / Matematika I. kategória (SZAKKÖZÉPISKOLA) 2. forduló feladatainak megoldása. Oldja meg a valós számok legbővebb részhalmazán a egyenlőtlenséget!
RészletesebbenFelügyelt önálló tanulás - Analízis III.
Felügyelt önálló tanulás - Analízis III Kormos Máté Differenciálható sokaságok Sokaságok Röviden, sokaságoknak nevezzük azokat az objektumokat, amelyek egy n dimenziós térben lokálisan k dimenziósak Definíció:
RészletesebbenRE 1. Relá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!
RE 1 Relációk 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 azt mondjuk, hogy
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észletesebbenA Föld középpontja felé szabadon eső test sebessége növekszik, azaz, a
a Matematika mérnököknek I. című tárgyhoz Függvények. Függvények A Föld középpontja felé szabadon eső test sebessége növekszik, azaz, a szabadon eső test sebessége az idő függvénye. Konstans hőmérsékleten
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é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észletesebbenMATEMATIKA ÉRETTSÉGI TÍPUSFELADATOK MEGOLDÁSAI KÖZÉPSZINT Trigonometria
MATEMATIKA ÉRETTSÉGI TÍPUSFELADATOK MEGOLDÁSAI KÖZÉPSZINT Trigonometria 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észletesebbenOhnmacht Magdolna A progresszív aspektus mint temporális determináns-függvény. Tézisek
Ohnmacht Magdolna A progresszív aspektus mint temporális determináns-függvény Tézisek Témavezető: Dr. Maleczki Márta Szegedi Tudományegyetem Nyelvtudományi Doktori Iskola Elméleti nyelvészet program 2012,
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é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észletesebben2. Reprezentáció-függvények, Erdős-Fuchs tétel
2. Reprezentáció-függvények, Erdős-Fuchs tétel A kör-probléma a következőképpen is megközelíthető: Jelölje S a négyzetszámok halmazát. Jelölje r S (n) azt az értéket, ahány féleképpen n felírható két pozitív
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é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észletesebbenSorozatok, sorok, függvények határértéke és folytonossága Leindler Schipp - Analízis I. könyve + jegyzetek, kidolgozások alapján
Sorozatok, sorok, függvények határértéke és folytonossága Leindler Schipp - Analízis I. könyve + jegyzetek, kidolgozások alapján Számsorozatok, vektorsorozatok konvergenciája Def.: Számsorozatok értelmezése:
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é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é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 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 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észletesebbenSHk rövidítéssel fogunk hivatkozni.
Nevezetes függvény-határértékek Az alábbiakban a k sorszámú függvény-határértékek)re az FHk rövidítéssel, a kompozíció határértékéről szóló első, illetve második tételre a KL1, illetve a KL rövidítéssel,
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é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észletesebben1. Bevezetés. 2. Reprezentációs nyelv. A természetes nyelv lexikai készlete felfogható olyan rendszerként, amelynek
1. Bevezetés A természetes nyelv lexikai készlete felfogható olyan rendszerként, amelynek elemei jelentésükön keresztül kölcsönös megszorításokat rónak ki egymásra. Ezeket a megszorításokat az elemek logikai
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észletesebben6. ELŐADÁS DIFFERENCIÁLSZÁMÍTÁS II. DIFFERENCIÁLÁSI SZABÁLYOK. BSc Matematika I. BGRMA1HNND, BGRMA1HNNC
6. ELŐADÁS DIFFERENCIÁLSZÁMÍTÁS II. DIFFERENCIÁLÁSI SZABÁLYOK BSc Matematika I. BGRMAHNND, BGRMAHNNC A következő diákon szereplő állítások mindegyikét az előadáson fogjuk igazolni, és példákkal bőségesen
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é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észletesebbenMAGYAR NYELVÉSZETI TÁRGYAK ISMERTETÉSE BA NYELVTECHNOLÓGIAI SZAKIRÁNY
MAGYAR NYELVÉSZETI TÁRGYAK ISMERTETÉSE BA NYELVTECHNOLÓGIAI SZAKIRÁNY Tantárgy neve: BBNMT00300 Fonetika 3 A tantárgy célja, hogy az egyetemi tanulmányaik kezdetén levő magyar szakos hallgatókat megismertesse
RészletesebbenMikor van egy változó egy kvantor hatáskörében? Milyen tulajdonságokkal rendelkezik a,,részhalmaz fogalom?
Definíciók, tételkimondások Mondjon legalább három példát predikátumra. Sorolja fel a logikai jeleket. Milyen kvantorokat ismer? Mi a jelük? Hogyan kapjuk a logikai formulákat? Mikor van egy változó egy
RészletesebbenAlgoritmusok Tervezése. Fuzzy rendszerek Dr. Bécsi Tamás
Algoritmusok Tervezése Fuzzy rendszerek Dr. Bécsi Tamás Bevezetés Mese a homokkupacról és a hidegről és a hegyekről Bevezetés, Fuzzy történet Két értékű logika, Boole algebra Háromértékű logika n értékű
RészletesebbenKijelentéslogika I. 2004. szeptember 24.
Kijelentéslogika I. 2004. szeptember 24. Funktorok A természetesnyelvi mondatok gyakran összetettek: további mondatokból, végső soron pedig atomi mondatokból épülnek fel. Az összetevő mondatokat mondatkonnektívumok
RészletesebbenKaposi Ambrus. Informatikai Kar. Pannonhalmi Bencés Gimnázium november 24.
Bizonyítás és programozás Kaposi Ambrus Eötvös Loránd Tudományegyetem Informatikai Kar Pannonhalmi Bencés Gimnázium 2017. november 24. A tökéletes operációs rendszer (i) BeOS Plan9 2 / 22 A tökéletes operációs
RészletesebbenMATEMATIKA ÉRETTSÉGI TÍPUSFELADATOK MEGOLDÁSAI KÖZÉPSZINT Függvények
MATEMATIKA ÉRETTSÉGI TÍPUSFELADATOK MEGOLDÁSAI KÖZÉPSZINT 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é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é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észletesebbenTUDOMÁNYOS MÓDSZERTAN ÉS ÉRVELÉSTECHNIKA
TUDOMÁNYOS MÓDSZERTAN ÉS ÉRVELÉSTECHNIKA Készült a TÁMOP-4.1.2-08/2/A/KMR-2009-0041pályázati projekt keretében Tartalomfejlesztés az ELTE TáTK Közgazdaságtudományi Tanszékén az ELTE Közgazdaságtudományi
RészletesebbenIsmeretalapú modellezés XI. Leíró logikák
XI. Leíró logikák 1 eddig volt nyílt internetes rendszerekben miért van szükség ismeretalapú re ontológia készítés kérdései ontológiák jellemzői milyen ontológiák vannak most jön mai internetes ontológiák
RészletesebbenKontextuális kétdimenziós szemantika
VILÁGOSSÁG 2010 nyár Konferencia Kovács János Kontextuális kétdimenziós szemantika BEVEZETÉS KONTEXTUS KETTŐS SZEREPBEN Nyelvhasználatunk egyik alapvető sajátossága, hogy a nyelvi megnyilatkozás keretéül
Részletesebben1. Tétel - Az ítéletkalkulus alapfogalmai
A tételhez hozzátartozik az elsőrendű nyelv szemantikája! 1. Tétel - Az ítéletkalkulus alapfogalmai Ítéletkalkulus - Az elsőrendű logika azon speciális este, amikor csak 0 ad rendű predikátumszimbólumok
RészletesebbenLogika es sz am ıt aselm elet I. r esz Logika 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észletesebbenDIFFERENCIÁLEGYENLETEK. BSc. Matematika II. BGRMA2HNND, BGRMA2HNNC
BSC MATEMATIKA II. MÁSODRENDŰ LINEÁRIS DIFFERENCIÁLEGYENLETEK BSc. Matematika II. BGRMAHNND, BGRMAHNNC MÁSODRENDŰ DIFFERENCIÁLEGYENLETEK Egy explicit közönséges másodrendű differenciálegyenlet általános
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észletesebben3. előadás. Programozás-elmélet. A változó fogalma Kiterjesztések A feladat kiterjesztése A program kiterjesztése Kiterjesztési tételek Példa
A változó fogalma Definíció Legyen A = A 1 A 2... A n állapottér. A pr Ai projekciós függvényeket változóknak nevezzük: : A A i pr Ai (a) = a i ( a = (a 1, a 2,..., a n ) A). A változók jelölése: v i =
RészletesebbenBevezetés a nyelvtudományba Mondattan (szintaxis) Kiegészítés
Bevezetés a nyelvtudományba Mondattan (szintaxis) Kiegészítés Az egyszerű mondat szerkezete (É. Kiss 1992) a fő összetevők lehetséges sorrendje: Imre ismeri Erzsit. Erzsit ismeri Imre. Imre Erzsit ismeri.
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észletesebben