Kompozicionální povaha českého aspektu dvojitá prefixace
|
|
- Františka Pešková
- před 8 lety
- Počet zobrazení:
Transkript
1 Gramatika & korpus 2, Liblice u Prahy, Kompozicionální povaha českého aspektu dvojitá prefixace Markéta Ziková (zikova@phil.muni.cz) & Mojmír Dočekal (docekal@phil.muni.cz) ÚČJ FF MU & ÚOJB FF MU Data (SYN2005) Dvojice prostorových prefixů s opačným významem: od-, vy- (zdrojové prefixy) vs. do-, při- (cílové prefixy) korelace s PP PP denotuje začátek/konec trajektorie, na níž se pohybuje objekt (1) a. Vy-/od-nesl židli ze třídy. b. Pes do-/při-běhl k boudě/do boudy. Prefix po- má (mj. jiné) měrovou fci (typicky se objevuje s adv. trochu/trošku) (2) Měla bych tady trochu po-klidit. Měrové po- se kombinuje jen se zdrojovými prefixy: po-od-, po-vy- vs. *po-do-, *po-při- (3) a. po-od-: poodejít, poodcválat, poodjet, poodletět, poodlétnout, poodložit, poodlézt, poodplout, poodsednout, poodskočit, poodstoupit, poodstrčit, poodsunout, poodtáhnout, poodvést, poodvrátit, poodvalit b. po-vy-: povyběhnout, povyhrnout, povyjet, povykročit, povylézt, povynést, povypláznout, povyrůst, povyskočit, povystoupit, povystrčit, povysunout, povytáhnout c. po-při-: žádný doklad, po-do-: jen po-do-tknout (idiom) Problém Proč jen některé prostorové prefixy mohou být modifikovány měrovým po-? Cíl: ukázat, že omezení pro verba se strukturou po- + prostorový prefix souvisí se sémantikou aspektu. Argumenty pro to, že aspekt (tj. rozdíl ohraničenost/neohraničenost) nemají jen verba, ale také předložky (PP) a jména (NP). Aspektuální vlastnosti vět jsou kompozicionální jsou kompozicí aspektuálních vlastností částí jejich struktury. 1
2 GSTA (Filip(ová) 2003) Filip(ová) (2003, def. (29)): Goal-Source telicity asymmetry (GSTA) The spatial orientation of directional modifiers determines the telicity status of derived predicates. Source-modifiers form atelic (homogeneous) predicates. Goal-modifiers form telic predicates. Filip(ová) (2003, def. (27)): For verbal predicates, the domain of application of extensive measure functions is restricted to atelic (homogeneous) predicates. Their outputs are telic predicates. (4) a. Od-skočil (metr) od okna. b. Při-skočil (??metr) k oknu. (při čtení délka skoku = metr) (5) a. Vy-táhl káru z příkopu. b. Po-vy-táhl káru z příkopu. (6) a. Do-táhl káru do příkopu. b. *Po-do-táhl káru do příkopu. Teličnost/ateličnost predikce GSTA Test teličnosti/ateličnosti - časová adverbia prosté akuzativy (hodinu, minutu, chvíli...) modifikují atelické události PP (za + hodinu, minutu, chvíli ) modifikují telické události Predikce GSTA: struktury od/vy+ pohyb by měly být atelické hodinu modifikace struktury při/do+ pohyb by měly být telické za hodinu modifikace Problém: zdrojové prefixy se mohou kombinovat s cílovými PP, cílové prefixy se zdrojovými PP (data ze SYN2005) (7) a. Každý obyvatel francouzské metropole musí dojít do zeleně za 5 minut/*5 minut. b. Z blízké Ibizy se dá dojet za půl hodiny/*půlhodinu rychlou lodí. (7-a): cílový prefix + cílová PP + telická PP, (7-b): cílový prefix + zdrojová PP + telická PP (8) a. Celé dny/*za celé dny cosi vypisoval z tlustých foliantů. b. Od plážového lehátka člověk za chvilku/*chvilku vyjede na nejvyšší horu Chorvatska. (8-a): zdrojový prefix + zdrojová PP + atelická PP, (8-b): zdrojový prefix + cílová PP + 2
3 telická PP (8-b) ukazuje, že i věty, kde jsou verba se zdrojovými prefixy, mohou být (slovy Filip(ové)) telické GSTA je antiintuitivní: oba typy modifikátorů, zdrojové i cílové, jsou telické, ale každý jinak: rozdíl mezi ohraničeností trajektorie na jejím začátku a na jejím konci trajektorie může být ohraničena i na obou koncích viz (8-b), kde se kombinuje zdrojový prefix a cílová PP Kompozicionalita aspektu Zwarts (2005): PP stejně jako verba jsou telické (nekumulativní) nebo netelické (kumulativní) netelické PP: jsou kumulativní, sřetězíme-li jejich vektory; Zwarts definuje kumulativitu PP takto: (9) -- p a q jsou proměnné typu cesta/vektor, + je operace sřetězení taková, že q začíná tam, kde p končí; anglická data potvrzující (9) jsou v (10): (10-b) je atelická věta, protože toward/along jsou atelické PP (sřetězení dvou vektorů, které jsou denotovány P toward/along, spadá pod jejich denotaci): atelická událost je modifikována časovým adv. for ten minutes (v č. prostý Acc) (10-a) je telická věta: telická událost je modifikována časovým adv. in ten minutes (v č. PP); každá událost popsaná slovesy v příkladech (9) je homomorfně mapována na vektory denotované PP; (9) A set of paths X is cumulative iff i. there are p, q X, such that p+q exists and ii. for all p, q X, if p+q exists, then p+q X; (10) a. Alex walked onto the platform/out of the hotel in/*for ten minutes. telic b. Alex drove toward the mountains/along the river *in/for a day. atelic mereologie: představme si tři individua x,y a z -- extenzionální mereologická struktura, která vznikne z těchto tří individuí, může být zobrazena například jako Hasseův diagram (viz Krifka (1989:230)) -- nejnižší body x, y a z zastupují zmíněná individua (mohou to být výrazy, ke kterým referují počitatelné NP jako je Petr, Praha, toto auto) -- přímky, které spojují body x, y a z s horními body, ukazují, že spodní body jsou částmi horních bodů, takže suma x y má jako své části individua x a y; 3
4 (11) věta Petr pil víno popisuje událost, ve které je každá část objektu (víno) mapována na událost (pití vína) a zároveň je každá část události mapována na část objektu. Názorně je to vidět na Krifkově (2001: příklad 20) schématu: (12) slovanské jazyky by měly zachovávat všechny vlastnosti referenčního přenosu, jen tak činí v opačném směru než germánské jazyky ze slovesa na objektovou NP; (13) a. Ivan vypil P čaj za hodinu. b. Ivan pil I čaj hodinu. (14) a. Ivan snědl P jablka za hodinu. b. Ivan jedl I jablka hodinu. věty s perfektivními slovesy v příkladech popisují události tak, že byla pita/jedena jistá specifická kvantita čaje/jablek (v doméně diskurzu), a dále, že se skončením dané události (která je popsána jako telická) byla tato specifická kvantita touto událostí (konzumací) zcela vyčerpána; obdobně to funguje u sloves pohybu a prostorových PP; telicita zdrojových a cílových modifikátorů je demonstrována v příkladech (15) a (16) -- zdrojový modifikátor (z) a cílový modifikátor (do) vykazují telické chování na rozdíl od P kolem/podél: (15) Petr jezdil podél/kolem řeky hodinu/*za hodinu. 4
5 (16) Petr jezdil do/z Prahy hodinu/za hodinu. (17) Jezdit do práce hodinu je hrozná představa. tvrzení: česká indeterminovaná slovesa dovolují přenos mereologických vlastností z PP na na VP; předpoklad: tato slovesa nemají gramatikalizovaný aspekt, protože rozdíl determinovanost/nedeterminovanost je ortogonální k rozdílu perfektivnost/imperfektivnost; proto jsou tato slovesa dobrým testem pro verifikaci GSTA; Determinovaná a nedeterminovaná slovesa pohybu Dvojice determinovaných/nedeterminovaných sloves pohybu (podle MČ2): (18) determinované V nedeterminované V jít det chodit indet běžet det běhat indet letět det létat indet nést det nosit indet vést det vodit indet vézt det vozit indet jet det valit det jezdit indet válet indet i když jsou det. i indet. varianty většinou klasifikovány jako imperfektiva, determinovaná slovesa se do určité míry chovají jako perfektivní slovesa a nedeterminovaná slovesa jako imperfektiva; determinovaná slovesa nelze použít jako komplementy fázových sloves a v negativních imperativech musí být nahrazena nedeterminovanými slovesy; (19) a. Petr bude/začne/přestane *jít det /*letět det /*jet det do Prahy. b. Petr bude/začne/přestane chodit indet /létat indet /jezdit indet do Prahy. (20) a. Leť det tam!/*neleť det tam!/nelétej indet tam!. b. Jeď det tam!/*nejeď indet tam!/nejezdi indet tam! Piñon (1993): (21) (events to paths) e e' p[ LocP( e, ( e)) = p e' e p' [ p' p Locp( e', ( e' ) = p' ]] (22) (initial path to event) p p' e[ Locp( e, ( e)) = p p' p e' [ e' e Locp( e', ( e' ) = p' ]] 5
6 ( e) je temporální stopa události e (Krifka 1989) a Loc p je mapování z událostí a jejich časových stop na vektory; PP do lesa referuje k nedefinitní cestě (jeden z vektorů, které vedou do lesa), takže vektorová proměnná je existenčně kvantifikovaná: (23) [[do lesa]] = Q e p[ Q( e) to-the- wood' ( p)] (24) Petr běžel do lesa. událostní analýza časových frází: za hodinu měří rozpětí mezi dvěma událostmi: (25) Petr přečetl knihu za dvě hodiny. nedeterminovaná slovesa jsou tvořena z atomů determinovaných sloves jejich mereologie je komplexní, takže fráze za hodinu měří rozpětí mezi dvěma atomy v jejich mereologii: (26) Petr běhal indet do knihovny za dvě hodiny. (27) Petr běhal indet do knihovny dvě hodiny. na určité úrovni jsou nedeterminovaná slovesa atomická a dovolují za hodinu modifikaci, ale na vyšší úrovni struktury jsou komplexní a dovolují hodinu modifikaci; determinovaná sloves se zdrojovými/cílovými PP jsou gramatická s hodinu / za hodinu modifikátorem: hodinu modifikace se týká atomického procesu, za hodinu se týká rozpětí mezi dvěma atomickými procesy; determinovaná slovesa s atelickými PP nedovolují modifikaci pomocí modifikátoru za hodinu ; (28) Petr běžel det z/do knihovny hodinu/za hodinu. (29) Petr běžel det podél/kolem knihovny hodinu/*za hodinu. Omezení měrových frází teorie: vektorová sémantika pro prostorové P; Zwarts (2005), Winter & Zwarts (2000), Gehrke(ová) (2005); měrová fráze musí být upward a downward monotonní: (30) Modification Condition: A set of located vectors W V x V satisfies the modification condition iff W is VMON, VMON and non-empty. Winter & Zwarts (2000) modifikace pomocí měrových frází je možná jen tehdy, je-li výsledek modifikace neprázdný a je-li daný vektor upward i downward monotonní; relevantní definice monotonicity (u a v jsou proměnné běžící přes vektory): (31) vector monotonicity: Let P be a prepositional function and X D pt. a. P is upward vector-monotone over x (VMON ) iff 6
7 A X u, v D v [u v (P(A)(u) P(A)(v))]. b. P is downward vector-monotone over x (VMON ) iff A X u, v Dv [u v (P(A)(v) P(A)(u))]. intuice: zachování pravdivosti, když se lokalizovaný objekt dostane dále (VMON ) nebo blíže (VMON ) k referenčnímu objektu; Winter & Zwarts (2000) tvrdí následující generalizaci: (32) Universal: All simple locative prepositions in natural language are downward monotone. takže se stačí soustředit na VMON ; příklady od Wintera a Zwartse: (33) VMON : in front of, behind; above, over, below, under; beside; outside not VMON : near, on, at; inside, in; between nutný předpoklad: všechny dynamické P, jsou-li ohraničené, mají na své hranici sémantiku prosté lokace viz Zwarts (2005) a další, kde je předložena sémantická motivace pro budování direkcionálních P jako dalšího patra lokačních P v syntaktické struktuře; proto je generalizace v (32) použitelná i pro dynamické P; např. mimo je VMON : je-li vektor, který končí v bodě x, denotován P mimo, pak jakékoliv prodloužení tohoto vektoru je také MON ; pro uvnitř to neplatí, protože některé prodloužení vektorů, které spadají pod P uvnitř, není VMON ; Shrnutí zopakování dat: (34) a. po-od-: poodejít, poodcválat, poodjet, poodletět, b. po-vy-: povyběhnout, povyhrnout, povyjet, povykročit, c. po-při-: žádný doklad, po-do-: jen po-do-tknout (idiom) po-od-jet, po-vy-běh-nout: každé prodloužení vektoru zdrojového vektoru spadá pod zdrojový vektor (srov. sémantika u (místo') platí pro jakékoliv rozšíření regionu kolem referenčního bodu) zdrojové prefixy od- a vy- jsou VMON, a proto mohou být modifikovány měrovým po- *po-do-jet, *po-při-běh-nout: cílový vektor je založen na sémantice u(místo'), což není VMON, ale VMON produktivní morfologie českých sloves dodržuje sémantická omezení, která plynou z formálního popisu teličnosti/ateličnosti jdoucího skrze syntaktické kategorie; to se samozřejmě projevuje i v korpusu: přítomností předpovězených dat a absencí dat, která odporují předloženým generalizacím; 7
8 Bibliografie Filip, Hana Prefixes and the delimitation of events. Journal of Slavic Linguistics 11.1, Gehrke, Berit The prepositional aspect of Slavic prefixes and the goal-source asymmetry. Ms.Universiteit Utrecht. Krifka, Manfred Nominal reference, temporal constitution and quantification in event semantics. In Semantics and Contextual Expressions, edited by R. Bartsch, J. van Benthem, & P. van Emde-Boas, Foris, Dordrecht. Krifka, Manfred Thematic relations as links between nominal reference and temporal constitution. In Lexical Matters, I. Sag & A. Szabolcsi (eds.), Stanford: CSLI. Krifka, Manfred The origins of telicity. In Events and Grammar, Susan Rothstein (ed.), Dordrecht: Kluwer. Piñon, Christopher Paths and their names. In Papers from the 29th Regional Meeting of the Chicago Linguistic Society, K. Beals & G. Cooke & D. Kathman & K. McCullgouh & D. Testen (eds.), Chicago: CLS. Zwarts, Joost & Winter, Yoad Vector space semantics: a model-theoretic analysis of locative prepositions. Journal of Logic, Language and Information, 9: Zwarts, Joost Prepositional Aspect and the Algebra of Paths. Linguistics and Philosophy. In press. 8
MEREOLOGIE ČESKÉHO ASPEKTU A DIREKCIONÁLNÍ PŘEDLOŽKY
SBORNÍK PRACÍ FILOZOFICKÉ FAKULTY BRNĚNSKÉ UNIVERZITY STUDIA MINORA FACULTATIS PHILOSOPHICAE UNIVERSITATIS BRUNENSIS A 55, 2007 LINGUISTICA BRUNENSIA MOJMÍR DOČEKAL MEREOLOGIE ČESKÉHO ASPEKTU A DIREKCIONÁLNÍ
Modifikace: atributivní použití adjektiv, druhy adjektiv,
: atributivní použití adjektiv, druhy adjektiv, adverbia jako modifikátory událostí/predikáty vyššího řádu FF MU Mojmír Dočekal ÚJABL Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik
Typy predikátů: slovesa, predikativní jména, adjektiva, tranzitivní slovesa, relativní 1 věty / 10
: slovesa, predikativní jména, adjektiva, tranzitivní slovesa, relativní věty FF MU Mojmír Dočekal ÚJABL Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia
Plurály, látková jména, reference k druhům, základy formalizace: polosvazy, množiny 1 / 12
Plurály, látková jména, reference k druhům, základy formalizace: polosvazy, množiny FF MU Mojmír Dočekal ÚJABL Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová
Zobecněné kvantifikátory, empirické argumenty pro unifikovanou sémantiku NP, negativně 1 / 20 p
Zobecněné kvantifikátory, empirické argumenty pro unifikovanou sémantiku NP, negativně polaritní výrazy FF MU Mojmír Dočekal ÚJABL Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik
vztahy, konverzační implikatury, presupozice
: sémantika, formální sémantika, významové vztahy, konverzační implikatury, presupozice FF MU Mojmír Dočekal ÚJABL Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová
18.VY_32_INOVACE_AJ_UMB18, Frázová slovesa.notebook. September 09, 2013
1 (Click on the text to move to the section) Worksheet Methodology Sources 2 Decide which words are considered prepositions (předložky) and which are particles (částice) Source: SWAN, Michael a Catharine
Sublexikální sémantika: události, sémantické role; formalizace: množiny a funkce, lambda 1 / 12 a
Sublexikální sémantika: události, sémantické role; formalizace: množiny a funkce, lambda abstrakce FF MU Mojmír Dočekal ÚJABL Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik
Logický důsledek. Petr Kuchyňka (7765@mail.muni.cz)
Logický důsledek Petr Kuchyňka (7765@mail.muni.cz) Úvod P 1 Logický důsledek je hlavním předmětem zájmu logiky. Je to relace mezi premisami a závěry logicky platných úsudků: v logicky platném úsudku závěr
A Contrastive Study of Aspectual Means of Expression in Czech and German Narrative Texts
FILOZOFICKÁ FAKULTA UNIVERZITY KARLOVY V PRAZE Ústav českého jazyka a teorie komunikace Bakalářská práce Radka Žáková Kontrastivní studium vyjadřování vidu v českých a německých narativních textech A Contrastive
Unární je také spojka negace. pro je operace binární - příkladem může být funkce se signaturou. Binární je velká většina logických spojek
Otázka 06 - Y01MLO Zadání Predikátová logika, formule predikátové logiky, sentence, interpretace jazyka predikátové logiky, splnitelné sentence, tautologie, kontradikce, tautologicky ekvivalentní formule.
Výroková a predikátová logika - IV
Výroková a predikátová logika - IV Petr Gregor KTIML MFF UK ZS 2018/2019 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - IV ZS 2018/2019 1 / 17 Tablo metoda Tablo Tablo - příklady F (((p q)
1 Substantiva. 2 Adjektiva. Obsah. Lekce Obsah Cvičení
Obsah Úvod. Substantiva. Adjektiva. Personalia, posesiva. Demonstrativa. Interogativa, relativa 0. Indefinita, negativa. Numeralia 0. Verba prézentní tvary. Verba préteritum 0. Verba aspekt. Verba futurum.
Obsah přednášky. programovacího jazyka. Motivace. Princip denotační sémantiky Sémantické funkce Výrazy Příkazy Vstup a výstup Kontinuace Program
Denotační sémantika programovacího jazyka doc. Dr. Ing. Miroslav Beneš katedra informatiky, A-1007 59 732 4213 Obsah přednášky Princip denotační sémantiky Sémantické funkce Výrazy Příkazy Vstup a výstup
PSANÍ. M e t o d i c k é p o z n á m k y k z á k l a d o v é m u t e x t u :
PSANÍ Jazyk Úroveň Autor Kód materiálu Anglický jazyk 9. třída Mgr. Martin Zicháček aj9-kap-zic-psa-15 Z á k l a d o v ý t e x t : Flat to rent BBW Real Estate Agency offers for rent three bedroom flat
On the Structure of Constituent Negation in Czech
On the Structure of Constituent Negation in Czech Kateřina Veselovská veselovska@ufal.mff.cuni.cz Institute of Formal and Applied Linguistics Faculty of Mathematics and Physics Charles University in Prague
Inteligentní systémy (TIL) Marie Duží
Inteligentní systémy (TIL) Marie Duží http://www.cs.vsb.cz/duzi/ /d Přednáška 3 Sémantické schéma Výraz vyjadřuje označuje Význam (konstrukce konstrukce) k ) konstruuje denotát Ontologie TIL: rozvětvená
ANGLIČTINA ODPOLEDNÍ 111, 113 (minulý semestr 111, 113) Angličtina velmi mírně pokročilí (3. semestry) Výukové materiály Předpokládaný rozsah učiva:
ANGLIČTINA ODPOLEDNÍ 111, 113 (minulý semestr 111, 113) Angličtina velmi mírně pokročilí (3. semestry) Předpokládaný rozsah učiva: 8. 12. lekce Gramatika: bude probráno základní použití následujících gramatických
Logika a formální sémantika: 8. Game-theoretical semantics
Logika a formální sémantika: 8. Game-theoretical semantics Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (reg. č. CZ.1.07/2.2.00/28.0216, OPVK) doc.
Sémantická interpretace
Vysoké učení technické v Brně Fakulta informačních technologií Sémantická interpretace Moderní teoretická informatika Semestrální projekt Autor: Zdeněk Martínek Školitel: RNDr. Jitka Kreslíková, CSc. 19.
Matematická logika. Lekce 1: Motivace a seznámení s klasickou výrokovou logikou. Petr Cintula. Ústav informatiky Akademie věd České republiky
Matematická logika Lekce 1: Motivace a seznámení s klasickou výrokovou logikou Petr Cintula Ústav informatiky Akademie věd České republiky www.cs.cas.cz/cintula/mal Petr Cintula (ÚI AV ČR) Matematická
Negace a skopus kvantifikátorů
Negace a skopus kvantifikátorů Mojmír Dočekal Hana Strachoňová Masarykova univerzita, Brno docekal@phil.muni.cz hana.strachonova@gmail.com ABSTRACT: We describe the reasons why the negative sentences with
PSANÍ. M e t o d i c k é p o z n á m k y k z á k l a d o v é m u t e x t u :
PSANÍ Jazyk Úroveň Autor Kód materiálu Anglický jazyk 5. třída Mgr. Milena Kašová aj5-mas-kas-psa-08 Z á k l a d o v ý t e x t : M e t o d i c k é p o z n á m k y k z á k l a d o v é m u t e x t u : Tematická
Výroková a predikátová logika - III
Výroková a predikátová logika - III Petr Gregor KTIML MFF UK ZS 2014/2015 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - III ZS 2014/2015 1 / 21 Výroková logika Horn-SAT Horn-SAT Jednotková
Tato zvláštní schopnost je navíc spojena výhradně s otázkami, nebudeme se tedy zabývat jinými strukturami:
Co dokáže co: interakce vidu a příčinných otázkových slov v češtině Radek Šimík // University of Groningen // r.simik@rug.nl 1 Úvod Kauzální tázací slova mají zvláštní schopnost, (1) a. Proč jsi včera
Logika a logické programování
Logika a logické programování témata ke zkoušce Poslední aktualizace: 16. prosince 2009 Zkouška je písemná, skládá se obvykle ze sedmi otázek (může být více nebo méně, podle náročnosti otázek), z toho
Predikátová logika. prvního řádu
Predikátová logika prvního řádu 2 Predikát Predikát je n-ární relace - vyjadřuje vlastnosti objektů a vztahy mezi objekty - z jednoduchého výroku vznikne vypuštěním alespoň jednoho jména objektu (individua)
PSANÍ. Anglický jazyk 5. třída Hana Stryalová
PSANÍ Jazyk Úroveň Autor Kód materiálu Anglický jazyk 5. třída Hana Stryalová Aj5-kap-str-psa-06 Z á k l a d o v ý t e x t : Dear Jessica! I am in Spain now. I am here with a Spanish girl. Her name is
Sylogistika. (FLÚ AV ČR) Logika: CZ.1.07/2.2.00/ / 16
(FLÚ AV ČR) Logika: CZ.1.07/2.2.00/28.0216 2013 1 / 16 Výstavba logické teorie Sylogistika 1) Syntax základní symboly (logické, mimologické) gramatická pravidla (pojem formule) 2) Sémantika pojem interpretace
Úvod do logiky (PL): analýza vět přirozeného jazyka
Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (reg. č. CZ.1.07/2.2.00/28.0216, OPVK) Úvod do logiky (PL): analýza vět přirozeného jazyka doc. PhDr.
Kompozicionalita: jm na a reference, logick typy, rule-to-rule vs. interpretativn s mantika 1 / 14
Д1Х3Kompozicionalita: jm na a reference, logick typy, rule-to-rule vs. interpretativn s mantika FF MU Mojm r DoБ0Н0ekal Б0Й3JABL Logika: syst movб0л5 r Ґmec rozvoje oboru v Б0М9R a koncepce logickб0л5ch
PSANÍ. My room is a mess. Anglický jazyk. Hana Vavřenová
PSNÍ Jazyk Úroveň utor Kód materiálu nglický jazyk 5. třída Hana Vavřenová aj5-rie-vav-psa-04 Z á k l a d o v ý t e x t : My room is a mess M e t o d i c k é p o z n á m k y k z á k l a d o v é m u t e
obj obl obl:arg nmod advmod
obj obl obl:arg nmod advmod obj iobj obl traditional Cz term přímý předmět nepřímý předmět příslovečné určení předmět s předložkou modifies form predicate (incl. nominal predicate), verbal adjectives noun
Paradigma stavení aneb o foneticky nerealizovaných pádových koncovkách Markéta Ziková (ÚČJ FF, MU)
ÚFAL, MFF UK 25. 2. 2008 Paradigma stavení aneb o foneticky nerealizovaných pádových koncovkách Markéta Ziková (ÚČJ FF, MU) zikova@phil.muni.cz 1. Paradigma stavení vs. ostatní paradigmata Neutrální paradigma
Následná aktivita: překlad vět, varianta A a B, varianta B pro žáky se SPCHU (příloha 3, a 4)
Název školy: ZŠ Brno, Měšťanská 21, Brno-Tuřany Název práce: Drawing dictation Pořadové číslo: III_2-05_01 Předmět: Anglický jazyk Třída: 6. B Téma hodiny: Opakování vazby THERE IS/THERE ARE a předložek
Okruh č.3: Sémantický výklad predikátové logiky
Okruh č.3: Sémantický výklad predikátové logiky Predikátová logika 1.řádu formalizuje úsudky o vlastnostech předmětů a vztazích mezi předměty pevně dané předmětné oblasti (univerza). Nebudeme se zabývat
Budějovice Název materiálu: Reported Speech. Datum (období) vytvoření: Srpen 2013. Autor materiálu: PhDr. Dalibor Vácha PhD. Zařazení materiálu:
Projekt: Příjemce: Budějovice Název materiálu: Digitální učební materiály ve škole, registrační číslo projektu CZ.1.07/1.5.00/34.0527 Střední zdravotnická škola a Vyšší odborná škola zdravotnická, Husova
SYNTAX LS Úvod
SYNTAX LS 2017 Úvod Co očekáváte od předmětu? viz sylabus požadavky Literatura Nový encyklopedický slovník češtiny https://www.czechency.org/ Panevová a kol. (2014) Mluvnice současné češtiny 2. http://www.cupress.cuni.cz/ink2_ext/index.jsp?
Matematika B101MA1, B101MA2
Matematika B101MA1, B101MA2 Zařazení předmětu: povinný předmět 1.ročníku bc studia 2 semestry Rozsah předmětu: prezenční studium 2 + 2 kombinované studium 16 + 0 / semestr Zakončení předmětu: ZS zápočet
Další (neklasické) logiky. Jiří Velebil: AD0B01LGR 2015 Predikátová logika 1/20
Predikátová logika Jiří Velebil: AD0B01LGR 2015 Predikátová logika 1/20 Jazyk predikátové logiky Má dvě sorty: 1 Termy: to jsou objekty, o jejichž vlastnostech chceme hovořit. Mohou být proměnné. 2 Formule:
Větná polarita v češtině. Kateřina Veselovská Žďárek Hořovice,
Větná polarita v češtině Kateřina Veselovská Žďárek Hořovice, 27. 11. 2009 1 Polarita - úvod do problematiky Větná polarita: a) Cíl a motivace b) Charakteristika c) Možnosti výzkumu Větná polarita a vyhledávání
Databázové systémy. * relační kalkuly. Tomáš Skopal. - relační model
Databázové systémy Tomáš Skopal - relační model * relační kalkuly Osnova přednášky relační kalkuly doménový n-ticový Relační kalkuly využití aparátu predikátové logiky 1. řádu pro dotazování rozšíření
Sémantika výrokové logiky. Alena Gollová Výroková logika 1/23
Výroková logika Alena Gollová Výroková logika 1/23 Obsah 1 Formule výrokové logiky 2 Alena Gollová Výroková logika 2/23 Formule výrokové logiky Výrok je oznamovací věta, o jejíž pravdivosti lze rozhodnout.
ADVERBS M/01 Informační technologie Vzdělávací oblast (RVP) Jazykové vzdělávání Vzdělávací obor (název ŠVP)
ADVERBS Adverbs VY_32_INOVACE_03_01_01 Obsahem tématu je základní princip tvoření příslovcí, jejich rozpoznání a použítí ve větách Come and go Come and go VY_32_INOVACE_03_01_02 Obsahem tématu je základní
Konstrukce relace. Postupně konstruujeme na množině všech stavů Q relace i,
[161014-1204 ] 11 2.1.35 Konstrukce relace. Postupně konstruujeme na množině všech stavů Q relace i, kde i = 0, 1,..., takto: p 0 q právě tehdy, když bud p, q F nebo p, q F. Dokud i+1 i konstruujeme p
Výroková logika syntaxe a sémantika
syntaxe a sémantika Jiří Velebil: AD0B01LGR 2015 Handout 01: & sémantika VL 1/16 1 Proč formální jazyk? 1 Přirozené jazyky jsou složité a často nejednoznačné. 2 Komunikace s formálními nástroji musí být
Predikátová logika dokončení
Predikátová logika dokončení Jiří Velebil: X01DML 1. října 2010: Predikátová logika dokončení 1/18 Syntaktická analýza Jako ve výrokové logice (syntaktické stromy). Každý list úspěšného stromu je obsazen
Unbounded Model Checking
Unbounded Model Checking Stefan Ratschan Katedra číslicového návrhu Fakulta informačních technologíı České vysoké učení technické v Praze 25. října 2011 Evropský sociální fond Praha & EU: Investujeme do
Problém identity instancí asociačních tříd
Problém identity instancí asociačních tříd Autor RNDr. Ilja Kraval Ve školeních a také následně po jejich ukončení se stále častěji objevují dotazy, které se týkají tzv. identity instancí asociační třídy.
Primární a sekundární výskyt označující fráze. Martina Juříková Katedra filozofie, FF UP v Olomouci Bertrand Russell, 17. - 18. 5.
Primární a sekundární výskyt označující fráze Martina Juříková Katedra filozofie, FF UP v Olomouci Bertrand Russell, 17. - 18. 5. 2012 Russellovo rozlišení jména a popisu Označující fráze Primární a sekundární
Metody analýzy modelů. Radek Pelánek
Metody analýzy modelů Radek Pelánek Fáze modelování 1 Formulace problému 2 Základní návrh modelu 3 Budování modelu 4 Verifikace a validace 5 Simulace a analýza 6 Sumarizace výsledků Simulace a analýza
Základy matematiky pro FEK
Základy matematiky pro FEK 4. přednáška Blanka Šedivá KMA zimní semestr 2016/2017 Blanka Šedivá (KMA) Základy matematiky pro FEK zimní semestr 2016/2017 1 / 27 Množiny Zavedení pojmu množina je velice
Klasická predikátová logika
Klasická predikátová logika Matematická logika, LS 2012/13, závěrečná přednáška Libor Běhounek www.cs.cas.cz/behounek/teaching/malog12 PřF OU, 6. 5. 2013 Symboly klasické predikátové logiky Poznámky Motivace
Matematická logika. Rostislav Horčík. horcik
Matematická logika Rostislav Horčík horcik@math.feld.cvut.cz horcik@cs.cas.cz www.cs.cas.cz/ horcik Rostislav Horčík (ČVUT FEL) Y01MLO Letní semestr 2007/2008 1 / 20 Predikátová logika Motivace Výroková
Matematická logika. Miroslav Kolařík
Matematická logika přednáška šestá Miroslav Kolařík Zpracováno dle textu R. Bělohlávka: Matematická logika poznámky k přednáškám, 2004. a dle učebního textu R. Bělohlávka a V. Vychodila: Diskrétní matematika
Logika. 6. Axiomatický systém výrokové logiky
Logika 6. Axiomatický systém výrokové logiky RNDr. Luděk Cienciala, Ph. D. Tato inovace předmětu Úvod do logiky je spolufinancována Evropským sociálním fondem a Státním rozpočtem ČR, projekt č. CZ. 1.07/2.2.00/28.0216,
Výroková a predikátová logika - VI
Výroková a predikátová logika - VI Petr Gregor KTIML MFF UK ZS 2017/2018 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - VI ZS 2017/2018 1 / 24 Predikátová logika Úvod Predikátová logika Zabývá
Monotematické číslo / Special Issue. Čeština za zrcadlem formální gramatiky Czech Through the Looking Glass of Formal Grammar
Monotematické číslo / Special Issue Čeština za zrcadlem formální gramatiky Czech Through the Looking Glass of Formal Grammar Hostující editoři / Guest Editors: Mojmír Dočekal Markéta Ziková SLOVO A SLOVESNOST
Negativní informace. Petr Štěpánek. S použitím materiálu M.Gelfonda a V. Lifschitze. Logické programování 15 1
Negativní informace Petr Štěpánek S použitím materiálu M.Gelfonda a V. Lifschitze 2009 Logické programování 15 1 Negace jako neúspěch Motivace: Tvrzení p (atomická formule) neplatí, jestliže nelze odvodit
platné nejsou Sokrates je smrtelný. (r) 1/??
Predikátová logika plně přejímá výsledky výrokové logiky zabývá se navíc strukturou jednotlivých jednoduchých výroků na základě této analýzy lze odvodit platnost některých výroků, které ve výrokové logice
Euklidovský prostor. Funkce dvou proměnných: základní pojmy, limita a spojitost.
Euklidovský prostor. Funkce dvou proměnných: základní pojmy, limita a spojitost. Vyšší matematika, Inženýrská matematika LDF MENDELU Podpořeno projektem Průřezová inovace studijních programů Lesnické a
Vlastnosti regulárních jazyků
Vlastnosti regulárních jazyků Podobně jako u dalších tříd jazyků budeme nyní zkoumat následující vlastnosti regulárních jazyků: vlastnosti strukturální, vlastnosti uzávěrové a rozhodnutelné problémy pro
přednáška 2 Marie Duží
Logika v praxi přednáška 2 Marie Duží marie.duzi@vsb.cz 1 1 Výroková logika Analyzuje způsoby skládání jednoduchých výroků do výroků složených pomocí logických spojek. Co je to výrok? Výrok je tvrzení,
Výroková a predikátová logika - III
Výroková a predikátová logika - III Petr Gregor KTIML MFF UK ZS 2017/2018 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - III ZS 2017/2018 1 / 16 2-SAT 2-SAT Výrok je v k-cnf, je-li v CNF a
Funkce a základní pojmy popisující jejich chování
a základní pojmy ující jejich chování Pro zobrazení z reálných čísel do reálných čísel se používá termín reálná funkce reálné proměnné. 511 f bude v této části znamenat zobrazení nějaké neprázdné podmnožiny
Formální sémantika SQL dotazování
Formální sémantika SQL dotazování Elina Hazaran Zuzana Vytisková 6.11. 2012 podle M. Negri, G. Pelagatti, L. Sbattela, 1991 Základní pojmy Formální logický model Pravidla pro překlad SQL dotazů do tohoto
Hilbertovský axiomatický systém
Hilbertovský axiomatický systém Predikátová logika H 1 Šárka Vavrečková Ústav informatiky, FPF SU Opava Poslední aktualizace: 24. října 2008 Specifikace H 1 Jazyk L H1 přejímáme jazyk predikátové logiky
FÁZOVÉ PERIFRÁZE V PORTUGALŠTINĚ
FÁZOVÉ PERIFRÁZE V PORTUGALŠTINĚ Jaroslava Jindrová Univerzita Karlova v Praze, Filozofická fakulta Vedoucí práce: Prof. PhDr. Bohumil Zavadil, CSc Oponenti: Mgr.Iva Svobodová, PhD. Prof. PhDr. Jiří Černý,
PSANÍ. M e t o d i c k é p o z n á m k y k z á k l a d o v é m u t e x t u :
PSANÍ Jazyk Úroveň Autor Kód materiálu Anglický jazyk 5. třída Hana Vavřenová aj5-rie-vav-psa-15 Z á k l a d o v ý t e x t : M e t o d i c k é p o z n á m k y k z á k l a d o v é m u t e x t u : Tematická
RECENZE A REFERÁTY 247
RECENZE A REFERÁTY 247 ohledu na území českého národního jazyka, z nějž text pochází, v podstatě stejná (zhruba v rozmezí 2,5-3 slabiky; stranou byly ponechány pouze texty z lašské nářeční oblasti, které
ACOUSTIC EMISSION SIGNAL USED FOR EVALUATION OF FAILURES FROM SCRATCH INDENTATION
AKUSTICKÁ EMISE VYUŽÍVANÁ PŘI HODNOCENÍ PORUŠENÍ Z VRYPOVÉ INDENTACE ACOUSTIC EMISSION SIGNAL USED FOR EVALUATION OF FAILURES FROM SCRATCH INDENTATION Petr Jiřík, Ivo Štěpánek Západočeská univerzita v
Angličtina hravě - první stupeň
INV E S T I C E D O R O Z V O J E V Z D Ě L Á V Á N Í Tento projekt je spolufinancován Evropským sociálním fondem a státním rozpočtem České republiky Projekt: Registrační číslo projektu: Každý máme šanci
Formální systém výrokové logiky
Formální systém výrokové logiky 1.Jazyk výrokové logiky Nechť P = {p,q,r, } je neprázdná množina symbolů, které nazýváme prvotní formule. Symboly jazyka L P výrokové logiky jsou : a) prvky množiny P, b)
CZ.1.07/1.5.00/ Zefektivnění výuky prostřednictvím ICT technologií III/2 - Inovace a zkvalitnění výuky prostřednictvím ICT
Autor: Sylva Máčalová Tematický celek : Gramatika Cílová skupina : začátečník mírně pokročilý Anotace Materiál má podobu pracovního listu, který obsahuje 6 různých cvičení včetně krátkého překladu, pomocí
Ústav českého jazyka. Postnominální druhová adjektiva v češtině
Masarykova univerzita Filozofická fakulta Ústav českého jazyka Studijní obor: Český jazyk a literatura Iveta Šafratová Postnominální druhová adjektiva v češtině Bakalářská diplomová práce Vedoucí práce:
Modely Herbrandovské interpretace
Modely Herbrandovské interpretace Petr Štěpánek S využitím materialu Krysztofa R. Apta 2006 Logické programování 8 1 Uvedli jsme termové interpretace a termové modely pro logické programy a také nejmenší
Drsná matematika III 1. přednáška Funkce více proměnných: křivky, směrové derivace, diferenciál
Drsná matematika III 1. přednáška Funkce více proměnných: křivky, směrové derivace, diferenciál Jan Slovák Masarykova univerzita Fakulta informatiky 16. 9. 2008 Obsah přednášky 1 Literatura 2 Funkce a
Deskripční logika. Petr Křemen FEL ČVUT. Petr Křemen (FEL ČVUT) Deskripční logika 37 / 157
Deskripční logika Petr Křemen FEL ČVUT Petr Křemen (FEL ČVUT) Deskripční logika 37 / 157 Co nás čeká 1 Základy deskripční logiky 2 Jazyk ALC Syntax a sémantika 3 Cyklické a acyklické TBOXy Petr Křemen
Logické programy Deklarativní interpretace
Logické programy Deklarativní interpretace Petr Štěpánek S využitím materialu Krysztofa R. Apta 2006 Logické programování 7 1 Algebry. (Interpretace termů) Algebra J pro jazyk termů L obsahuje Neprázdnou
Výroková a predikátová logika - VII
Výroková a predikátová logika - VII Petr Gregor KTIML MFF UK ZS 2013/2014 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - VII ZS 2013/2014 1 / 21 Sémantika PL Teorie Vlastnosti teorií Teorie
PSANÍ. M e t o d i c k é p o z n á m k y k z á k l a d o v é m u t e x t u :
PSANÍ Jazyk Úroveň Autor Kód materiálu Anglický jazyk 9. třída Jitka Bärtlová aj9-doc-bar-psa-02 A letter from holiday My dearest Peter, I am finally here, in Reading. As I have told you, I am going to
POSLECH. Mona has got her eleventh birthady on Sathurday, she she is planning a big party for her friends. She met her friend John.
POSLECH Jazyk Úroveň Autor Kód materiálu Anglický jazyk 5. třída Hana Vavřenová aj5-rie-vav-pos-14 Z á k l a d o v ý t e x t : Mona has got her eleventh birthady on Sathurday, she she is planning a big
Bakalářská matematika I
1. Funkce Diferenciální počet Mgr. Jaroslav Drobek, Ph. D. Katedra matematiky a deskriptivní geometrie Bakalářská matematika I Některé užitečné pojmy Kartézský součin podrobnosti Definice 1.1 Nechť A,
IV. Základní pojmy matematické analýzy IV.1. Rozšíření množiny reálných čísel
Matematická analýza IV. Základní pojmy matematické analýzy IV.1. Rozšíření množiny reálných čísel na množině R je definováno: velikost (absolutní hodnota), uspořádání, aritmetické operace; znázornění:
teorie logických spojek chápaných jako pravdivostní funkce
Výroková logika teorie logických spojek chápaných jako pravdivostní funkce zabývá se způsoby tvoření výroků pomocí spojek a vztahy mezi pravdivostí různých výroků používá specifický jazyk složený z výrokových
Rezoluce ve výrokové logice
Rezoluce ve výrokové logice Jiří Velebil: AD0B01LGR 2015 Rezoluce ve VL 1/13 Základní myšlenky 1 M = ϕ iff X = M { ϕ} nesplnitelná. 2 X nesplnitelná iff X = ff. 3 Hledání kritických důsledků X syntakticky.
Komplexita a turbulence
SA414 - přednáška č. 5 Sociální systémy, systémy lidských aktivit Kybernetika (2. řádu): člověk a znalos(i) Povaha znalosti - mentální modely jako vzory Externalizace znalostí symboly a jazyk Znalosti
8 Třídy, objekty, metody, předávání argumentů metod
8 Třídy, objekty, metody, předávání argumentů metod Studijní cíl Tento studijní blok má za cíl pokračovat v základních prvcích jazyka Java. Konkrétně bude věnována pozornost třídám a objektům, instančním
Funkce základní pojmy a vlastnosti
Funkce základní pojm a vlastnosti Základ všší matematik LDF MENDELU Podpořeno projektem Průřezová inovace studijních programů Lesnické a dřevařské fakult MENDELU v Brně (LDF) s ohledem na disciplín společného
Definice. Petr Kuchyňka
Definice Petr Kuchyňka (7765@mail.muni.cz) 1 Úvod Pravdivost vět či platnost argumentů lze kompetentně posoudit, jen když je jasné, co přesně znamenají výrazy v nich užité. Základním prostředkem specifikace
PSANÍ. I am looking 4 to seeing you and please let me know if you are going to come.
PSANÍ Jazyk Úroveň Autor Kód materiálu Anglický jazyk 9. třída Mgr. Martin Zicháček aj9-kap-zic-psa-12 Z á k l a d o v ý t e x t : 1 Alex I am writing to you to let you know that I am leaving to Australia
Database systems. Normal forms
Database systems Normal forms An example of a bad model SSN Surnam OfficeNo City Street No ZIP Region President_of_ Region 1001 Novák 238 Liteň Hlavní 10 26727 Středočeský Rath 1001 Novák 238 Bystřice
Elektronická pošta... 3 Historie... 3 Technické principy... 3 Komunikační protokoly... 3 MBOX... 4 Maildir... 4 Jak funguje e-mail... 5 POP3...
Elektronická pošta Elektronická pošta... 3 Historie... 3 Technické principy... 3 Komunikační protokoly... 3 MBOX... 4 Maildir... 4 Jak funguje e-mail... 5 POP3... 5 IMAP... 6 Výhody a nevýhody IMAP...
Predikátová logika Individua a termy Predikáty
Predikátová logika Predikátová logika je rozšířením logiky výrokové o kvantifikační výrazy jako každý, všichni, někteří či žádný. Nejmenší jazykovou jednotkou, kterou byla výroková logika schopna identifikovat,
1 Báze a dimenze vektorového prostoru 1
1 Báze a dimenze vektorového prostoru 1 Báze a dimenze vektorového prostoru 1 2 Aritmetické vektorové prostory 7 3 Eukleidovské vektorové prostory 9 Levá vnější operace Definice 5.1 Necht A B. Levou vnější
Rekurentní rovnice, strukturální indukce
, strukturální indukce Jiří Velebil: Y01DMA 23. února 2010: Strukturální indukce 1/19 Backusova-Naurova forma Například syntaxe formuĺı výrokové logiky kde a At. Poznámky 1 Relaxace BNF. ϕ ::= a tt (ϕ
Logika. 1. Úvod, Výroková logika
Logika 1. Úvod, Výroková logika RNDr. Luděk Cienciala, Ph. D. Tato inovace předmětu Úvod do logiky je spolufinancována Evropským sociálním fondem a Státním rozpočtem ČR, projekt č. CZ. 1.07/2.2.00/28.0216,
Rekurentní rovnice, strukturální indukce
Rekurentní rovnice, strukturální indukce Jiří Velebil: A7B01MCS 26. září 2011: 1/20 Příklad (Parketáž triminy z minulé přednášky) P(n) = počet parket k vyparketování místnosti rozměru n 1 P(1) = 1. 2 P(n
Výroková a predikátová logika - VII
Výroková a predikátová logika - VII Petr Gregor KTIML MFF UK ZS 2018/2019 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - VII ZS 2018/2019 1 / 15 Platnost (pravdivost) Platnost ve struktuře
Funkce základní pojmy a vlastnosti
Funkce základní pojm a vlastnosti Základ všší matematik LDF MENDELU Podpořeno projektem Průřezová inovace studijních programů Lesnické a dřevařské fakult MENDELU v Brně (LDF) s ohledem na discipĺın společného