UL/FRI/UNI-RI/PPJ
Iz E-študij, proste zakladnice študentskega znanja
| Abecedni seznam zapiskov
Predava: Vaje vodi:
Povezave:
(Za kolokvije ustvari stran) Izpitni red: ... kako poteka ocenjeanje ... Ostalo:
Ključne besede: PPJ, Prolog, Deklerativno programiranje |
Principi programskih jezikov
- Semantika Prologa
- Aksiomatska semantika (Dokazovajne pravilnosti programa)
- Denotacijska Semantika
- Problem 8 kraljic (Primer razvoja deklerativnega programa)
