1. Co je formální lingvistika - formalizace jazykových jevů - teoretické rámce probírané v přednášce
2. Jevy sledované v probíraných p řístupech - zaměření na větnou stavbu jazyka: - forma a význam věty - vícerovinný přístup k popisu větné stavby - vztahy mezi formou a významem: synonymie, homonymie, členy nevyjádřené v povrchové stavbě věty - sloveso jako jádro větné struktury, valence - reference uvnitř věty a přes její hranici - informační struktura věty
3. Funkční generativní popis - závislostní reprezentace povrchové a hloubkové stavby věty - valence, valenční rámec - aktuální členění věty
4. Syntaktické popisy vycházející z Paniniho gramatiky - závislostní přístup - klasifikace závislostních vztahů
5. Model Smysl – text - roviny jazykového systému - lexikální funkce
6. Generativní lingvistika - transformační generativní rámec Noama Chomského - kompetence vs. performance, hypotéza týkající se osvojování jazyka - generování vět přirozeného jazyka, transformace - lexikalistická hypotéza, konvence X s pruhem, teorie principů a parametrů, minimalismus
7. Distribuovaná morfologie - jednotný přístup k syntaktickým a morfologickým jevům - lexikon morfologických forem, encyclopedie, pozdní vkládání, podspecifikace ad.
8. Pádová gramatika a rámcová sémantika (Charles J. Fillmore) - pádová gramatika - sémantika rámců - databáze FrameNet
9. Konstrukční gramatika - konstrukce jako spojení formy a významz - typy konstrukcí - konstruktikony
10. Další přístupy - Abstract Meaning Representation (AMR) - Universal Conceptual Cognitive Annotation (UCCA) ad.
Kurz vysvětluje principy formálního popisu přirozených jazyků a představuje vybrané formálnělingvistické přístupy.
Hlavní pozornost je věnována popisu větné stavby.
Po úvodní diskuzi o možnostech formálního zachycení jazykových jevů se kurz věnuje vybraným závislostním přístupům (Funkční generativní popis, Model Smysl–Text ad.) a porovnává je s generativními popisy (Chomsky, distribuovaná morfologie) a s dalšími přístupy (rámcová sémantika, konstrukční gramatika ad.). Představeny jsou také související treebanky a další zdroje jazykových dat (FrameNet ad.).