A.I.lab

UL FRI

User Tools

Site Tools

You are here: start » predmeti » ppj » index
predmeti:ppj:index

This is an old revision of the document!

Principi programskih jezikov

  1. Uvod v prolog
  2. Dokazovanje (trace)
  3. Seznami
  4. Seznami, nadaljevanje
  5. Sortiranje
  6. Negacija (množice)
  7. Strukture (drevesa)
  8. Tipi (registracije)
  9. CLP(FD)
  10. CLP(R)
  11. DCG
  12. Denotacijska semantika
  13. Mini-ALGOL
  14. Dokazovanje pravilnosti
predmeti/ppj/index.1458158717.txt.gz · Last modified: 2016/03/16 21:05 by timotej

Page Tools

Except where otherwise noted, content on this wiki is licensed under the following license: Public Domain
Public Domain Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki