Matfyz Wiki
Diff for ''
| Deletions are marked like this. | Additions are marked like this. |
| Line 1: | Line 1: |
| {{Předmět|Úvod do počítačové lingvistiky|Vladislav Kuboň|PFL012}} | {{předmět|Výroková a predikátová logika|Josef Mlček|NAIL062}} |
| Line 3: | Line 3: |
| Úvodní přednáška do počítačové lingvistiky. Výklad doktora Kuboně je srozumitelný a v rozumné míře zábavný, poměr teorie a praktických ukázek je vyrovnaný. | Výroková logika, normální tvary formulí, predikátová logika, věty o úplnosti výrokové a predikátové logiky, prenexní tvary formulí, modely teorií 1. řádu. Meze formální metody, Gödelovy věty. |
| Line 5: | Line 5: |
| == Zkouška == Na zkoušku se lze během jednoho dne v pohodě naučit (tomu, kdo nechodil na přednášky, to může trvat o něco déle). Zkouška je písemná, jedna velká otázka a 7 menších. Na jedničku je třeba umět všechna klíčová slova k dané otázce. |
## Studijní materiál Mlček (2009-?) ## |
| Line 8: | Line 7: |
| === Otázky === * Co je wordnet? * Popište systém ASIMUT. * Podrobně popiště systém MOSAIC. * Používá MOSAIC syntaktickou analýzu? Proč? * Co je a na co slouží strukturní index u Chomského gramatiky? * Pražský závislostní korpus (PDT) * Unifikační gramatiky - výhody/nevýhody * Systém Česílko * Kontrola překlepů * Co je morfém a jak ho klasifikujeme? * Nakreslete složkový a závislostní strom pro větu "Ve včerejším závodu startovali výborní skokani." * Převeďte složkový strom na závislostní * Co je překladová paměť? * Co je vyhlazování? * Brownův korpus * Co je ontologie a jak se používá? * Chomskeho teorie * Co je alomorf? * Bickel-Schroderova metoda * PennTreebank * Sestavy rysu a jejich použití. * Co je transfér v automatickém překladu – přenos zanalyzované věty z jednoho jazyka do druhého (slovosled, morfologie) * Jaký je rozdíl mezi interlinguou a pivotním jazykem? * Co je TAG (velmi stručně popište) * Popište model zašuměného kanálu. * Funkční generativní popis stručně * Statistické metody prekladu * co je LFG? * co je Two-Level morphology? * BLEU * rozdil intenze/extenze * transparentní intenzionální logika * co je ATN? (Augmented transition network) * Stručně popište Český národní korpus(složení, velikost, typy značek). * Popište Vauquoisův trojúhelník. (trojúhelník s interlinguou na vrcholu) * Stručně popište systém METEO. * Stručně popište rozdíl mezi hloubkovou a povrchovou rovinou analýzy syntaxe. * rozdil mezi morfologickou analyzou a taggingem * 3 hlavní přístupy k popisu morfologie * Q systemy (k comu sluzia, kde su aplikované, ako funguju) * dělení anafor a jak se řeší algoritmicky * Co je to lemmatizace a kde se používá? * ALPAC * metody kontroly gramatickej spravnosti viet (hlavne javy, specificke javy pre cestinu, implementacia) * Co je to teorie minimalismu, kdo je autorem a co jí předcházelo |
* [Mlček materiály k přednášce](http://kti.mff.cuni.cz/%7Emlcek/) [požadavky ke zkoušce, celkem brutus](http://kti.mff.cuni.cz/%7Emlcek/EXAM.pdf) * [zápisky Pilát cvika (2009)](http://zaantar.eu/index.php?page=Studijní+materiály) * [zápisky Mlček cvika (2008)](http://www.martinvseticka.eu/index.php?sekce=browse&page=178) * [zápisky,řešené příklady (2009)](http://www.marketa.najevisti.info/studium.php) * [Gödelova věta lidsky](http://cs.wikipedia.org/wiki/Gödelovy_věty_o_neúplnosti) |
| Line 55: | Line 13: |
| == Poznámky == [[PFL012-poznámky|Nekompletní přepis poznámek]] |
## Studijní materiál Štěpánek (?-2009) ## |
| Line 58: | Line 15: |
| * [On-line výukové materiály](http://ktiml.ms.mff.cuni.cz/index.php?select=teaching§ion=sources&lang=czech) - slajdy z přednášky, skripta * [Stránky cvika Petr Olmer](http://kti.mff.cuni.cz/%7Eolmer/vyuka/log03.html) - příklady na procvičení * [Studijní materiál na MUNI](http://is.muni.cz/el/1433/podzim2006/MA007/um/) * [Matematická logika na ČVUT (Demlová)](http://math.feld.cvut.cz/demlova/teaching/mlo_vyuka.html) * [Základní kurz logiky (MUNI)](http://www.phil.muni.cz/fil/logika/uvod.php) * [Výcuc ze skript prof. Štěpánka](http://s0cketka.blogspot.com/2006/05/souhrn-z-logiky.html) (tahák, PDF) * [Příklady](http://vpl.xf.cz/doku.php?id=start) * [Evýuka](http://snug.ic.cz/index.htm) |
|
| Line 59: | Line 24: |
| == Materiály == Materiály (slajdy a draft skript) posílá přednášející mailem všem, co mají předmět zapsaný. Případně jsou dostupné v SISu na stránce předmětu (po přihlášení). Případně existuje i [http://www.marketa.najevisti.info/dokumenty/Lingvistika-priprava.pdf vypracovaný hangout] od studentů. == Literatura == * Eva Hajičová, Jarmila Panevová, Petr Sgall: Úvod do teoretické a počítačové lingvistiky, I. svazek – Teoretická lingvistika (Karolinum 2002, ISBN 80-246-0470-1) ** kniha je dostupná ve fakultní knihovně na Malé Straně [[Category:Matematická lingvistika]] |
[Category:Matematika pro informatiky](Category:Matematika%20pro%20informatiky) |