Studenti će usvojiti koncepte zajedničke za više programskih jezika i paradigmi, čime će se pojednostavniti buduće učenje novih jezika. Utvrdit će znanje objektne paradigme i studente uvesti u problematiku funkcijskog i deklarativnog programiranja. Steći će se i praktična znanja programiranja u različitim programskim jezicima.

1. razlikovati između različitih programskih paradigmi
2. odabrati prikladnu programsku paradigmu za rješavanje specifičnog problema iz programskog inženjerstva
3. baratati s barem po jednim jezikom iz imperativne, objektno-orijentirane i deklarativne paradigme
4. klasificirati programske jezike ovisno o paradigmi kojoj pripadaju
5. prepoznati istovrsne koncepte u različitim programskim jezicima i paradigmama
6. koristiti adekvatne načine imenovanja i organizacije programskog koda

Izvođenje predavanja prema temama kolegija kroz 13 tjedana.

Znanje će se provjeravati međuispitom u sredini kolegija i završnim ispitom na kraju kolegija. Tijekom semestra bit će zadavane domaće zadaće.

Na laboratorijskim vježbama studenti će raditi na vlastitim programskim rješenjima te demonstrirati njihovu ispravnost.

Na predavanjima će se studentima na interaktivan način prikazati rad u programskim jezicima različitih paradigmi.

Demonstracijskim vježbama će se demonstrirati uporaba tehnologija za savladavanje problema iz laboratorijskih vježbi i iz inženjerske prakse.

Studenti će na konzultacijama moći nadopuniti znanje po svim temama kolegija.

1. Apstraktni strojevi. Interpreter. Prevodilac. Izražajnost programskih jezika.
2. Imena i okoline. Blokovi. Statički i dinamički doseg. Statičko i dinamičko upravljanje memorijom. Izvedba pravila dosega.
3. Kontrolne strukture. Strukturirano programiranje. Rekurzija repa.
4. Potprogrami. Funkcije višeg reda. Iznimke.
5. Tipovi podataka. Statičko i dinamičko provjeravanje tipova. Složeni tipovi. Ekvivalencija tipova. Višeobličje. Automatsko određivanje tipova. Viseće reference. Sakupljači smeća. Apstraktni tipovi podataka. Skrivanje informacija. Moduli.
6. Pokazno predavanje: kako pisati programski kôd.
7. Vježba za ispit.
8. Ispiti.
9. Ispiti.
10. Objektno orijentirana paradigma. Dinamički pronalazak metoda. Jednostruko i višestruko nasljeđivanje. Dinamičko prosljeđivanje metodama. Polimorfizam. Generici. Kovarijantno i kontravarijantno nadjačavanje.
11. Pokazno predavanje: razvoj aplikacije u objektno-orijentiranom programskom jeziku.
12. Funkcijska paradigma. Izračunavanje bez stanja. Strategije evaluacije. Podudaranje uzoraka. Osnove lambda računa.
13. Pokazno predavanje: programiranje u funkcijskom programskom jeziku.
14. Logička paradigma. Izračunavanje dedukcijom. Teorija unifikacije. Logičko programiranje s ograničenjima.
15. Paralelizam. Povijesni pregled programskih jezika i paradigmi.