Predmet: Principi programskih jezikov

Tedenski oris

Splošno
Splošno
Principi programskih jezikov

Literatura

Za programski jezik prolog, v slovenščini:

I. Bratko, Prolog in umetna inteligenca (slovenski prevod 1. izdaje spodnje knjige, ponatis 2011, Založba FE/FRI)

Za prolog, programiranje z omejitvami (CLP) ter sintakso in semantiko jezikov:

I. Bratko: Prolog Programming for Artificial Intelligence, 4th edition, Addison Wesley / Pearson Education 2011 (izbrana poglavja)
Pogl. 1-7, prolog in programiranje z omejitvami - CLP
Pogl. 23, sintaksa in semantika z DCG (s primerom semantike naravnega jezika; poglavje ne vsebuje denotacijske semantike programskih jezikov)

Govorilne ure

Ob torkih ob 16:15

Izpitni roki
- sreda, 28. 06. 2017 ob 14h v P1;
- petek, 14. 07. 2017;
- ponedeljek, 28. 08. 2017.
- Forum novic
- Forum vprašanj
Prosojnice s predavanj
Prosojnice s predavanj

Za začetek so tu prosojnice za ta predmet za lansko leto,

ki se bodo po potrebi sproti posodabljale.
29. februar - 6. marec
29. februar - 6. marec
Prvi koraki v prologu. Programiranje relacij na osnovi baze o družinskih drevesih.
7. marec - 13. marec
7. marec - 13. marec
- SWI-Prolog reference manual URL
- CIA world fact book dataset (2013) Vir Uploaded 7/03/2017 14:33
- Rešitev vaj Države sveta Vir Uploaded 20/04/2017 13:33
14. marec - 20. marec
14. marec - 20. marec
Osnovne operacije nad seznami. Te operacije, skupaj z nekaterimi built-in predikati, tvorijo knjižnico za delo s seznami, ki jo bomo uporabljali na vajah in na izpitih privzeli za podano.
- Knjižnica za delo s seznami Vir
21. marec - 27. marec
21. marec - 27. marec
Nadaljevanje dela s seznami, skupaj z aritmetiko.
- Naloge in rešitve s komentarji Vir
28. marec - 3. april
28. marec - 3. april
Še več dela s seznami in aritmetiko, sortiranje seznamov.
- Naloge in rešitve s komentarji Vir
- Osvežitev algoritmov sortiranja, zelo grafično in nazorno! URL
4. april - 10. april
4. april - 10. april
Uporaba negacije in reza (!). Operacije nad množicami (predstavljenimi s seznami).
- Naloge in rešitve s komentarji Vir
- Preprost primer delovanja reza (!) Vir
11. april - 17. april ni na voljo
18. april - 24. april
18. april - 24. april
Delo s strukturami (binarna drevesa) ter razstavljanje in sestavljanje struktur s pomočjo predikata univ (=..) (splošna drevesa).
25. april - 1. maj
25. april - 1. maj
Preverjanje tipa, delo s strukturami
- Tekmovalne naloge 2007 Vir
2. maj - 8. maj
2. maj - 8. maj
Constraint logic programming, CLP(FD)
9. maj - 15. maj
9. maj - 15. maj
Constraint logic programming, CLP(R)
16. maj - 22. maj
16. maj - 22. maj
Definite Clause Grammars (DCG)
- Naloge in rešitve Vir
23. maj - 29. maj
23. maj - 29. maj
Denotacijska semantika
- Naloge in rešitve Vir
- Pomožne procedure za vaje Vir
30. maj - 5. junij
30. maj - 5. junij
Denotacijska semantika - preprost algoritmični jezik
- Naloge in rešitve Vir
6. junij - 12. junij ni na voljo
13. junij - 19. junij
13. junij - 19. junij
Za konec še nekaj starih izpitov za vajo.

Tedenski oris

Splošno

Principi programskih jezikov

Za programski jezik prolog, v slovenščini:

Za prolog, programiranje z omejitvami (CLP) ter sintakso in semantiko jezikov:

Izpitni roki

Prosojnice s predavanj

29. februar - 6. marec

7. marec - 13. marec

14. marec - 20. marec

21. marec - 27. marec

28. marec - 3. april

4. april - 10. april

18. april - 24. april

25. april - 1. maj

2. maj - 8. maj

9. maj - 15. maj

16. maj - 22. maj

23. maj - 29. maj

30. maj - 5. junij

13. junij - 19. junij