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. Logično programiranje
9. Logično programiranje z omejitvami
10. Specifikacija, implementacija, abstrakcija
11. Podtipi
12. Objektno programiranje
13. Haskell in razredi tipov
14. Monade in računski učinki
15. Učinki in prestrezniki

Powered by Jupyter Book

Išči

Searching for multiple words only shows matches that contain all words.

Avtor Andrej Bauer
© avtorske pravice 2021.