Uvod
Vsebina
Uvod¶
To so zapiski predavanj pri predmetu Principi programskih jezikov za 2. letnik Interdisciplinarnega študija računalništva in matematike na 1. stopnji. Predmet lahko izberejo tudi študenti Računalništva in informatike.
Predznanje: Osnovno znanje programiranja, na stopnji, ki so ga pridobili po enem letu študija.
Opravljanje predmeta: Predmet opravite s pisnim izpitom.
Urnik:
predavanja: sreda od 8h do 11h, učilnica P01.
vaje: po skupinah, glej urnik
Gradivo¶
Osnovno gradivo:
Vpišite se v predmet Principi programskih jezikov na spletni učilnici, da vas bomo lahko obveščali.
Discord server: na spletni učilnici najdete povezavo.
Dodatna gradivo:
Benjamin C. Pierce: Types and Programming Languages
Robert: Practical Foundations for Programming Languages, Cambridge University Press, 2016
Ivan Bratko: Prolog Programming for Artificial Intelligence (4th edition), Addison-Wesley, 2012.
Markus Triska: The Power of Prolog.
Martin Lipovača: Learn You a Haskell for Great Good!.