1. LOGIKAI (FORMÁLIS) SZEMANTIKA
|
|
- Ágoston Faragó
- 5 évvel ezelőtt
- Látták:
Átírás
1 - Gombocz: jelentés = funkciófogalom - más jelentéstanok: jelentés = viszonyfogalom 1. LOGIKAI (FORMÁLIS) SZEMANTIKA - jelek vonatkozásából indul ki (referencia, denotátum) - nyelvi kifejezések világ - tulajdonnevek köznevek különbsége - referenciális kifejezések - kijelentés (propozíció) - mondat propozíció különbsége - egyed halmaz vonatkozása: a/ disztributív b/ kollektív
2 - jelentés vonatkozás! Gottlob Frege: A hajnalcsillag az estcsillag. A hajnalcsillag a hajnalcsillag. - az igazságfeltétel fogalma - a kijelentés jelentése (részben v. egészben) = igazságfeltételeivel - A jelentés lényegét: nyelvi kifejezések + világ objektumai közti kapcsolatban keresik. - a világ = a fizikai világ mentális ábrázolása: Mari 4 órakor belépett az irodába. Józsi 5 órakor kiugrott az ablakon. + lehetséges világok (mese, álom stb.)
3 a nyelvi kifejezéseket a világ modelljéhez kapcsoljuk! - Minden mondat kijelentést fejez ki? - a szójelentés: a kijelentés függvényében - a jelentés kompozicionalitása (kivételek!!!) - jelentésábrázolás módszere (jelentésposztulátum): "x"y[apa (x,y) (férfi (x) & szülő (x, y))] Összefoglalva: 1.) vonatkozás problémái 2.) propozíció a középpontban 3.) igazságfeltételek 4.) jelentés-kompozicionalitás (Frege-féle elv) 5.) formális ábrázolás
4 2. KOGNITÍV SZEMANTIKA - jelentés + megismerés (kogníció) a jelentésleírásnak a mentális ábrázolást hűen kell tükröznie - jelentés észlelés (percepció) kapcsolata A gyerek az iskola előtt van. Az iskola a gyerek mögött van. logikai ekvivalencia = nyelvhasználatbeli ekvival. - okai
5 térérzékelés színérzékelés (jelentésük) fehér piros zöld kék barna lila fekete sárga rózsaszín narancssárga szürke alapnevek - alá-, fölérendelés - tulajdonságaik mozgásérzékelés - alak, háttér, mozgás, útvonal - lexikailag kifejezhető jellemzők (m.: csúszik, lép, gurul; fr.: descendre, monter, partir;
6 kalif. indián: -lup- kicsi, fényes, kerek a mozgó tárgy -t- kicsi, lapos, rögzíthető a mozgó t. -swal- hosszúkás, puha, egyik végén felfüggesztett a mozgó tárgy ) középpontjában a szószemantika - ábrázolása: lop(x,y,z) [vki lop vkitől vmit] MEGENGED(y, BIRTOKOL(x,z)) SZÁNDÉKOSAN(ELVESZ(x,y,z)) SZÁNDÉKOZIK(x, AD(x,y,z))
7 3. STRUKTURÁLIS SZEMANTIKA nyelven belül kívánja a jelentést meghatározni egy nyelvi kifejezés jelentése két szó közti jelentésviszony Hagyományos jelentésviszonyok: 3.1./ SZINONÍMIA - több fajtája van - feltételei - pl.: Szeretem a krumplit. K K Szeretem a burgonyát. nem K nem K
8 3.2./ HIPONÍMIA és HIPERONÍMIA - fölé-, alárendeltségi viszony - pl.: (K) Ez egy oroszlán. K K (K ) Ez egy állat. K K 3.3./ INKOMPATIBILITÁS - pl.: (K) Ez egy egér. K K (K ) Ez nem egy macska. K K - A (egy) X kijelentés implikálja az A nem (egy) Y kijelentést - 1 adott K kijelentéshez végtelen inkompatibilis K kijelentés szerkeszthető
9 3.4./ ELLENTMONDÁS - 2 lexikai elem teljesen kizárja egymást - teljesen lefedik a releváns konceptuális teret - pl.: János beteg. János egészséges. - ha K-t állítjuk, K -t tagadjuk, és fordítva: K nem K K nem K - pl.: János nem beteg. = János egészséges. János beteg. = János nem egészséges. konceptuális tér: egészség egészséges beteg
10 3.5./ ANTONÍMIA - nem kizáró ellentét (jó-rossz, nagy-kicsi) - nem fedik le teljesen a releváns konceptuális teret - semleges zóna konceptuális tér: hőmérséklet meleg hideg nem hideg K nem K nem K K nem meleg
11 Mondatszemantikai jelentésviszonyok: 3.6./ GYENGE IMPLIKÁCIÓ - p gyengén implikálja q-t, ha p igaz voltából következik q igaz volta, de q tagadásából nem kell következnie p tagadásának - pl.: p Jancsinak sikerült megoldania a feladatot. q Jancsi megoldotta a feladatot. q p Jancsi nem oldotta meg a feladatot. Jancsinak nem sikerült megoldania a feladatot.
12 3.7./ ELŐFELTEVÉS - következmény, melyet a tagadás nem érint - q előfeltevése p-nek, ha q következik p-ből is és p tagadásából is - pl.: q Anna hazajött. p Péter tudta, hogy Anna hazajött. Péter nem tudta, hogy Anna hazajött.
13 3.8./ KONVENCIONÁLIS IMPLIKATÚRA - mondatbeli nyelvi elemek, eszközök idézik elő - előre jelezhető következményreláció - pontos tartalma nem fogalmazható meg - pl.: - A lány szegény és becsületes. A lány szegény de becsületes. - Mari szereti a kaviárt. Még Mari is szereti a kaviárt.
14 Hogyan vizsgálódnak? 1./ FORMÁLIS SZEMANTIKA AGGLEGÉNY(x) FÉRFI(x) & NŐTLEN(x) & FELNŐTT(x) - szükséges és elégséges feltételek (egyidejűség) 2./ STRUKTURÁLIS SZEMANTIKA - lényegében ugyanez - szükséges és elégséges feltételekről nem szól AGGLEGÉNY(x) FÉRFI(x) AGGLEGÉNY(x) NŐTLEN(x) AGGLEGÉNY(x) FELNŐTT(x) [FÉRFI(x) & NŐTLEN(x) & FELNŐTT(x)] AGGLEGÉNY(x)
15 3./ KOGNITÍV SZEMANTIKA - megkérdőjelezi az elégséges feltételeket - szerinte nem egyértelmű a vonatkozás - idealizált világban érvényes (tulajdonképpen) - pl.: A pápa agglegény. A pápa tulajdonképpen agglegény.
16 Fő érdeklődési területük? 1./ FORMÁLIS SZEMANTIKA - mondatszemantika - cél: formális ábrázolásba illesztés 2./ KOGNITÍV SZEMANTIKA - szószemantika - megismeréssel kapcsolatba hozható problémák - tér, idő, mozgás észlelése és nyelvi tükröztetése - nem törekszik ábrázolásra - csak ez foglalkozik a diakrón jelentésvizsgálattal
17 3./ STRUKTURÁLIS SZEMANTIKA - szószemantika - a nyelvi jelek közti strukturális összefüggést kutatja 1. Logikai jelentésfogalom: jel + világ viszonya 2. Kognitív jelentésfogalom: jel + megismerés viszony 3. Strukturális jelentésfogalom : jel + jel viszonya
A jelentéstan alapfogalmai
Előadásvázlatok A jelentéstan alapfogalmai Összeállította: Szépe Judit CSc Lektorálta: Szende Tamás DSc Kézirat gyanánt TARTALOM I. BEVEZETÉS... 3 1. Mi a jelentés?... 3 2. Hol van a jelentés?... 3 2.1.
RészletesebbenSzemantika (jelentéstan)
a 19. század végétől aztán megkülönböztetik a jelöletet és a jelentést 4 2 =2 4 jelölet jelentés (amire vonatkozik, és ahogyan jelenti) nem mindig járnak együtt (tuln. az albán király) vö.: Az országgyűlés
RészletesebbenBevezetés a nyelvtudományba Jelentéstan (szemantika)
Bevezetés a nyelvtudományba Jelentéstan (szemantika) Jelentéstan tárgya: - a szavak és egyéb nyelvi jelek jelentésének vizsgálata - a jelentés tanulmányozása rendszerszerű, objektív módon a lehető legtöbb
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észletesebbenBútorfogantyúk. 1882-56 - fém. 1884-48 - fém. antik ezüst. antik ezüst. 1885-56 - fém. 1886-36 - fém. antik ezüst. antik ezüst.
Bútorfogantyúk. 88- - fém 88-8 - fém antik ezüst 0000700 antik ezüst 0000700 9 9 9 8, 88- - fém 88- - fém 00007070 antik ezüst 00007080 7,,, 0 antik ezüst, 9 88-09 - fém antik ezüst 0000700 8 7 09 887-
RészletesebbenJelentés, jelek és jelrendszerek
Tartalomjegyzék A jel...1 Jeltipológia a jelek fajtái...2 A jel formája és jelentése közötti kapcsolat...3 Indexek...4 Ikonok, ikonikus jelek...5 Az indexek és ikonok értelmezése...6 Szimbólumok...7 A
RészletesebbenA matematika nyelvér l bevezetés
A matematika nyelvér l bevezetés Wettl Ferenc 2012-09-06 Wettl Ferenc () A matematika nyelvér l bevezetés 2012-09-06 1 / 19 Tartalom 1 Matematika Matematikai kijelentések 2 Logikai m veletek Állítások
RészletesebbenShaggy szőnyeg 51 Bone
Shaggy szőnyeg 51 Bone RENDELÉSRE - - 5 990 Ft - 24 900 Ft 1.oldal Shaggy szőnyeg 63 Bone RENDELÉSRE - - 5 990 Ft - 24 900 Ft 2.oldal Shaggy szőnyeg 690 Bone RENDELÉSRE - - 5 990 Ft - 24 900 Ft 3.oldal
RészletesebbenSZEMANTIKA ÉS PRAGMATIKA A TERMINOLÓGIÁBAN
SZEMANTIKA ÉS PRAGMATIKA A TERMINOLÓGIÁBAN FÓRIS ÁGOTA Pragmatika kerekasztal, KRE BTK, 2015. május 29. Vázlat Szemantika és pragmatika a terminológiában Szemantika és pragmatika a terminológiaoktatásban
RészletesebbenMegfelelőségi táblázatok
Megfelelőségi táblázatok Legnagyobb bútorélzáró kollekció Maximális színazonosság 24 h kiszolgálás ABS élzárók ALU fóliával 2000 HD 29661 ABS alu csiszolt 2003 HD 29930 ABS arany csiszolt 22x0,45mm 22x1mm
RészletesebbenA szószemantika ábrázolási módszerei 1. Komponenses elemzés. 2. Szemantikai dekompozíció. - feltételezés (szemantikai jegyek = komponensek)
A szószemantika ábrázolási módszerei 1. Komponenses elemzés - legrégibb 2. Szemantikai dekompozíció - feltételezés (szemantikai jegyek = komponensek) 3. Prototípus-elmélet, kognitív szemantika - elveti
RészletesebbenKijelentéslogika, ítéletkalkulus
Kijelentéslogika, ítéletkalkulus Arisztotelész (ie 4. sz) Leibniz (1646-1716) oole (1815-1864) Gödel (1906-1978) Neumann János (1903-1957) Kalmár László (1905-1976) Péter Rózsa (1905-1977) Kijelentés,
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észletesebbenBevezetés a nyelvtudományba. 7. Szemantika. Gerstner Károly Magyar Nyelvészeti Tanszék
Bevezetés a nyelvtudományba 7. Szemantika Gerstner Károly Magyar Nyelvészeti Tanszék Szemantika Jelentéstan minden nyelvi kategóriára kiterjed a nyelv mint jelrendszer megjeleníti a világot: a jeltárgyat
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é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é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észletesebbenArról, ami nincs A nemlétezés elméletei. 8. Nemlétezőkre vonatkozó mondatok november 4.
Arról, ami nincs A nemlétezés elméletei 8. Nemlétezőkre vonatkozó mondatok 2013. november 4. Tanulságok a múlt óráról A modern szimbolikus logika feltárja a kifejezések valódi szerkezetét, ami nem azonos
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é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é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észletesebbenD Mandalák. 1. Mandala
Kiemelt figyelmet igénylő gyerekek Beszédészlelés fejlesztése mandalaszínezők segítségével D 2.4 2. Mandalák 1. Mandala Hol hallod a szóban az l hangot? Ejtsd ki hangosan a szót, és határozd meg, hogy
RészletesebbenÍtéletkalkulus. 1. Bevezet. 2. Ítéletkalkulus
Ítéletkalkulus Logikai alapfogalmak, m veletek, formalizálás, logikai ekvivalencia, teljes diszjunktív normálforma, tautológia. 1. Bevezet A matematikai logikában az állításoknak nem a tényleges jelentésével,
RészletesebbenLOGIKA ÉS É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észletesebbenKÖNYVJELZŐ KATALÓGUS WWW.KONYVJELZOKUCKO.HU SZERENCSEHOZÓ... 1 FENG SHUI. 4 HÁZI KEDVENC.. 16 EZOTERIKUS 20 MESEKÖNYV 22 GÉMKAPOCS 26 KONYHATÜNDÉR.
KÖNYVJELZŐ KATALÓGUS SZERENCSEHOZÓ.... 1 FENG SHUI. 4 HÁZI KEDVENC.. 16 EZOTERIKUS 20 MESEKÖNYV 22 GÉMKAPOCS 26 KONYHATÜNDÉR. 35 SELYEMSZALAG. 38 BOJTOS 42 BOJT SZOKNYÁS ANGYALKA. 46 SZIVECSKE. 49 OKLEVÉL.
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észletesebbenKijelentéslogika, ítéletkalkulus
Kijelentéslogika, ítéletkalkulus Kijelentés, ítélet: olyan kijelentő mondat, amelyről egyértelműen eldönthető, hogy igaz vagy hamis Logikai értékek: igaz, hamis zürke I: 52-53, 61-62, 88, 95 Logikai műveletek
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észletesebbenBrósch Zoltán (Debreceni Egyetem Kossuth Lajos Gyakorló Gimnáziuma) Logika
Logika Indukció: A fogalomalkotásnak azt a módját, amikor a konkrét tapasztalatokra támaszkodva jutunk el az általános fogalomhoz, indukciónak nevezzük. Dedukció: A fogalomalkotásnak azt a módját, amikor
RészletesebbenA matematika nyelvéről bevezetés
A matematika nyelvéről bevezetés Wettl Ferenc 2006. szeptember 19. Wettl Ferenc () A matematika nyelvéről bevezetés 2006. szeptember 19. 1 / 17 Tartalom 1 Matematika Kijelentő mondatok Matematikai kijelentések
Ré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észletesebbenModellellenőrzés. dr. Majzik István BME Méréstechnika és Információs Rendszerek Tanszék
Modellellenőrzés dr. Majzik István BME Méréstechnika és Információs Rendszerek Tanszék 1 Mit szeretnénk elérni? Informális vagy félformális tervek Informális követelmények Formális modell: KS, LTS, TA
Részletesebben3./ szemantikai határozatlanság (nagybácsi, nagynéni, szomszéd, asztal)
A poliszémia és a kétszintű szemantika 1./ poliszémia (fej: ágyé, kalapácsé, szegé) 2./ homonímia (kar: kar-ja, kar-a) - különbségeik: a) jelentések közös elemének megléte/hiánya b) nyelvtörténeti forrásuk
RészletesebbenA logika, és a matematikai logika alapjait is neves görög tudós filozófus Arisztotelész rakta le "Analitika" című művében, Kr.e. IV. században.
LOGIKA A logika tudománnyá válása az ókori Görögországban kezdődött. Maga a logika szó is görög eredetű, a logosz szó jelentése: szó, fogalom, ész, szabály. Már az első tudósok, filozófusok, és politikusok
RészletesebbenInformáció megjelenítés Diagram tervezés
Információ megjelenítés Diagram tervezés Statisztikák Háromféle hazugság van: hazugságok, átkozott hazugságok és statisztikák A lakosság 82%-a nem eszik elég rostot. 3-ból 2 gyerek az USA-ban nem nem tudja
Részletesebben1. Három tanuló reggel az iskola bejáratánál hányféle sorrendben lépheti át a küszöböt?
skombinatorika 1. Három tanuló reggel az iskola bejáratánál hányféle sorrendben lépheti át a küszöböt? P = 3 2 1 = 6. 3 2. Hány különböző négyjegyű számot írhatunk föl 2 db 1-es, 1 db 2-es és 1 db 3-as
RészletesebbenBrósch Zoltán (Debreceni Egyetem Kossuth Lajos Gyakorló Gimnáziuma) Megoldás
Megoldás 1. Melyik mondat állítás a következőek közül? A: Szép idő van ma? B: A 100 szép szám. C: Minden prímszám páratlan. D: Bárcsak újra nyár lenne! Az állítás olyan kijelentő mondat, melyről egyértelműen
RészletesebbenMatematika Logika
Matematika Logika 1 Állítások - Kijelentések Az alábbi kijelentő mondatok közül válaszd ki az állításokat! 1. Minden prímszám páratlan 2. Holnap jó műsor lesz a tv-ben. 3. Az óvodában a legszebb lány Veronika.
RészletesebbenNyelv és gondolkodás
Nyelv és gondolkodás Egyetemes és egyéni Mennyiben befolyásolja a nyelv a gondolkodásunkat, és fordítva, mennyiben határozza meg az emberi gondolkodás a nyelvünket? Hasonlóságok és különbségek minden szinten
Részletesebben2) Egy háromszög két oldalának hossza 9 és 14 cm. A 14 cm hosszú oldallal szemközti szög 42. Adja meg a háromszög hiányzó adatait!
Szinusztétel 1) Egy háromszög két oldalának hossza 3 és 5 cm. Az 5 cm hosszú oldallal szemközti szög 70. Adja ) Egy háromszög két oldalának hossza 9 és 14 cm. A 14 cm hosszú oldallal szemközti szög 4.
RészletesebbenA készlet az MB 100 450 Mese szekrénnyel kiegészíthető. Játéktároló szekrények polcokkal, zárt tároló szekrények ajtóval, pad,
Csoportszobai bútorok MB 100 481 Mese szekrény MB 100 450 Mese szekrény A képen látható bútor összeállítást csak egyben lehet megrendelni különkülön az elemek nem elérhetőek. Az ár csak a képen látható
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észletesebbenSzínes gyakorlókönyv színtévesztőknek
Lux et Color Vespremiensis 2008 Színes gyakorlókönyv színtévesztőknek Dr. Wenzel Klára, Dr. Samu Krisztián, Langer Ingrid Budapesti Műszaki és Gazdaságtudományi Egyetem Mechatronika, Optika és Gépészeti
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észletesebbenÍTÉLETKALKULUS (NULLADRENDŰ LOGIKA)
ÍTÉLETKALKULUS SZINTAXIS ÍTÉLETKALKULUS (NULLADRENDŰ LOGIKA) jelkészlet elválasztó jelek: ( ) logikai műveleti jelek: ítéletváltozók (logikai változók): p, q, r,... ítéletkonstansok: T, F szintaxis szabályai
RészletesebbenBizonyítási módszerek ÉV ELEJI FELADATOK
Bizonyítási módszerek ÉV ELEJI FELADATOK Év eleji feladatok Szükséges eszközök: A4-es négyzetrácsos füzet Letölthető tananyag: Emelt szintű matematika érettségi témakörök (2016) Forrás: www.mozaik.info.hu
RészletesebbenBEVEZETÉS A NYELVTUDOMÁNYBA
BEVEZETÉS A NYELVTUDOMÁNYBA néhány évtizedes nem egységes elmélet alapfogalma: megnyilatkozás kommunikatív jelentésével, szerepével foglalkozik a megnyilatkozás jelentése nem állandó pl. Na, ez szép! a
RészletesebbenMatematikai logika. 3. fejezet. Logikai m veletek, kvantorok 3-1
3. fejezet Matematikai logika Logikai m veletek, kvantorok D 3.1 A P és Q elemi ítéletekre vonatkozó logikai alapm veleteket (konjunkció ( ), diszjunkció ( ), implikáció ( ), ekvivalencia ( ), negáció
RészletesebbenLogika és informatikai alkalmazásai
Logika és informatikai alkalmazásai 4. gyakorlat Németh L. Zoltán http://www.inf.u-szeged.hu/~zlnemeth SZTE, Informatikai Tanszékcsoport 2011 tavasz Irodalom Szükséges elmélet a mai gyakorlathoz Előadás
RészletesebbenFurnitura kollekció UNI bútorlapok
D102 PS14 Beige (Kastamonu) 2 3 820 Ft 206 Ft Hasonló szín Felület Vastagság 18mm Élzárás 1mm 324 Ft Felület Enyhén recés Élzárás 2mm 359 Ft D1313 HDF 800 Ft D104 PS11 Elefántcsont (Kastamonu) 2 3 820
RészletesebbenKnoch László: Információelmélet LOGIKA
Mi az ítélet? Az ítélet olyan mondat, amely vagy igaz, vagy hamis. Azt, hogy az adott ítélet igaz vagy hamis, az ítélet logikai értékének nevezzük. Jelölése: i igaz h hamis A 2 páros és prím. Logikai értéke
RészletesebbenBrósch Zoltán (Debreceni Egyetem Kossuth Lajos Gyakorló Gimnáziuma) Logika
Logika Indukció: A fogalomalkotásnak azt a módját, amikor a konkrét tapasztalatokra támaszkodva jutunk el az általános fogalomhoz, indukciónak nevezzük. Dedukció: A fogalomalkotásnak azt a módját, amikor
RészletesebbenABS Alu-grafitbarna 23x1,3mm 2in1 ABS fehér 23x1mm MF ABS fehér 23x2mm MF ABS fehér 45x2mm MF ABS bordó 23x2mm MF ABS woodline 33x2mm
ABS Acryl 3D bükk 43 2mm ABS Acryl 3D Multiplex 23 2mm ABS Acryl 3D dió 43 2mm ABS Acryl 3D alu csiszolt 23 2mm ABS 283006 zebrano homok 33x2mm ABS 283006 zebrano homok 45x2mm ABS 221950 calvados natúr
RészletesebbenModellellenőrzés. dr. Majzik István BME Méréstechnika és Információs Rendszerek Tanszék
Modellellenőrzés dr. Majzik István BME Méréstechnika és Információs Rendszerek Tanszék 1 Mit szeretnénk elérni? Informális vagy félformális tervek Informális követelmények Formális modell: KS, LTS, TA
RészletesebbenLogika és informatikai alkalmazásai
Logika és informatikai alkalmazásai 4. gyakorlat Németh L. Zoltán http://www.inf.u-szeged.hu/~zlnemeth SZTE, Informatikai Tanszékcsoport 2011 tavasz Irodalom Szükséges elmélet a mai gyakorlathoz Előadás
Részletesebben- megnyilatkozás értelmezéséhez kell: 1. a világ ismerete pl.: vág 2. kommunikációs ismeret pl.: udvariasság - a beszédhelyzet szerepe pl.
Pragmatika - Alapegység: formális (logikai) szemantika: kijelentés (propozíció) strukturális szemantika: mondat beszédben, írásban: megnyilatkozás a.) mint nyelvi viselkedés kapcsolat a beszédaktussal
RészletesebbenS Z Í N E S JÁ T É K
S Z Í N E S JÁ T É K 3 10 éves gyermekeknek Láttál már SZIVÁRVÁNYT? Ugye milyen szép? Hogyan keletkezik a szivárvány? Süt a nap és esik az eső, vagy eláll az eső és kisüt a nap. A levegőben sok a vízcsepp.
RészletesebbenGONDOLKODÁS ÉS NYELV
GONDOLKODÁS ÉS NYELV GONDOLKODÁS A. Propozicionális B. Képzeleti Propozicionális gondolkodás Propozíció kijelentés, amely egy tényállásra vonatkozik, meghatározott viszonyban összekombinált fogalmakból
RészletesebbenArról, ami nincs A nemlétezés elméletei. 7. A modern logika és a létezés október 21.
Arról, ami nincs A nemlétezés elméletei 7. A modern logika és a létezés 2013. október 21. Ismétlés Az ontológiai istenérv modern kritikája: a létezés nem tulajdonság nem lehet feltenni a kérdést, hogy
RészletesebbenSzemantika: modalitás, kompozicionalitás. Nyelvészet az informatikában informatika a nyelvészetben 2013. november 13.
Szemantika: modalitás, kompozicionalitás Nyelvészet az informatikában informatika a nyelvészetben 2013. november 13. Bevezetés Szemantika: jelentéssel foglalkozó nyelvészeti részterület Mi a jelentés?
RészletesebbenBevezetés a nyelvtudományba. 5. Szintaxis
Bevezetés a nyelvtudományba 5. Szintaxis Gerstner Károly Magyar Nyelvészeti Tanszék Szintaxis Mondattan Hangok véges elemei a nyelvnek Szavak sok, de nyilván véges szám Mondatok végtelen sok Mi a mondat?
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észletesebbenMatematikai alapok és valószínőségszámítás. Valószínőségszámítási alapok
Matematikai alapok és valószínőségszámítás Valószínőségszámítási alapok Bevezetés A tudományos életben vizsgálódunk pontosabb megfigyelés, elırejelzés, megértés reményében. Ha egy kísérletet végzünk, annak
RészletesebbenIII. osztály 1 Orchidea Iskola IV. Matematika verseny 2011/2012 II. forduló
III. osztály 1 Orchidea Iskola IV. Matematika verseny 2011/2012 II. forduló 1. Mennyi az eredmény 15+17 15+17 15+17=? A) 28 B) 35 C) 36 D)96 2. Melyik szám van a piramis csúcsán? 42 82 38 A) 168 B) 138
RészletesebbenBorbás Gabriella Dóra bibliográfiája
Borbás Gabriella Dóra bibliográfiája Tudományos munkássága a Magyar Tudományos Művek Tárában: https://vm.mtmt.hu//search/slist.php?lang=0&authorid=10023178 Könyv A Biblia mint kommunikációs tankönyv. Vince
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észletesebbenBevezetés a Formális Logikába Érveléstechnika-logika 7.
Bevezetés a Formális Logikába Érveléstechnika-logika 7. Elemi és összetett állítások Elemi állítások Állítás: Jelentéssel bíró kijelentő mondat, amely információt közöl a világról. Az állítás vagy igaz
RészletesebbenÍtéletkalkulus. 1. Bevezet. 2. Ítéletkalkulus
Ítéletkalkulus Logikai alapfogalmak, m veletek, formalizálás, logikai ekvivalencia, teljes diszjunktív normálforma, tautológia. 1. Bevezet A matematikai logikában az állításoknak nem a tényleges jelentésével,
RészletesebbenM E T A LO M Á N I A T E R M É K E K
Azonosító Termékfotó Megnevezés Bruttó ár (Ft) M E T A LO M Á N I A T E R M É K E K HK500 BAGOLY 2.125 HK6035 BOROSÜVEGTARTÓ, BICIKLIS 11.125 HK7909 BOROSÜVEGTARTÓ, HORGÁSZ 6.125 HK6058 BOROSÜVEGTARTÓ,
RészletesebbenKiefer Ferenc: Jelentéselmélet. Az ige
Kiefer Ferenc: Jelentéselmélet. Az ige Budapest: Corvina Kiadó. 2000. (A szemantikai elméletek, a főnév, az ige és a melléknév fejezetei.) 1. Az ige fogalma MMNyR 1 : Az ige [...] cselekvés-, történés,
Részletesebbenp_p_r = sz_kr_ny = f k = _b_ly_ = k_l_p = dr_g_k_ = festékpötty Varga Julcsa zokni kisfiú Föld lyuk Mikkamakka Tejút Okker Ultramarin
1. Elérhető pontszám:10x2=20 pont 2. Időtartam: 4 perc Elérhető pontszám:6x2+1=18 pont Húzzátok a megfelelő mesecímhez a szavakat! A Kék meg a Magánhangzó-nyomozó. Írjátok a szavakat az egyenlőségjel után,
RészletesebbenRhino WL4S Négyablakos ablakemelő modul Dover Kft
Rhino WLS Négyablakos ablakemelő modul Suzuki Swift 200- Suzuki SX S-Cross 203- Suzuki Vitara 20- Dover Kft. 39 Budapest, Hajdú utca 30. Tel.:239-2202 Dover Kft. 39 Budapest, Hajdú utca 30. Köszönjük,
RészletesebbenNagy Gábor compalg.inf.elte.hu/ nagy ősz
Diszkrét matematika 1. középszint 017. ősz 1. Diszkrét matematika 1. középszint. előadás Nagy Gábor nagygabr@gmail.com nagy@compalg.inf.elte.hu compalg.inf.elte.hu/ nagy Mérai László diái alapján Komputeralgebra
RészletesebbenMegfelelőségi táblázatok
Megfelelőségi táblázatok Legnagyobb bútorélzáró kollekció Maximális színazonosság 24 h kiszolgálás ABS élzárók - UNI színek PFLEID F 8567 HU 128567 ABS bézs GY 22x1mm mfény 10 22x2mm mfény 10 M 8582 HU
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észletesebbenDeutsche Telebank besorolása
1. feladat Függvény segítségével számítsa ki az átlagokat és azt, hogy hány ország kapta meg a maximális 10 pontot. Az EU tagállamokat átlag pontszámuk alapján minősítik. Az alábbi segédtáblázat alapján
RészletesebbenMetaforaértés Williams szindrómában: tudatelmélet vagy analógiás illesztés?
Metaforaértés Williams szindrómában: tudatelmélet vagy analógiás illesztés? Szamarasz Vera BME Kognitív Tudományi Tanszék vszamarasz@cogsci.bme.hu Babarczy Anna BME Kognitív Tudományi Tanszék babarczy@cogsci.bme.hu
RészletesebbenMatematikai logika Arisztotelész Organon logika feladata Leibniz Boole De Morgan Frege dedukció indukció kijelentésnek
Matematikai logika A logika tudománnyá válása az ókori Görögországban kezd dött. Maga a logika szó is görög eredet, a logosz szó jelentése: szó, fogalom, ész, szabály. Kialakulása ahhoz köthet, hogy már
RészletesebbenMILOVÁN ANDREA VALÓ KEZELÉSÉNEK LEHETİSÉGEIRİL
MILOVÁN ANDREA A SZEMANTIKA ÉS A PRAGMATIKA HATÁRÁN A PRESZUPPOZÍCIÓK ÉS AZ IMLIKATÚRÁK EGYSÉGES, SZEMANTIKAI KERETBEN VALÓ KEZELÉSÉNEK LEHETİSÉGEIRİL Az elıfeltevés (preszuppozíció) fogalma Hispániai
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észletesebbenÚTMUTATÓ A SZÓTÁR HASZNÁLATÁHOZ
11 ÚTMUTATÓ A SZÓTÁR HASZNÁLATÁHOZ A MAGYAR ELLENTÉTSZÓTÁR JELLEGE A Magyar ellentétszótár a magyar szókincs elemeit a szavak ellentétes jelentése alapján rendszerezi. A Magyar ellentétszótár megjelenéséig
RészletesebbenMéret szélesség x magasság x talp. 20x24x10 cm. 24x35x8 cm. 26x35x12 cm. 32x41x12 cm. 45x36x15 cm. Boros tasak. 10x38x8,5 cm. 250 db alatti mennyiség
Zsinórfüles kraft papírtáska Méret szélesség x magasság x talp Színe Nyomatlan táskák nettó ára 1000 db-tól 500 db-tól 1-499 db-ig 20x24x10 cm 173 Ft 188 Ft 203 Ft 24x35x8 cm 158 Ft 173 Ft 188 Ft 26x35x12
RészletesebbenÚj műveletek egy háromértékű logikában
A Magyar Tudomány Napja 2012. Új műveletek egy háromértékű logikában Dr. Szász Gábor és Dr. Gubán Miklós Tartalom A probléma előzményei A hagyományos műveletek Az új műveletek koncepciója Alkalmazási példák
Részletesebben3. Magyarország legmagasabb hegycsúcsa az Istállós-kő.
1. Bevezetés A logika a görög,,logosz szóból származik, melynek jelentése gondolkodás, beszéd, szó. A logika az emberi gondolkodás vizsgálatával foglalkozik, célja pedig a gondolkodás során használt helyes
RészletesebbenVII. Keretalapú ismeretábrázolás
Collins és Quillian kísérlete VII. Keretalapú ismeretábrázolás Tud-e a kanári énekelni? 1.3 mp Képes-e a kanári? 1.4 mp Van-e a kanárinak bőre? 1.5 mp A kanári egy kanári? 1.0 mp A kanári egy madár? 1.2
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észletesebbenTanulói feladatok értékelése
Tanulói feladatok értékelése FELADATLEÍRÁS: TÉMA: A Méhkirálynő című mese feldolgozása 2. d osztály ALTÉMA:Készítsünk árnybábokat! FELADAT: Meseszereplők megjelenítése árnybábokkal A FELADAT CÉLJA: Formakarakterek
RészletesebbenElemi matematika szakkör
Elemi matematika szakkör Kolozsvár, 2015. november 9. 1.1. Feladat. Tekintsünk egy E halmazt és annak minden A részhalmazára az A halmaz f A : E {0, 1} karakterisztikus függvényét, amelyet az { 1, x A
RészletesebbenKognitív nyelvészet. Kognitív szemantika Kognitív grammatika
Kognitív nyelvészet Kognitív szemantika Kognitív grammatika Charles Fillmore Leonard Talmy Ronald Langacker George Lakoff Adele Goldberg A formalista nyelvészet és kognitív nyelvészet céljai Formalista,
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észletesebbenOEK-butik állványok. ONDA plakáttartó állvány. Akril állványok. TWIN-szett DEKOLINE. OEK-butik állványok
ONDA plakáttartó állvány Akril állványok TWIN-szett DEKOLINE 31 ONDA ONDA új! Onda die Welle ONDA ONDA az új hullám plakáttartó állvány Az új ONDA plakáttartó állvány egyből a jó útra tereli reklámját!
RészletesebbenAJÁNLATOK. többet. a hideg napokra is! BOMBA ÁR BOMBA ÁR BOMBA ÁR. mindennap! 2890 ft ft. kevesebbért...
Szívet melengető AJÁNLATOK a hideg napokra is! többet kevesebbért... mindennap! télikabát fiúknak, kék vagy tengerészkék lányoknak, szőrmés kapucnival, kék vagy piros színben 2890 ft télikabát szőrmés
RészletesebbenBÉRLÉS, LÍZING, SZERVÍZ
MOBIL PARTYSÁTRAK összecsukható alumínium vázszerkezet 3 ponyvatípus 67 színárnyalatban igény szerint nyomtatható ponyvafelület 1 perc alatt felállítható mobil szerkezet Sátrainkat ajánljuk: kultúrális-,
Részletesebbenwww.szelesviz.hu ÉLETTERÜLETEK Készőlt: Halzer Dorottya Feng Shui iskolák titkai c. könyv alapján.
www.szelesviz.hu ÉLETTERÜLETEK Készőlt: Halzer Dorottya Feng Shui iskolák titkai c. könyv alapján. Fa elem Bagua szám 3. Család, egészség - Kelet Bagua szám 4. Gazdagság, siker Délkelet Energiamozgás:
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észletesebben3. OSZTÁLY A TANANYAG ELRENDEZÉSE
Jelölések: 3. OSZTÁLY A TANANYAG ELRENDEZÉSE Piros főtéma Citromsárga segítő, eszköz Narancssárga előkészítő Kék önálló melléktéma Hét Gondolkodási és megismerési módszerek Problémamegoldások, modellek
RészletesebbenSpeciális szükségletű felhasználók navigációjának vizsgálata különböző multimédiás alkalmazásokban
Speciális szükségletű felhasználók navigációjának vizsgálata különböző multimédiás alkalmazásokban MÁTRAI RITA1, KOSZTYÁN ZSOLT TIBOR2, SIKNÉ DR. LÁNYI CECÍLIA3 1,3 Veszprémi Egyetem, Képfeldolgozás és
RészletesebbenMAGIC PARTY-BOX. Asztaldekoráció. 1. Dekorációs kavics. 5000 Szolnok, Abonyi u. 1/E. Telefon: 56/513-356 magic@magicpartybox.hu; www.magicpartybox.
1. Dekorációs kavics MAGIC PARTY-BOX Asztaldekoráció Kristály hatású Dekorációs kavics -50 db-os Mérete: 2,5 cm x 1,5 cm x 1,5 cm Anyaga: műanyag Áttetsző oac25-099 oac25-081 oac25-007 Levendula oac25-004
RészletesebbenEmelt szintű feladatok
Emelt szintű feladatok 1. Bizonyítsa be, hogy (qr) = (q) (r)! 2. Van 5 ház, s mindegyiknek a színe különböző. Mindegyik házban különböző nemzetiségű személy lakik. Mindegyik lakó egy bizonyos italt részesít
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észletesebben