INFO - Informacie o MFF UK

Teoria programovania a programovacie paradigmy (IS: 634123)

Studijny odbor: INFORMATIKA
Teoreticko-metodologicky blok: Teoria programovania a programovacie paradigmy
Gestor bloku: RNDr. Igor Privara, CSc.
-----------------------------------------------------------------------------
Povinna vyucba
-----------------------------------------------------------------------------
Formalna semantika a teoria spravnosti - Privara I. (KI)    3/ 0 S     -
Modely konkurentnych systemov - Gruska D.                    -        3/ 1 S
Formalne specifikacie - Privara I. (KI)                      -        3/ 1 S
-----------------------------------------------------------------------------
Alternativne predmety:
----------------------
Teoria vypocitatelnosti - Chladny M. 1)                     2/ 2 S     -
Teoria vypocitatelnosti pre programatorov - Komara J.,      2/ 2 S     -
  Voda P. 1)
Funkcionalne programovanie - Winczer M. 2)                  2/ 2 S     -
Logicke programovanie - Borovansky P. 2)                     -        2/ 2 S
Interaktivne programovanie - Nagy J. 2)                     2/ 2 S     -
-----------------------------------------------------------------------------
Vyberova vyucba
-----------------------------------------------------------------------------
Systemy na prepisovanie termov - Borovansky P., Vittek M.   2/ 1 S     -
Uvod do paralelneho programovania - Gruska D.                -        3/ 1 S
Pokrocile techniky funkcionalneho programovania -            -        2/ 0 S
  Borovansky P.

Poznamky:
---------
  1) Student si vyberie jeden z dvojice predmetov "Teoria
  vypocitatelnosti", "Teoria vypocitatelnosti pre programatorov".
  2) Student si vyberie dva z trojice predmetov "Funkcionalne
  programovanie", "Logicke programovanie" a "Interaktivne programovanie".

Predmety statnej skusky:
------------------------
  1. Teoria programovania a programovacie paradigmy

Datum poslednej aktualizacie tohto dokumentu: 10.7.00.
Posledna aktualizacia udajov v systeme: 091006-V393.