- Stahuj zápisky z přednášek a ostatní studijní materiály
- Zapisuj si jen kvalitní vyučující (obsáhlá databáze referencí)
- Nastav si své předměty a buď stále v obraze
- Zapoj se svojí aktivitou do soutěže o ceny
- Založ si svůj profil, aby tě tví spolužáci mohli najít
- Najdi své přátele podle místa kde bydlíš nebo školy kterou studuješ
- Diskutuj ve skupinách o tématech, které tě zajímají
Studijní materiály
Zjednodušená ukázka:
Stáhnout celý tento materiál50
Písemná zkou²ka I014
21. £ervna 1999 Jméno a p°íjmení: ::::::::::::::::::::::
login: ::::::::::::::::::::::
1
Jsou dánytypové výrazy
a ! (b ! Nat) ! b
(Bool;;c;;b) ! c
stypovými prom¥nnými a;;b;;c. Jejich nejobecn¥j²í unikátor je
(A) [(b ! Nat) ! b=c][(Bool;;c;;b)=a] (B) ? (Typové výrazy nejsou unikovatelné)
(C) [(Bool;;c;;b)=a][(b ! Nat) ! b=c] (D) [(Bool;;c;;b)=a][Nat=b][(b ! Nat) ! b=c]
(E) [(Bool ! Nat) ! Bool=c][Bool=b][(Bool;;c;;b)=a]
Odpov¥¤:
2
P°i p°evedení termu
xy:F(z:F xz)(z:F zzy)(z:F zzx)
do superkombinátorového termu
(A) jsou pot°eba 3 superkombinátory (B) jsou pot°eba 4 superkombinátory
(C) je pot°eba aspo¬ 5 superkombinátor· (D) obejdeme se bez superkombinátor·
(E) sta£í denovat 2 superkombinátory
Odpov¥¤:
3
Kombinátor , který je denován -pravidlem
xyz xzzy
je ekvivalentní kombinátorovému termu
(A) B C (B (C S I)(C I)) (B) C (B B S)(C I) (C) C(B B B)(C (S I I))
(D) C (B B B)((B(S I))(C I)) (E) B C (C S I)
Odpov¥¤:
50
4
Typ denovaný
data Eit
Vloženo: 25.04.2009
Velikost: 94,72 kB
Komentáře
Tento materiál neobsahuje žádné komentáře.
Mohlo by tě zajímat:
Skupina předmětu IA014 - Funkcionální programování
Reference vyučujících předmětu IA014 - Funkcionální programování
Podobné materiály
- IA006 - Vybrané kapitoly z teorie automatů - Pisemka_15.1.2007
- IA006 - Vybrané kapitoly z teorie automatů - Pisemka_16_01_2008
- IA006 - Vybrané kapitoly z teorie automatů - Pisemka_17_12_2007
- IA006 - Vybrané kapitoly z teorie automatů - Pisemka_28_01_2008
- IA006 - Vybrané kapitoly z teorie automatů - PV169_pisemka_7_1_2009
- IA006 - Vybrané kapitoly z teorie automatů - Zkouška 17_01_2003_pisemka
- IA008 - Computational Logic - Pisemka_04_06_2008
- IA011 - Sémantiky programovacích jazyků - Pisemka
- IA014 - Funkcionální programování - Pisemka 1999_06_11
- IA014 - Funkcionální programování - Funkc_prgr_pisemka%20_15_6_00
- IA039 - Architektura superpočítačů a intenzivní výpočty - Pisemka 23_05_2007_skup_A
- IA101 - Algoritmika pro těžké problémy - Pisemka_31_1_2008
- IA101 - Algoritmika pro těžké problémy - Pisemka_8_1_2007
- IA101 - Algoritmika pro těžké problémy - Písemka 2005
- IA101 - Algoritmika pro těžké problémy - Písemka 2006_01_09_algoritmika
- IA101 - Algoritmika pro těžké problémy - Písemka 8_1_2009
- IA101 - Algoritmika pro těžké problémy - Písemka 9_1_2006
- IA158 - Real Time Systems - Pisemka_27.2.22008
- IB002 - Návrh algoritmů I - Pisemka 1_98
- IB002 - Návrh algoritmů I - Pisemka 1_99
- IB002 - Návrh algoritmů I - Pisemka 2_97
- IB002 - Návrh algoritmů I - Pisemka 2_98
- IB002 - Návrh algoritmů I - Pisemka 2_99
- IB002 - Návrh algoritmů I - Pisemka n_97
- IB002 - Návrh algoritmů I - Pisemka n_99
- IB002 - Návrh algoritmů I - Pisemka1n_99
- IB015 - Úvod do funkcionálního programování - Pisemka_2.termin
- IB101 - Úvod do logiky a logického programování - Písemka 20070516
- MA007 - Matematická logika - Pisemka 060113
- MA007 - Matematická logika - Pisemka 13_01_2003_logika
- MA007 - Matematická logika - Pisemka 2007_01_11
- MA007 - Matematická logika - Pisemka 6_1_2006
- MA007 - Matematická logika - Pisemka _08_01_2001
- MA007 - Matematická logika - Pisemka_9_1_2009_UTF8
- MA015 - Grafové algoritmy - Pisemka-oficialni_reseni_22_01_2008
- MB000 - Matematická analýza I - Pisemka
- MB000 - Matematická analýza I - Pisemka_dalsi
- MB008 - Algebra I - Pisemka_15_01_2009
- MB103 - Matematika III - Písemka 14.11.2007
- MB104 - Matematika IV - Písemka 03_06_2004
- MB104 - Matematika IV - Písemka 07_06_2005_skB
- MB104 - Matematika IV - Písemka 24-05-05-A-B
- MB104 - Matematika IV - Písemka 31_05_05_pisemka_AandB
- MB104 - Matematika IV - Písemka 6_6_2006_skB
- MB104 - Matematika IV - Písemka zapoctova
- MV011 - Statistika I - Písemka 10_6_2005
- MV011 - Statistika I - Písemka 12_6_2007
- MV011 - Statistika I - Písemka 27_06_2008_and_res
- MV011 - Statistika I - Písemka a
- MV011 - Statistika I - Písemka statistika_predtermin_2005
- MV011 - Statistika I - Písemka vnitrosemestralni
- MV011 - Statistika I - Písemka
- PA008 - Překladače - Pisemka 2005
- PA008 - Překladače - Pisemka_2008_01_16
- PA008 - Překladače - Pisemka_2008_01_21
- PA102 - Technologie informačních systémů I - Pisemka 08_01_2006
- PA102 - Technologie informačních systémů I - Pisemka 10_01_2006
- PA102 - Technologie informačních systémů I - Pisemka 16_1_07
- PA102 - Technologie informačních systémů I - Pisemka 20070108
- PA102 - Technologie informačních systémů I - Pisemka 8_1_2007
- PA102 - Technologie informačních systémů I - Pisemka technologie_IS_B2
- PA102 - Technologie informačních systémů I - Pisemka
- PA102 - Technologie informačních systémů I - Pisemka_07_01_2008
- PA159 - Počítačové sítě a jejich aplikace I - Pisemka_5_1_2007
- PB001 - Úvod do informačních technologií - Pisemka_15_01_2008
- PB029 - Elektronická příprava dokumentů - Elektronická příprava dokumentů - písemka
- PB150 - Architektury výpočetních systémů - Stara_pisemka
- PB154 - Základy databázových systémů - Zkouška pisemka
- PB156 - Počítačové sítě - Zkoušk pisemka_2004_06_23
- PB156 - Počítačové sítě - Zkouška pisemka_19-06-2007-skupina-E
- PB162 - Programování v jazyce Java - Zkouška pisemka3
- PV005 - Služby počítačových sítí - Pisemka 19_12_2002_A
- PV005 - Služby počítačových sítí - Pisemka 2000_12_20
- PV005 - Služby počítačových sítí - Pisemka 29_1_2003
- PV005 - Služby počítačových sítí - Pisemka
- PV005 - Služby počítačových sítí - Pisemka_2003_12_16
- PV005 - Služby počítačových sítí - Pisemka_3_6_2002
- PV019 - Geografické informační systémy I - Písemka 24002
- PV019 - Geografické informační systémy I - Písemka 6_12_2004
- PV019 - Geografické informační systémy I - Písemka predtermin_prosinec_2003GIS
- PV030 - Textual Information Systems - Pisemka 20040524
- PV030 - Textual Information Systems - Pisemka_08_06_2007
- PV043 - Informační systémy podniků - Pisemka 2008_01_15
- PV043 - Informační systémy podniků - Pisemka 22.1.2007
- PV043 - Informační systémy podniků - Pisemka
- PV063 - Aplikace databázových systémů - Písemka květen
- PV065 - UNIX -- programování a správa systému I - Písemka 12_1_2005
- PV065 - UNIX -- programování a správa systému I - Písemka 2007_01_30
- PV065 - UNIX -- programování a správa systému I - Písemka 2009_01_12
- PV065 - UNIX -- programování a správa systému I - Písemka_17_01_2007
- PV080 - Ochrana dat a informačního soukromí - Zaverecna_pisemka
- PV080 - Ochrana dat a informačního soukromí - Písemka
- PV112 - Programování grafických aplikací - Písemka 3_6_08
- PV188 - Principy zpracování a přenosu multimédií - Pisemka 17_12_2007
- PV188 - Principy zpracování a přenosu multimédií - Pisemka 2007-01-04
- PV188 - Principy zpracování a přenosu multimédií - Pisemka 25_01_2007
- PV188 - Principy zpracování a přenosu multimédií - Pisemka_28_1_2008
- VB001 - Specialist English - Pisemka jaro2007
- VB003 - Ekonomický styl myšlení I - Pisemka 15_01_2002
- VB003 - Ekonomický styl myšlení I - Pisemka 18_12_2001
- VB003 - Ekonomický styl myšlení I - Pisemka 2003
- VB003 - Ekonomický styl myšlení I - Pisemka 2005
- VB003 - Ekonomický styl myšlení I - Pisemka 2_11_12_2007
- VB035 - English I - Písemka
- VB036 - English II - Pisemka_26_05_2008
- VB036 - English II - Písemka 2 19_5_2005
- VV032 - Základy výtvarné kultury II - Písemka 20.5.08
- IA039 - Architektura superpočítačů a intenzivní výpočty - Písemka 29.05.2007
- IA046 - Vyčíslitelnost - Pisemka_2008-06-12
- MB003 - Lineární algebra - Pisemka-zaver-31-05-05
Copyright 2023 unium.cz. Abychom mohli web rozvíjet a dále vylepšovat podle preferencí uživatelů, shromažďujeme statistiky o návštěvnosti, a to pomocí Google Analytics a Netmonitor. Tyto systémy pro unium.cz zaznamenávají, které stránky uživatel na webové stránce navštívil, odkud se na stránku dostal, kam z ní odešel, jaké používá zařízení, operační systém či prohlížeč, či jaký má preferenční jazyk. Statistiky jsou anonymní, takže unium.cz nezná identitu návštěvníka a spravuje cookies tak, že neumožňuje identifikovat konkrétní osoby. Používáním webu vyjadřujete souhlas použitím cookies a následujících služeb: