Hľadaj
Zobraz:
Univerzity
Kategórie
Rozšírené vyhľadávanie
45 025 projektov
0 nových
Funkcionálne programovanie, dr. Libor Škarvada
«»
| Prípona |
Typ skriptá |
Stiahnuté 6 x |
| Veľkosť 0,2 MB |
Jazyk český |
ID projektu 11603 |
| Posledná úprava 11.12.2018 |
Zobrazené 1 481 x |
Autor: zadsemuser |
Zdieľaj na Facebooku |
||
| Detaily projektu | ||
- cena:
5 Kreditov - kvalita:
76,9% -
Stiahni
- Pridaj na porovnanie
- Univerzita:-
- Fakulta:-
- Kategória:Technika » Programovanie
- Predmet:Funkcionálne programovanie
- Študijný program:-
- Ročník:-
- Formát:PDF dokument (.pdf)
- Rozsah A4:19 strán
- Dokumentácia:Stiahni
Funkcionálne programovanie, dr. Libor Škarvada (prednášky) 1994
Kľúčové slová:
Funkcionálne programovanie
kalkul
jazyk PCF
funkcionálne jazyky
polymorfný kalkul
pevný bod
Obsah:
- 1 Úvod
2 Netypovány A—kalkul
3 Rekurze, věta o pevném bodě
4 Typovaný A—kalkul
5 Jazyk PCF
5.1 Operační sémantika PCF
5.2 Denotační sémantika PC
6 Funkcionální jazyky
6.1 Rysy reálných funkcionálních jazyků
6.2 Haskell
7 Polymorfní A-kalkul (A-kalkul 2.řádu)
7.1 Curry—Howardův isomorfismus
7.2 Reprezentace typů
7.2.1 Typ Boolean
7.2.2 TypNatural
7.2.3 Kartézský součin
7.2.4 Seznamy
7.3 Kombinátor pevného bodu
A Otázky ke zkoušce
B Jazyk GOFER
Pridaj projekt
Pridaj projekt a získaj kredity za stiahnutie. S kreditmi možeš sťahovať iné projekty. Je to jednoduché :)
Najčastejšie
Zobraz
Odporúčame
Zadania-seminarky.sk
2006 - 2024 © všetky práva vyhradené