predmeti:ppj:index
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
predmeti:ppj:index [2016/03/16 21:06] timotej |
predmeti:ppj:index [2016/03/16 21:25] (current) timotej |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ==== Principi programskih jezikov ==== | ==== Principi programskih jezikov ==== | ||
| - | - Uvod v prolog | + | - [[Uvod v prolog]] |
| - | - Dokazovanje | + | - [[Sledenje poizvedbam]] |
| - | - Seznami | + | - [[Seznami]] |
| - | - Seznami, nadaljevanje | + | - [[Aritmetika]] |
| - | - Sortiranje | + | - [[Sortiranje]] |
| - | - Negacija (množice) | + | - [[Negacija]] (množice) |
| - | - Strukture (drevesa) | + | - [[Strukture]] (drevesa) |
| - | - Tipi (registracije) | + | - [[Tipi]] (registracije) |
| - | - CLP(FD) | + | - [[CLP(FD)]] |
| - | - CLP(R) | + | - [[CLP(R)]] |
| - | - DCG | + | - [[DCG]] |
| - | - Denotacijska semantika | + | - [[Denotacijska semantika]] |
| - | - Mini-ALGOL | + | - [[Mini ALGOL]] |
| - | - Dokazovanje pravilnosti | + | - [[Dokazovanje pravilnosti]] |
predmeti/ppj/index.1458158795.txt.gz · Last modified: 2016/03/16 21:06 by timotej
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: Public Domain
