Skip to main content
Back to top
Ctrl
+
K
Principi programskih jezikov
Uvod
1. O programskih jezikih in aritmetičnih izrazih
2. Ukazni programski jezik
3. Dokazovanje pravilnosti programov
4. λ-račun
5. Deklarativno programiranje
6. Rekurzija in rekurzivni tipi
7. Izpeljava tipov
8. Specifikacija, implementacija, abstrakcija
9. Logično programiranje
10. Logično programiranje z omejitvami
11. Podtipi
12. Objektno programiranje
13. Haskell in razredi tipov
14. Monade in računski učinki
15. Učinki in prestrezniki
Išči
Napaka
Please activate JavaScript to enable the search functionality.
Ctrl
+
K