Topic outline

  • Preverjanje znanja

    • Študijsko gradivo

      • Aritmetični izrazi

        • Ukazni programski jezik

          • Dokazovanje pravilnosti

            • λ-račun

              • Deklarativno programiranje

                • Izpeljava tipov in tokovi

                  • Specifikacija in abstrakcija

                    • Logično programiranje

                      • Programiranje z omejitvami

                        • This topic

                          Objektno programiranje

                          • Naloge za utrjevanje

                            • Stari izpiti