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.

• Video ponetki predavanj

• Zapiski s predavanj

• Discord server: na spletni učilnici najdete povezavo.

Pomembno

Ti zapiski so na voljo na GitHub repozitoriju ppj-skripa. Popravki so dobrodošli, prosim naredite pull request.

Zahvaljujem se študentom, ki so poslali popravke: samolego, LongarMD.

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!.