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: ponedeljek od 8h do 11h, učilnica P01.
vaje: po skupinah, glej urnik predavanj in vaj
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!.