Optimalitáselmélet formális megközelítésben
|
|
- Ágnes Orosz
- 4 évvel ezelőtt
- Látták:
Átírás
1 Optimalitáselmélet formális megközelítésben 4. hét ( ) Biró Tamás BBN-ENY-450SZ:F3, BMA-ENYD-321:F3, P/NY/ENY-10::F3, P/NY/ANY Biró Tamás, ELTE, Optimalitáselmélet formális megközelítésben p. 1
2 Feladott cikkek Biró Tamás, ELTE, Optimalitáselmélet formális megközelítésben p. 2
3 Irodalom múlt hétre Bruce Tesar, Jane Grimshaw and Alan Prince (1999). Linguistic and cognitive explanation in Optimality Theory. In Ernest Lepore and Zenon Pylyshyn (eds.): What is Cognitive Science? Malden, MA: Blackwell. Ld. a honlapon is. A 3. és 4. alfejezetet ki-ki a maga háttere szerinti alapossággal. Biró Tamás, ELTE, Optimalitáselmélet formális megközelítésben p. 3
4 Irodalom mára Prince, Alan, and Paul Smolensky (1997). Optimality: From neural networks to universal grammar. Science 275: Újra kiadva: Paul Smolensky and Géraldine Legendre (eds.): The Harmonic Mind: From Neural Computation to Optimality-Theoretic Grammar (Vol. 1: Cognitive architecture). MIT Press, 2006, chapter 4. Ld. a honlapon is. Kérem a fejezetet átolvasni, és amennyit lehet, megérteni bel le. Következ órán én prezentálom a Harmonic Mind lényegét. Azt követ en: ki vállal prezentációt? Biró Tamás, ELTE, Optimalitáselmélet formális megközelítésben p. 4
5 Az Optimalitáselmélet alapjai Biró Tamás, ELTE, Optimalitáselmélet formális megközelítésben p. 5
6 Az Optimalitáselmélet alapjai Gen és Eval: a konsztréntek, mint sz r k: Gen és a megszorítások univerzálisak. A cél: nyelvtipológia modellezése/magyarázata. Különböz nyelvtípusok: különböz megszorítás-rendezések. Tanulás = a megfelel rendezés megkeresése. Biró Tamás, ELTE, Optimalitáselmélet formális megközelítésben p. 6
7 Az Optimalitáselmélet alapjai variációk Gen és Eval: a konsztréntek, mint sz r k: Constraints ranked into strict domination hierarchy Mi van, ha nem ennyire szigorú a dominációs hierarchia? Egymáshoz képest nem rendezett konsztréntek (Anttila) Konsztréntek rendezése sztochasztikusan felcserélhet (Boersma) Ganging-up (v.ö. Jäger) Biró Tamás, ELTE, Optimalitáselmélet formális megközelítésben p. 7
8 Az Optimalitáselmélet alapjai variációk Gen és a megszorítások univerzálisak. És ha nem? És ha (a Gen-t és/vagy) a megszorításokat is tanulni kell/lehet? Gyakran: univerzális megszorítás-típusok, amelyeknek a paramétere nyelvspecikus. Biró Tamás, ELTE, Optimalitáselmélet formális megközelítésben p. 8
9 Az Optimalitáselmélet alapjai variációk Két perspektíva: Gen és Eval: a konsztréntek, mint sz r k: Okos sz r k: a rosszabbakat, és nem a rosszakat sz ri ki. C i : candidate set candidate subset. A konsztréntek, mint elemi függvények: C i : candidate violation level. Biró Tamás, ELTE, Optimalitáselmélet formális megközelítésben p. 9
10 OT három tudományterület metszéspontjában Elméleti nyelvészet megszorítások Számítástudomány Kognitív tudomány optimalizáció OT: a nyelvészeti kutatás által motivált célfüggvényt akarjuk optimalizálni. Biró Tamás, ELTE, Optimalitáselmélet formális megközelítésben p. 10
11 Komputációs kérdések Optimalizáció: adott célfüggvényhez az optimális elemet keressük egy (potenciálisan nagy vagy végtelen) halmazban. Tanulás: adott optimális elem(ek)hez keressük a célfüggvényt, amely ez(eke)t optimálissá teszi. Biró Tamás, ELTE, Optimalitáselmélet formális megközelítésben p. 11
12 A nyelv, mint komputáció Biró Tamás, ELTE, Optimalitáselmélet formális megközelítésben p. 12
13 Language as computation Data structures, a.k.a. representations Operations on these representations Overall architecture Biró Tamás, ELTE, Optimalitáselmélet formális megközelítésben p. 13
14 Language as computation Example: SPE-style phonology Data structures, a.k.a. representations: segments: [a] or back round high + low words: [ t a m a: ] or [ ɛ p l ] Operations on these representations Overall architecture Biró Tamás, ELTE, Optimalitáselmélet formális megközelítésben p. 14
15 Language as computation Example: SPE-style phonology Data structures, a.k.a. representations Operations on these representations: rewrite rules [a] [o] back round high + low [ + round low ] Overall architecture Biró Tamás, ELTE, Optimalitáselmélet formális megközelítésben p. 15
16 Language as computation Example: SPE-style phonology Data structures, a.k.a. representations Operations on these representations Overall architecture: Biró Tamás, ELTE, Optimalitáselmélet formális megközelítésben p. 16
17 Language as computation Data structures, a.k.a. representations PRED SUBJ OBJ dir `make' PRED NUMB ADJ PRED NUMB DET linguist' Plural `happy' diagram' Singular Biró Tamás, ELTE, Optimalitáselmélet formális megközelítésben p. 17
18 Language as computation Overall architectures: Jackendo Biró Tamás, ELTE, Optimalitáselmélet formális megközelítésben p. 18
19 Language as computation Overall architectures: Optimality Theory Biró Tamás, ELTE, Optimalitáselmélet formális megközelítésben p. 19
20 Language technology as computation Data structures, a.k.a. representations: typically bytes, characters and strings. Operations on these representations: for example: regular expressions. Overall architecture Biró Tamás, ELTE, Optimalitáselmélet formális megközelítésben p. 20
21 Az Optimalitáselmélet formális megalapozása Biró Tamás, ELTE, Optimalitáselmélet formális megközelítésben p. 21
22 Az Optimalitáselmélet formális megalapozása Az OT épít kockái (building blocks): Form (alak) Candidate (jelölt) Gen az optimalizálás keresési tere (search space) Constraint (megszorítás, korlát) Hierachia, constraintek rendezése az optimalizálás célfüggvénye (target function) stb. Biró Tamás, ELTE, Optimalitáselmélet formális megközelítésben p. 22
23 Form (alak) Primitives of OT: bármi lehet. Például egy sztring (karaktersorozat) egy véges vagy végtelen Σ ábécé fölött. Gen az optimalizálás keresési tere (search space). Constraint (megszorítás, korlát). Hierachia, constraintek rendezése az optimalizálás célfüggvénye (target function). stb. Biró Tamás, ELTE, Optimalitáselmélet formális megközelítésben p. 23
24 Form (alak) (b) [ S [ NP Det N ] [ VP V NP ] ] (a) S (c) \Tree [.S [.NP Det N ] [.VP V NP ] ] NP VP Det N V NP 1. ábra. Non-linear and linearized representations of the syntactic tree. Graph (a) is often represented by linguists as the string (b), still slightly non-linear due to the important dierence between the baseline and the subscript. String (c) is a linear L A T E X code (making use of the qtree package), which is a string over the set of the ascii characters. Biró Tamás, ELTE, Optimalitáselmélet formális megközelítésben p. 24
25 [s] laryngeal tier supralaryngeal tier [spread] + [constricted] [voiced] manner tier place tier [nasal] [continuant] + [strident] + [coronal] + [anterior] + [distributed] 2. ábra. Partial representation of segment [s], as suggested by Clements Biró Tamás, ELTE, Optimalitáselmélet formális megközelítésben p. 25
26 Candidate (jelölt) Alakok által alkotott (u, s) U S pár. Vagy alakok által alkotott hosszabb sorozat: ld. OT variánsai. Stb. NB: A felszíni alak és a jelölt közt mi szisztematikusan különbséget fogunk tenni. Ez különbségtétel nem alapvet mindenki számára. Biró Tamás, ELTE, Optimalitáselmélet formális megközelítésben p. 26
27 Gen Egy függvény, amely a bemeneti alakokat leképezi a jelöltek egy halmazára: Gen : U U S Bemeneti alak sok minden lehet: pl. mögöttes reprezentáció fonológiában, logikai forma szintaxisban, felszíni vagy fonetikai alak a szemantikában, stb. Candidate set: a Gen(u) halmaz, bármely u U-ra. Gen(u) jelöltek felszíni alakjai: néha azon alakok, amelyek véges számú elemi lépésben (S S elemi transzformációk, újraírások véges számú rekurzív alkalmazásával) elérhet ek u-ból. Biró Tamás, ELTE, Optimalitáselmélet formális megközelítésben p. 27
28 Constraint (megszorítás, korlát) Két perspektíva: A konsztrént, mint sz r : A jelöltek egy halmazát leképezi ennek optimális részhalmazára. F i : P(Gen(u)) P(Gen(u)) úgy hogy Ha X jelöltek egy halmaza (X Gen(u)), akkor F i (X) X, és F i (F i (X)) = F i (X). F i (X) (soft/violable constraint) Milyen más feltételt kell még itt szabni? Biró Tamás, ELTE, Optimalitáselmélet formális megközelítésben p. 28
29 Constraint (megszorítás, korlát) Két perspektíva: A konsztrént, mint elemi függvény: Az egyes jelölteket képezi le megszorítássértésekre. Legyen V a sértések egy jólrendezett halmaza. Legegyszer bb esetben V = N 0 (a természetes számok halmaza a 0-val). A sértések V i halmaza konsztréntenként változhat. Ekkor C i : Gen(u) V. Egy konsztrént minden jelölthöz hozzárendel egy sértésértéket. Biró Tamás, ELTE, Optimalitáselmélet formális megközelítésben p. 29
30 Constraint (megszorítás, korlát) Két perspektíva: A konsztréntek, mint sz r k. A konsztréntek, mint elemi függvények. Állítás: Az elemi függvények-perspektívából levezethet a sz r -perspektíva. Bizonyítás: V jólrendezett halmaz. Ellenkez irányban nem igaz. De a gyakorlatban a konsztrénteket szinte mindig függvényként értelmezzük (és jó lenne explicit formában is így tenni). Biró Tamás, ELTE, Optimalitáselmélet formális megközelítésben p. 30
31 Az Optimalitáselmélet (OT) alapaxiómája Nyelvtan = konsztréntek véges sorozata: (F 1, F 2,..., F n ), avagy (C 1, C 2,..., C n ). Ezen nyelvtan szerint az u bemenethez tartozó grammatikus alak: SF(u) = vagy F n (... F2 ( F1 ( Gen(u) ))). SF(u) = vagy arg opt x Gen(u) ( C1 (x), C 2 (x),..., C n (x) ) a lexikograkus rendezés szerint. Az optimalizálandó célfüggvény: H(x) = ( C 1 (x), C 2 (x),..., C n (x) ). Biró Tamás, ELTE, Optimalitáselmélet formális megközelítésben p. 31
32 Az Harmónianyelvtan (HG) alapaxiómája Nyelvtan = valósérték konsztréntekhez rendelt súlyok rendszere: (C 1, C 2,..., C n )-hez tartozik (w 1, w 2,..., w n ). Az optimalizálandó célfüggvény: H(x) = n i=1 w i C i (x). Ezen nyelvtan szerint az u bemenethez tartozó grammatikus alak: SF(u) = vagy arg opt x Gen(u) n i=1 w i C i (x) a valós számok körében értelmezett kisebb mint reláció szerint. A sz r -perspektívának nincs értelme. Biró Tamás, ELTE, Optimalitáselmélet formális megközelítésben p. 32
33 Összefoglalás: Optimalizáció a nyelvészetben SF(u) = arg opt c Gen(u) H(c) Harmony Grammar: Optimality Theory: H(c) = n i=1 w i C i (c) opt: min for < on R. H(c) = (C 1 (c), C 2 (c),..., C n (c)) opt: lexicographical order on R n. Principles and Parameters: opt: H(c) = n i=1 (w i C i (c)) false more optimal than true. Biró Tamás, ELTE, Optimalitáselmélet formális megközelítésben p. 33
34 Jöv hétre: Tamás Biró: Elephants and Optimality Again: SA-OT accounts for pronoun resolution in child language. In: B. Plank, E. Tjong Kim Sang and T. Van de Cruys (eds.). Computational Linguistics in the Netherlands LOT, 2009, pp Egy kis szintaxis-szemantika (kis kitér vel a bidirekcionális OT felé), valamint az implementáció jelent sége. Következ órán én prezentálom a Harmonic Mind lényegét, majd azt összevetem a saját megközelítésemmel. Ezt követ en: ki vállal prezentációt? Biró Tamás, ELTE, Optimalitáselmélet formális megközelítésben p. 34
35 Viszlát jöv pénteken! Biró Tamás, ELTE, Optimalitáselmélet formális megközelítésben p. 35
Optimalitáselmélet és analógia: tényleg kiengesztelhetetlen ellentét?
Optimalitáselmélet és analógia: tényleg kiengesztelhetetlen ellentét? Biró Tamás Eötvös Loránd Tudományegyetem KAFA, 2017. május 17. Biró Tamás OT és analógia 1/34 Áttekintés 1 Analógia vs. optimalitáselmélet
RészletesebbenA nyelvi kompetencia és a nyelvi performancia határán
A nyelvi kompetencia és a nyelvi performancia határán Az Optimalitáselmélet implementációja szimulált hőkezeléssel Biró Tamás ACLC, University of Amsterdam (UvA) MAKOG, 2010. január 25-26. Biró Tamás A
RészletesebbenSzámítsuk ki a nyelvet! Matematika, fizika és algoritmusok a nyelvben
Számítsuk ki a nyelvet! Matematika, fizika és algoritmusok a nyelvben Biró Tamás Eötvös Loránd Tudományegyetem KöMaL Ifjúsági Ankét, 2015. október 28. Biró Tamás Számítsuk ki a nyelvet! Matematika, fizika
RészletesebbenOptimalitáselmélet formális megközelítésben
Optimalitáselmélet formális megközelítésben 7. hét (2015. 04. 17.) Biró Tamás BBN-ENY-450SZ:F3, BMA-ENYD-321:F3, P/NY/ENY-10::F3, P/NY/ANY-8.02 biro.tamas@btk.elte.hu http://birot.web.elte.hu/courses/2015-formot/
RészletesebbenAz imperialista Optimalitáselmélet?
Az imperialista Optimalitáselmélet? Biró Tamás ACLC, University of Amsterdam (UvA) 20 éves az elméleti nyelvészet program 2010. november 26. Biró Tamás Az imperialista Optimalitáselmélet? 1/21 Kezdjük
RészletesebbenA sz.ot.ag. III. Magyar Számítógépes Nyelvészeti Konferencia december 8. Bíró Tamás, ELTE, Budapest / RUG, Groningen, NL 1/ 16
A sz.ot.ag Optimalitáselmélet szimulált hőkezeléssel Bíró Tamás Humanities Computing, CLCG University of Groningen, Hollandia valamint Eötvös Loránd Tudományegyetem, Budapest birot@let.rug.nl, birot@nytud.hu
RészletesebbenNyelvtudományi irányzatok és módszerek a 20. században
Nyelvtudományi irányzatok és módszerek a 20. században KGRE, 2011. november 18. Optimalitáselmélet. Funkcionalista és kognitív elméletek. Biró Tamás Universiteit van Amsterdam (UvA) t.s.biro@uva.nl, http://home.medewerker.uva.nl/t.s.biro/
RészletesebbenAngol-Amerikai Intézet (SEAS): ANN/AKN/AMN/AFN BBN BMA TANM-ANG ekvivalenciák
Angol- Intézet (SEAS): ANN/AKN/AMN/AFN BBN BMA TANM-ANG ekvivalenciák Rendezés módja: ) kód szerint ábécé sorrendben (AMN >> ANN/stb.) majd Magyar cím (régi képzés) társadalom társadalom társadalom társadalom
RészletesebbenNyelvészeti módszerek és irányzatok, bibliai és rabbinikus héber
Nyelvészeti módszerek és irányzatok, bibliai és rabbinikus héber BMA-HEBD-111, P/TÖ/HB-1, BBV-101.51, BMVD-101.78 Biró Tamás 2015. február 10.: Bevezetés Praktikus dolgok: A kurzus honlapja: http://birot.web.elte.hu/courses/2015-nyelv/
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észletesebbenLogika nyelvészeknek, 12. óra A típuselmélet alapjai. Lehetőség van a kvantorfogalom mellett a funktorfogalom általánosítására is.
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
RészletesebbenAmi megjelenik, és ami nem jelenik meg a beszédben Performanciahibák, fedett információ, nyelvi változás (toborzás)
Ami megjelenik, és ami nem jelenik meg a beszédben Performanciahibák, fedett információ, nyelvi változás (toborzás) Biró Tamás Eötvös Loránd Tudományegyetem KAFA, 2015. október 8. Biró Tamás Ami megjelenik,
RészletesebbenA számítógépes nyelvészet elmélete és gyakorlata. Formális nyelvek elmélete
A számítógépes nyelvészet elmélete és gyakorlata Formális nyelvek elmélete Nyelv Nyelvnek tekintem a mondatok valamely (véges vagy végtelen) halmazát; minden egyes mondat véges hosszúságú, és elemek véges
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é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észletesebbenSzámítógép és programozás 2
Számítógép és programozás 2 6. Előadás Problémaosztályok http://digitus.itk.ppke.hu/~flugi/ Emlékeztető A specifikáció egy előfeltételből és utófeltételből álló leírása a feladatnak Léteznek olyan feladatok,
RészletesebbenKÁNTOR GYÖNGYI HORVÁTH RÉKA:
ABSZTRAKTOK Péntek SÁRY GYULA: A beszéd idegélettani vonatkozásai A beszéd és az agy kapcsolatának kutatásakor kezdetben a különféle sérülések következményeit tanulmányozták. Az így kialakult Wernicke-Geschwind
RészletesebbenIX. Magyar Számítógépes Nyelvészeti Konferencia MSZNY Szerkesztette: Tanács Attila Vincze Veronika
IX. Magyar Számítógépes Nyelvészeti Konferencia MSZNY 2013 Szerkesztette: Tanács Attila Vincze Veronika Szeged, 2013. január 7-8. http://www.inf.u-szeged.hu/mszny2013 ISBN 978-963-306-189-3 Szerkesztette:
RészletesebbenA sz.ot.ag Optimalitáselmélet szimulált hıkezeléssel
Szeged, 2005. december 8-9. 31 A sz.ot.ag Optimalitáselmélet szimulált hıkezeléssel Bíró Tamás Eötvös Loránd Tudományegyetem, Budapest University of Groningen, Hollandia birot@nytud.hu Kivonat: Az SA-OT
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észletesebbenAz optimális megoldást adó algoritmusok
Az optimális megoldást adó algoritmusok shop ütemezés esetén Ebben a fejezetben olyan modellekkel foglalkozunk, amelyekben a munkák több műveletből állnak. Speciálisan shop ütemezési problémákat vizsgálunk.
Részletesebben2019, Funkcionális programozás. 2. el adás. MÁRTON Gyöngyvér
Funkcionális programozás 2. el adás Sapientia Egyetem, Matematika-Informatika Tanszék Marosvásárhely, Románia mgyongyi@ms.sapientia.ro 2019, tavaszi félév Mir l volt szó? Követelmények, osztályozás Programozási
RészletesebbenPletykaalapú gépi tanulás teljesen elosztott környezetben
Pletykaalapú gépi tanulás teljesen elosztott környezetben Hegedűs István Jelasity Márk témavezető Szegedi Tudományegyetem MTA-SZTE Mesterséges Intelligencia Kutatócsopot Motiváció Az adat adatközpontokban
RészletesebbenGyártórendszerek modellezése: MILP modell PNS feladatokhoz
Gyártórendszerek modellezése MILP modell PNS feladatokhoz 1 Pannon Egyetem M szaki Informatikai Kar Számítástudomány Alkalmazása Tanszék Utolsó frissítés: 2008. november 16. 1 hegyhati@dcs.uni-pannon.hu
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észletesebbenA 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 rövid kérdés megválaszolása egyenként 6 pontért, melyet minimum
Részletesebben}w!"#$%&'()+,-./012345<ya
Flexible Similarity Search of Seman c Vectors Using Fulltext Search Engines Michal Růžička, Vít Novotný, Petr Sojka; Jan Pomikálek, Radim Řehůřek Masaryk University, Faculty of Informa cs, Brno, Czech
Részletesebben2. Local communities involved in landscape architecture in Óbuda
Év Tájépítésze pályázat - Wallner Krisztina 2. Közösségi tervezés Óbudán Óbuda jelmondata: Közösséget építünk, ennek megfelelően a formálódó helyi közösségeket bevonva fejlesztik a közterületeket. Békásmegyer-Ófaluban
RészletesebbenAngol Nyelvészeti Tanszék DELITE március 12. A Lexikai-Funkcionális Grammatikai Kutatócsoport: ParGram > HunGram > Treebank
Angol Nyelvészeti Tanszék DELITE 2014. március 12. A Lexikai-Funkcionális Grammatikai Kutatócsoport: ParGram > HunGram > Treebank http://hungram.unideb.hu/ A csapat (LFGKCS) Tóth Ágoston Laczkó Tibor Rákosi
RészletesebbenGyakori elemhalmazok kinyerése
Gyakori elemhalmazok kinyerése Balambér Dávid Budapesti M szaki és Gazdaságtudományi Egyetem Villamosmérnöki és Informatikai Kar Számítástudomány szakirány 2011 március 11. Balambér Dávid (BME) Gyakori
RészletesebbenNem teljesen kitöltött páros összehasonlítás mátrixok sajátérték optimalizálása Newton-módszerrel p. 1/29. Ábele-Nagy Kristóf BCE, ELTE
Nem teljesen kitöltött páros összehasonlítás mátrixok sajátérték optimalizálása Newton-módszerrel Ábele-Nagy Kristóf BCE, ELTE Bozóki Sándor BCE, MTA SZTAKI 2010. november 4. Nem teljesen kitöltött páros
RészletesebbenOn The Number Of Slim Semimodular Lattices
On The Number Of Slim Semimodular Lattices Gábor Czédli, Tamás Dékány, László Ozsvárt, Nóra Szakács, Balázs Udvari Bolyai Institute, University of Szeged Conference on Universal Algebra and Lattice Theory
Ré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észletesebbenINDEXSTRUKTÚRÁK III.
2MU05_Bitmap.pdf camü_ea INDEXSTRUKTÚRÁK III. Molina-Ullman-Widom: Adatbázisrendszerek megvalósítása Panem, 2001könyv 5.4. Bittérkép indexek fejezete alapján Oracle: Indexek a gyakorlatban Oracle Database
Részletesebben1. előadás: Halmazelmélet, számfogalom, teljes
1. előadás: Halmazelmélet, számfogalom, teljes indukció Szabó Szilárd Halmazok Halmaz: alapfogalom, bizonyos elemek (matematikai objektumok) összessége. Egy halmaz akkor adott, ha minden objektumról eldönthető,
Ré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észletesebbenMatematika B/1. Tartalomjegyzék. 1. Célkit zések. 2. Általános követelmények. 3. Rövid leírás. 4. Oktatási módszer. Biró Zsolt. 1.
Matematika B/1 Biró Zsolt Tartalomjegyzék 1. Célkit zések 1 2. Általános követelmények 1 3. Rövid leírás 1 4. Oktatási módszer 1 5. Követelmények, pótlások 2 6. Program (el adás) 2 7. Program (gyakorlat)
RészletesebbenA PÁRHUZAMOSSÁG VIZSGÁLATA A KLASSZIKUS FORMÁLIS NYELVEKHEZ KAPCSOLÓDÓAN. Nagy Benedek Debreceni Egyetem Informatikai Kar Számítógéptudományi Tanszék
A PÁRHUZAMOSSÁG VIZSGÁLATA A KLASSZIKUS FORMÁLIS NYELVEKHEZ KAPCSOLÓDÓAN ON THE CONCEPT OF PARALLELISM CONNECTED TO CLASSICAL FORMAL LANGUAGE THEORY Nagy Benedek Debreceni Egyetem Informatikai Kar Számítógéptudományi
RészletesebbenSémi összehasonlító nyelvészet
Sémi összehasonlító nyelvészet BMA-HEBD-303 Biró Tamás 2014. szeptember 10. Praktikus dolgok: A kurzus honlapja: http://birot.hu/courses/2014-semi Jelszó! Biró Tamás: biro.tamas@btk.elte.hu http://birot.web.elte.hu/,
RészletesebbenKriptográfia 0. A biztonság alapja. Számítás-komplexitási kérdések
Kriptográfia 0 Számítás-komplexitási kérdések A biztonság alapja Komplexitás elméleti modellek független, egyenletes eloszlású véletlen változó értéke számítással nem hozható kapcsolatba más információval
RészletesebbenZH feladatok megoldásai
ZH feladatok megoldásai A CSOPORT 5. Írja le, hogy milyen szabályokat tartalmazhatnak az egyes Chomskynyelvosztályok (03 típusú nyelvek)! (4 pont) 3. típusú, vagy reguláris nyelvek szabályai A ab, A a
RészletesebbenA Markowitz modell: kvadratikus programozás
A Markowitz modell: kvadratikus programozás Harry Markowitz 1990-ben kapott Közgazdasági Nobel díjat a portfolió optimalizálási modelljéért. Ld. http://en.wikipedia.org/wiki/harry_markowitz Ennek a legegyszer
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észletesebbenKiterjesztések sek szemantikája
Kiterjesztések sek szemantikája Példa D Integer = {..., -1,0,1,... }; D Boolean = { true, false } D T1... T n T = D T 1... D Tn D T Az összes függvf ggvény halmaza, amelyek a D T1,..., D Tn halmazokból
RészletesebbenBevezetés. 1. fejezet. Algebrai feladatok. Feladatok
. fejezet Bevezetés Algebrai feladatok J. A számok gyakran használt halmazaira a következ jelöléseket vezetjük be: N a nemnegatív egész számok, N + a pozitív egész számok, Z az egész számok, Q a racionális
RészletesebbenAlap fatranszformátorok II
Alap fatranszformátorok II Vágvölgyi Sándor Fülöp Zoltán és Vágvölgyi Sándor [2, 3] közös eredményeit ismertetjük. Fogalmak, jelölések A Σ feletti alaptermek TA = (T Σ, Σ) Σ algebráját tekintjük. Minden
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észletesebbenAdatbázisok. 8. gyakorlat. SQL: CREATE TABLE, aktualizálás (INSERT, UPDATE, DELETE), SELECT október október 26. Adatbázisok 1 / 17
Adatbázisok 8. gyakorlat SQL: CREATE TABLE, aktualizálás (INSERT, UPDATE, DELETE), SELECT 2015. október 26. 2015. október 26. Adatbázisok 1 / 17 SQL nyelv Structured Query Language Struktúrált lekérdez
RészletesebbenAdatbázis-kezelés ODBC driverrel
ADATBÁZIS-KEZELÉS ODBC DRIVERREL... 1 ODBC: OPEN DATABASE CONNECTIVITY (NYÍLT ADATBÁZIS KAPCSOLÁS)... 1 AZ ODBC FELÉPÍTÉSE... 2 ADATBÁZIS REGISZTRÁCIÓ... 2 PROJEKT LÉTREHOZÁSA... 3 A GENERÁLT PROJEKT FELÉPÍTÉSE...
RészletesebbenFordító részei. Fordító részei. Kód visszafejtés. Izsó Tamás szeptember 29. Izsó Tamás Fordító részei / 1
Fordító részei Kód visszafejtés. Izsó Tamás 2016. szeptember 29. Izsó Tamás Fordító részei / 1 Section 1 Fordító részei Izsó Tamás Fordító részei / 2 Irodalom Izsó Tamás Fordító részei / 3 Irodalom Izsó
RészletesebbenNEM-DETERMINISZTIKUS PROGRAMOK HELYESSÉGE. Szekvenciális programok kategóriái. Hoare-Dijkstra-Gries módszere
Szekvenciális programok kategóriái strukturálatlan strukturált NEM-DETERMINISZTIKUS PROGRAMOK HELYESSÉGE Hoare-Dijkstra-Gries módszere determinisztikus valódi korai nem-determinisztikus általános fejlett
RészletesebbenSémi összehasonlító nyelvészet
Sémi összehasonlító nyelvészet BMA-HEBD-303 Biró Tamás 2014. december 3. Házi feladat jövő szerdára Következő órára: olvasandó + házi feladat 1. Olvasandó: Beyond Babel pp. 183 206 (hettita), Bennett pp.
RészletesebbenFraktál alapú képtömörítés p. 1/26
Fraktál alapú képtömörítés Bodó Zalán zbodo@cs.ubbcluj.ro BBTE Fraktál alapú képtömörítés p. 1/26 Bevezetés tömörítések veszteségmentes (lossless) - RLE, Huffman, LZW veszteséges (lossy) - kvantálás, fraktál
RészletesebbenAlgoritmuselmélet 18. előadás
Algoritmuselmélet 18. 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 2002 Május 7. ALGORITMUSELMÉLET 18. ELŐADÁS 1 Közelítő algoritmusok
RészletesebbenTuring-gép május 31. Turing-gép 1. 1
Turing-gép 2007. május 31. Turing-gép 1. 1 Témavázlat Turing-gép Determinisztikus, 1-szalagos Turing-gép A gép leírása, példák k-szalagos Turing-gép Univerzális Turing-gép Egyéb Turing-gépek Nemdeterminisztikus
RészletesebbenA Számítástudomány alapjai
Mechatronika, Optika és Gépészeti Informatika Tanszék A Számítástudomány alapjai Szemelvények az Elméleti Számítástudomány területéről Fogalmak: Számítástechnika Realizáció, technológia Elméleti számítástudomány
RészletesebbenAz F# nyelv erőforrásanalízise
Az F# nyelv erőforrásanalízise Góbi Attila Eötvös Loránd Tudományegyetem Támogatta a KMOP-1.1.2-08/1-2008-0002 és az Európai Regionális Fejlesztési Alap. 2012. Június 19. Góbi Attila (ELTE) Az F# nyelv
RészletesebbenMapping Sequencing Reads to a Reference Genome
Mapping Sequencing Reads to a Reference Genome High Throughput Sequencing RN Example applications: Sequencing a genome (DN) Sequencing a transcriptome and gene expression studies (RN) ChIP (chromatin immunoprecipitation)
RészletesebbenHázi feladatok megoldása. Nyelvek használata adatszerkezetek, képek leírására
Nyelvek használata adatszerkezetek, képek leírására Formális nyelvek, 2. gyakorlat 1. feladat Módosított : belsejében lehet _ jel is. Kezdődhet, de nem végződhet vele, két aláhúzás nem lehet egymás mellett.
RészletesebbenSZÁMÍTÁSTUDOMÁNY ALAPJAI
SZÁMÍTÁSTUDOMÁNY ALAPJAI INBGM0101-17 Előadó: Dr. Mihálydeák Tamás Sándor Gyakorlatvezető: Kovács Zita 2017/2018. I. félév 2. gyakorlat Az alábbi összefüggések közül melyek érvényesek minden A, B halmaz
RészletesebbenA forrás pontos megnevezésének elmulasztása valamennyi hivatkozásban szerzői jogsértés (plágium).
A szakirodalmi idézések és hivatkozások rendszere és megadásuk szabályai A bibliográfia legfontosabb szabályai Fogalma: Bibliográfiai hivatkozáson azoknak a pontos és kellően részletezett adatoknak az
RészletesebbenBevezetés a matematikába (2009. ősz) 1. röpdolgozat
Bevezetés a matematikába (2009. ősz) 1. röpdolgozat 1. feladat. Fogalmazza meg a következő ítélet kontrapozícióját: Ha a sorozat csökkenő és alulról korlátos, akkor konvergens. 2. feladat. Vezessük be
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észletesebbenNyelvészeti módszerek és irányzatok, bibliai és rabbinikus héber
Nyelvészeti módszerek és irányzatok, bibliai és rabbinikus héber BMA-HEBD-111, P/TÖ/HB-1, BBV-101.51, BMVD-101.78 Biró Tamás 2015. március 10.: Morfológia, kísérletes nyelvészet Egy kutatási projekt (és
RészletesebbenModellkiválasztás és struktúrák tanulása
Modellkiválasztás és struktúrák tanulása Szervezőelvek keresése Az unsupervised learning egyik fő célja Optimális reprezentációk Magyarázatok Predikciók Az emberi tanulás alapja Általános strukturális
RészletesebbenDiMat II Végtelen halmazok
DiMat II Végtelen halmazok Czirbusz Sándor 2014. február 16. 1. fejezet A kiválasztási axióma. Ismétlés. 1. Deníció (Kiválasztási függvény) Legyen {X i, i I} nemüres halmazok egy indexelt családja. Egy
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é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é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észletesebbenRelá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észletesebbenA számítástudomány alapjai. Katona Gyula Y. Számítástudományi és Információelméleti Tanszék Budapesti Műszaki és Gazdaságtudományi Egyetem
A számítástudomány alapjai Katona Gyula Y. Számítástudományi és Információelméleti Tanszék Budapesti Műszaki és Gazdaságtudományi Egyetem Bináris keresőfa, kupac Katona Gyula Y. (BME SZIT) A számítástudomány
RészletesebbenA Python programozási nyelv
A Python programozási nyelv Takács Gábor Széchenyi István Egyetem Matematika és Számítástudomány Tanszék 1 / 47 Jellemzők + értelmezett nyelv + típusai dinamikusak + szintaxisa tömör,
RészletesebbenAdattípusok. Max. 2GByte
Adattípusok Típus Méret Megjegyzés Konstans BIT 1 bit TRUE/FALSE SMALLINT 2 byte -123 INTEGER 4 byte -123 COUNTER 4 byte Automatikus 123 REAL 4 byte -12.34E-2 FLOAT 8 byte -12.34E-2 CURRENCY / MONEY 8
RészletesebbenInformációs rendszerek elméleti alapjai. Információelmélet
Információs rendszerek elméleti alapjai Információelmélet Az információ nem növekedés törvénye Adatbázis x (x adatbázis tartalma) Kérdés : y Válasz: a = f(y, x) Mennyi az a információtartalma: 2017. 04.
RészletesebbenKlasszikus héber nyelv 4.: Szintaxis
Klasszikus héber nyelv 4.: Szintaxis BBN-HEB11-204 Koltai Kornélia, Biró Tamás 2017. november 22. Visszajelzés a beadott házi feladatokkal és a negyedévi zh-val kapcsolatban igék ragozása ע "ו és ל "א
RészletesebbenAdattípusok. Max. 2GByte
Adattípusok Típus Méret Megjegyzés Konstans BIT 1 bit TRUE/FALSE TINIINT 1 byte 12 SMALLINT 2 byte -123 INTEGER 4 byte -123 COUNTER 4 byte Automatikus 123 REAL 4 byte -12.34E-2 FLOAT 8 byte -12.34E-2 CURRENCY
RészletesebbenFordítóprogramok (A,C,T szakirány) Feladatgy jtemény
Fordítóprogramok (A,C,T szakirány) Feladatgy jtemény ELTE IK 1 Lexikális elemzés 1. Add meg reguláris nyelvtannal, reguláris kifejezéssel és véges determinisztikus automatával a következ lexikális elemeket!
RészletesebbenComputer Architecture
Computer Architecture Locality-aware programming 2016. április 27. Budapest Gábor Horváth associate professor BUTE Department of Telecommunications ghorvath@hit.bme.hu Számítógép Architektúrák Horváth
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észletesebbenNem-lineáris programozási feladatok
Nem-lineáris programozási feladatok S - lehetséges halmaz 2008.02.04 Dr.Bajalinov Erik, NyF MII 1 Elég egyszerű példa: nemlineáris célfüggvény + lineáris feltételek Lehetséges halmaz x 1 *x 2 =6.75 Gradiens
RészletesebbenCsempe átíró nyelvtanok
Csempe átíró nyelvtanok Tile rewriting grammars Németh L. Zoltán Számítástudomány Alapjai Tanszék SZTE, Informatikai Tanszékcsoport 1. előadás - 2006. április 10. Képek (pictures) I. Alapdefiníciók ábécé:
RészletesebbenAttribútumok, constraint-ek
BUDAPESTI MŰSZAKI ÉS GAZDASÁGTUDOMÁNYI EGYETEM VILLAMOSMÉRNÖKI ÉS INFORMATIKAI KAR MÉRÉSTECHNIKA ÉS INFORMÁCIÓS RENDSZEREK TANSZÉK Attribútumok, constraint-ek Fehér Béla Szántó Péter, Lazányi János, Raikovich
RészletesebbenA bemeneti feszültség 10 V és 20 V között van. 1. ábra A fuzzy tagsági függvény
BÁRKÁNYI PÁL: FUZZY MODELL MATEMATIKAI HÁTTERE SPECIÁLIS KATONAI RENDSZEREKRE ALKALMAZVA A katonai rendszerek műszaki megbízhatóságának vizsgálatai során, több matematikai módszert alkalmazhatunk, mint
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é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é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észletesebben... S n. A párhuzamos programszerkezet két vagy több folyamatot tartalmaz, melyek egymással közös változó segítségével kommunikálnak.
Párhuzamos programok Legyen S parbegin S 1... S n parend; program. A párhuzamos programszerkezet két vagy több folyamatot tartalmaz, melyek egymással közös változó segítségével kommunikálnak. Folyamat
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észletesebbenKomputeralgebra Rendszerek
Komputeralgebra Rendszerek Programozás Czirbusz Sándor ELTE IK, Komputeralgebra Tanszék 2014. február 23. TARTALOMJEGYZÉK 1 of 28 TARTALOMJEGYZÉK I 1 TARTALOMJEGYZÉK 2 Értékadás MAPLE -ben SAGE -ben 3
Részletesebbenminden x D esetén, akkor x 0 -at a függvény maximumhelyének mondjuk, f(x 0 )-at pedig az (abszolút) maximumértékének.
Függvények határértéke és folytonossága Egy f: D R R függvényt korlátosnak nevezünk, ha a függvényértékek halmaza korlátos. Ha f(x) f(x 0 ) teljesül minden x D esetén, akkor x 0 -at a függvény maximumhelyének
RészletesebbenConstraint-ek. Fehér Béla Szántó Péter, Lazányi János, Raikovich Tamás BME MIT FPGA laboratórium
BUDAPESTI MŰSZAKI ÉS GAZDASÁGTUDOMÁNYI EGYETEM VILLAMOSMÉRNÖKI ÉS INFORMATIKAI KAR MÉRÉSTECHNIKA ÉS INFORMÁCIÓS RENDSZEREK TANSZÉK Constraint-ek Fehér Béla Szántó Péter, Lazányi János, Raikovich Tamás
RészletesebbenProgramozási módszertan. Dinamikus programozás: A leghosszabb közös részsorozat
PM-07 p. 1/13 Programozási módszertan Dinamikus programozás: A leghosszabb közös részsorozat Werner Ágnes Villamosmérnöki és Információs Rendszerek Tanszék e-mail: werner.agnes@virt.uni-pannon.hu PM-07
Részletesebbendiscosnp demo - Peterlongo Pierre 1 DISCOSNP++: Live demo
discosnp demo - Peterlongo Pierre 1 DISCOSNP++: Live demo Download and install discosnp demo - Peterlongo Pierre 3 Download web page: github.com/gatb/discosnp Chose latest release (2.2.10 today) discosnp
RészletesebbenFélévi óraszám Ajánlott félév. Követelmény. Heti óraszám. Felvétel típusa. Kreditpont. Felvétele. típusa
Felvétele Kreditpont Követelmény típusa Heti óraszám Félévi óraszám Ajánlott félév Felvétel típusa Szabadon választható Minor Más szakon Meghirdető tanszék/intézet MAGYAR ALAPSZAK (BA) TANTÁRGYLISTÁJA
RészletesebbenFordító Optimalizálás
Fordító Optimalizálás Kód visszafejtés. Izsó Tamás 2012. szeptember 27. Izsó Tamás Fordítás Optimalizálás / 1 Section 1 Fordító részei Izsó Tamás Fordítás Optimalizálás / 2 Irodalom Fordító részei Optimalizálás
RészletesebbenKOVÁ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észletesebbenProgramozás alapjai. 5. előadás
5. előadás Wagner György Általános Informatikai Tanszék Cserélve kiválasztásos rendezés (1) A minimum-maximum keresés elvére épül. Ismétlés: minimum keresés A halmazból egy tetszőleges elemet kinevezünk
RészletesebbenXML sémanyelvek Jeszenszky, Péter
XML sémanyelvek Jeszenszky, Péter XML sémanyelvek Jeszenszky, Péter Publication date 2010 Szerzői jog 2010 Jeszenszky Péter A tananyag a TÁMOP-4.1.2-08/1/A-2009-0046 számú Kelet-magyarországi Informatika
RészletesebbenA héber nyelv története
A héber nyelv története BMA-HEBD-201 Biró Tamás 12. Modern héber, modern nyelvészet 2016. április 27. A nyelvújítás előtt Kohányi Sámuel: Első magyarnémet-héber hangoztató és olvasókönyv a magyarországi
Részletesebben7. előadás Környezetfüggetlen nyelvtanok
7. előadás dr. Kallós Gábor 2017 2018 Tartalom Bevezető Deriváció Előállított szó és nyelv Levezetési sorozat Reguláris nyelvtanok Reguláris nyelvekre vonatkozó 2. ekvivalencia tétel Konstrukciók (NVA
Részletesebben