predmeti:ppj:start
Differences
This shows you the differences between two versions of the page.
| Next revision | Previous revision | ||
|
predmeti:ppj:start [2016/03/21 18:10] timotej created |
predmeti:ppj:start [2016/04/25 14:54] (current) timotej |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | ==== Principi programskih jezikov ==== | + | ====== Principi programskih jezikov |
| + | |||
| + | ===== Vaje ===== | ||
| - [[Uvod v prolog]] | - [[Uvod v prolog]] | ||
| Line 9: | Line 11: | ||
| - [[Strukture]] (drevesa) | - [[Strukture]] (drevesa) | ||
| - [[Tipi]] (registracije) | - [[Tipi]] (registracije) | ||
| - | - [[CLP(FD)]] | ||
| - [[CLP(R)]] | - [[CLP(R)]] | ||
| + | - [[CLP(FD)]] | ||
| - [[DCG]] | - [[DCG]] | ||
| - [[Denotacijska semantika]] | - [[Denotacijska semantika]] | ||
| - [[Mini ALGOL]] | - [[Mini ALGOL]] | ||
| - [[Dokazovanje pravilnosti]] | - [[Dokazovanje pravilnosti]] | ||
| + | - [[Pomen naravnega jezika]] | ||
predmeti/ppj/start.1458580232.txt.gz · Last modified: 2016/03/21 18:10 by timotej
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: Public Domain
