navigation
hledat
Rozdíly
Zde můžete vidět rozdíly mezi vybranou verzí a aktuální verzí dané stránky.
|
courses:a4m36tpj [2015/02/17 16:23] ostasole [Domácí úlohy] |
courses:a4m36tpj [2025/01/03 18:23] (aktuální) |
||
|---|---|---|---|
| Řádek 1: | Řádek 1: | ||
| ====== Teorie Programovacích Jazyků ====== | ====== Teorie Programovacích Jazyků ====== | ||
| - | * Stránky předmětu: https://edux.feld.cvut.cz/courses/A4M36TPJ/ | + | * Stránky předmětu: https://cw.fel.cvut.cz/wiki/courses/A4M36TPJ/start |
| * Přednášející: Pavel Strnad | * Přednášející: Pavel Strnad | ||
| * Cvičící: Pavel Strnad, Zdeněk Buk | * Cvičící: Pavel Strnad, Zdeněk Buk | ||
| Řádek 16: | Řádek 16: | ||
| * [[http://oi-wiki.cz/lib/exe/fetch.php/courses/a4m36tpj/2014-hw2-assignment.pdf|HW2 zadani]] | * [[http://oi-wiki.cz/lib/exe/fetch.php/courses/a4m36tpj/2014-hw2-assignment.pdf|HW2 zadani]] | ||
| * [[http://oi-wiki.cz/lib/exe/fetch.php/courses/a4m36tpj/2014-hw3-assignment.pdf|HW3 zadani]] | * [[http://oi-wiki.cz/lib/exe/fetch.php/courses/a4m36tpj/2014-hw3-assignment.pdf|HW3 zadani]] | ||
| - | * [[http://oi-wiki.cz/lib/exe/fetch.php/courses/a4m36tpj/homeworks.zip | homeworks.zip RESENI]] | + | * [[http://oi-wiki.cz/lib/exe/fetch.php/courses/a4m36tpj/homeworks.zip | homeworks.zip]] |
| ====== Materiály ====== | ====== Materiály ====== | ||
| * **[[https://docs.google.com/document/d/1PVgcQnfYDiAey5oQLWxQpMPcZFUImrW4l6_PFX3L7c8/edit?pli=1 | Řešení zkouškových testů vlastními silami]]** | * **[[https://docs.google.com/document/d/1PVgcQnfYDiAey5oQLWxQpMPcZFUImrW4l6_PFX3L7c8/edit?pli=1 | Řešení zkouškových testů vlastními silami]]** | ||
| - | * [[http://www2.cs.cas.cz/~ratschan/MI-FME/ | link na podobny predmet na FITu vyucovany v letnim semestru.]] | ||
| * [[courses/A4M36tpj/vyklad_ke_treti_uloze|Výklad ke třetí úloze v opravném testu z 6.1.2012.]] | * [[courses/A4M36tpj/vyklad_ke_treti_uloze|Výklad ke třetí úloze v opravném testu z 6.1.2012.]] | ||
| * [[http://maude.cs.uiuc.edu/maude2-manual/html/maude-manual.html | Maude manual]] | * [[http://maude.cs.uiuc.edu/maude2-manual/html/maude-manual.html | Maude manual]] | ||
| - | * [[http://i.imgur.com/6wYhr.jpg | Pro pobaveni]] | ||
| * [[courses/A4M36tpj/reseni_testu|Řešení zkouškových příkladů]] | * [[courses/A4M36tpj/reseni_testu|Řešení zkouškových příkladů]] | ||
| - | ===== Zkouška ZS 2012 ===== | ||
| - | [[courses/a4m36tpj:Předtermín 21.12.2012]] | ||
| - | ===== Zkouška ===== | + | ====== Zkoušky ====== |
| - | 30 min | + | ===== 2013 ===== |
| + | |||
| + | * [[http://oi-wiki.cz/lib/exe/fetch.php/courses/a4m36tpj/exam1.pdf|exam1]] | ||
| + | * [[http://oi-wiki.cz/lib/exe/fetch.php/courses/a4m36tpj/exam2.pdf|exam2]] | ||
| + | * [[http://oi-wiki.cz/lib/exe/fetch.php/courses/a4m36tpj/exam3.pdf|exam3]] | ||
| + | * [[http://oi-wiki.cz/lib/exe/fetch.php/courses/a4m36tpj/exam4.pdf|exam4]] | ||
| + | * [[http://oi-wiki.cz/lib/exe/fetch.php/courses/a4m36tpj/exam5.pdf|exam5]] | ||
| + | * [[http://oi-wiki.cz/lib/exe/fetch.php/courses/a4m36tpj/exam6.pdf|exam6]] | ||
| + | * [[http://oi-wiki.cz/lib/exe/fetch.php/courses/a4m36tpj/exam7.pdf|exam7]] | ||
| + | |||
| + | |||
| + | ===== 2014 ===== | ||
| + | |||
| + | * [[http://oi-wiki.cz/lib/exe/fetch.php/courses/a4m36tpj/2014_01.pdf|exam1]] | ||
| + | * [[http://oi-wiki.cz/lib/exe/fetch.php/courses/a4m36tpj/2014_02.pdf|exam2]] | ||
| + | * [[http://oi-wiki.cz/lib/exe/fetch.php/courses/a4m36tpj/2014_03.pdf|exam3]] | ||
| + | |||
| + | |||
| + | ===== 2015 ===== | ||
| + | |||
| + | * Kombinace prikladu z 2013 a 2014 | ||
| - | Nejprve otázky, pak teprve kouká (poprvé) na semestrálku a známku už neovlivní, řekl ji než semestrálku otevřel | ||
| - | Otázky které zazněly u zkoušky: | ||
| - | **SOS / BOS** | ||
| - | * Popište 3 kroky SOS(BOS) (mapování vstupu, přepisovací relace, mapování výstupu) | ||
| - | * Popište jak je definovaná SOS - z čeho se skládá a vztahy mezi tím (chtěl přepisovací pravidla, I/O funkce, všechny a finální konfigurace) | ||
| - | * Determinismus SOS | ||
| - | * Nedeterminismus sémantiky implikuje nedeterminismus přepisovací relace nebo je to naopak? | ||
| - | * Rozdíl mezi přepisovacím pravidlem (tj relace) a funkcí | ||
| - | * Formálně definujte konfluenci | ||
| - | * Jak je to se zaseknutými konfiguracemi v BOS a SOS a rozdíly mezi SOS a BOS | ||
| - | * Proč existuje denotační semantika a její vztah k BOS | ||
| - | * Vztahy mezi operační a denotační sémantikou | ||
| - | * Důkaz konfluence | ||
| - | **Lambda kalkulus a fixní body** | ||
| - | * Vytvořit generující funkci pro zadanou rekurzivní funkci a vysvětlit jak to vlastně všechno funguje | ||
| - | * Co je to lambda kalkulus - zadefinovat, vysvětlit, z čeho se skládá, jak to že je tak silný, jak se tam řeší např. čísla | ||
| - | * Co umožňuje v lambda kalkulu cykly / rekurzi (správná odpověď je kombinátor). Co to je, jak funguje + odkrokovat příklad | ||
| - | * Jaký je rozdíl mezi funkcí(v teorii množin) a funkcí v lambda kalkulu | ||
| - | **Další otázky** | ||
| - | * Continuations co je to a jak funguje? | ||
| - | * Progress, Soudness co to znamená a jak je zapsat | ||
| - | * Co je FJ BOS nebo SOS a proč? | ||
| - | I když otázky jsou někdy nepříjemné povětšinou vždy lidsky vysvětlí a navede ke správné odpovědi. | ||
| - | ~~DISCUSSION~~ | ||
