Zde můžete vidět rozdíly mezi vybranou verzí a aktuální verzí dané stránky.
|
fp:ulohy [2012/01/23 17:47] petr [Churchovy booleovské hodnoty] |
fp:ulohy [2012/02/06 20:28] (aktuální) petr |
||
|---|---|---|---|
| Řádek 1: | Řádek 1: | ||
| + | ====== Výsledky domácích úloh ====== | ||
| + | | | Tomáš Křen | Martin Jiřička | David Nohejl | Klára Pešková | poměrná obtížnost | normalizovaná poměrná obtížnost | | ||
| + | | celkem: | 83,49 | 37,83 | 9,68 | 1,87 | 63,72 | 50,00 | | ||
| + | | Normální formy termu a podtermů | 2 | 1 | 1 | | 2,38 | 1,87 | | ||
| + | | Implementace lambda kalkulu | 2 | 1,5 | | 1 | 2,38 | 1,87 | | ||
| + | | Normalizující strategie | 2 | 2 | | | 2,83 | 2,22 | | ||
| + | | Aplikativní strategie | 2 | 2 | | | 2,83 | 2,22 | | ||
| + | | Call-by-need strategie | 2 | 1 | | | 2,83 | 2,22 | | ||
| + | | Rekurze | 2 | 1 | 1 | | 2,38 | 1,87 | | ||
| + | | Překladač z lambda kalkulu | 2 | 1,5 | | | 2,83 | 2,22 | | ||
| + | | Delta-redukce | 2 | 1,5 | | | 2,83 | 2,22 | | ||
| + | | Churchovy booleovské hodnoty | 1 | 1,5 | 1 | | 2,38 | 1,87 | | ||
| + | | Churchovy numerály – Fibonacci | 2 | 1 | | | 2,83 | 2,22 | | ||
| + | | Churchovy numerály – tetrace | 2 | | | | 3,36 | 2,64 | | ||
| + | | Churchovy numerály – hyperoperace | 2 | | | | 3,36 | 2,64 | | ||
| + | | Vzájemná rekurze v jiném jazyce | 1,5 | 1 | | | 2,83 | 2,22 | | ||
| + | | Vzájemná rekurze dvou funkcí | 1,5 | 1 | | | 2,83 | 2,22 | | ||
| + | | α-redukce při hledání principiální WHNF | 1 | | | | 3,36 | 2,64 | | ||
| + | | redukce λ-termů do principiální slabé hlavní normální formy (WHNF) | 1 | | | | 3,36 | 2,64 | | ||
| + | | Převod do SK kalkulu | 1 | 1 | 1 | | 2,38 | 1,87 | | ||
| + | | Hindley-Milnerův systém s polymorfní rekurzí | 1 | | | | 3,36 | 2,64 | | ||
| + | | Unifikace | 1 | | | | 3,36 | 2,64 | | ||
| + | | Piercův zákon | 2 | | | | 3,36 | 2,64 | | ||
| + | | ((A ∧ B) → C) ↔ (A → (B → C)) | 2 | | 1 | | 2,83 | 2,22 | | ||
| + | | A ∧ (B ∧ C) → (A ∧ B) ∧ C | 2 | 1 | | | 2,83 | 2,22 | | ||
| + | |||
| + | |||
| + | |||
| ====== Domácí úlohy ====== | ====== Domácí úlohy ====== | ||
| //Pro mou snažší orientaci prosím předmět zprávy uveďte "FP: ". Děkuji.\\ | //Pro mou snažší orientaci prosím předmět zprávy uveďte "FP: ". Děkuji.\\ | ||
| Řádek 99: | Řádek 127: | ||
| --> | --> | ||
| </html> | </html> | ||
| + | |||