Zobrazenie zdroja stránky Introduction to Mathematical Logic for Programmers/sk

{{Predmet
  | name = Úvod do matematickej logiky pre programátorov
  | code = 1-AIN-625
  | prerequisites = žiadne
  | semester = Zimný
  | year = 2
  | credits = 6
  | form = P - prednáška (2), C - cvičenie (2) 
  | evaluation = 40/60
  | webpage = http://ii.fmph.uniba.sk/cl/view/courses/1-AIN-625-lpp/?lang=sk
  | teacher = [[Jan Komara|Ing. Ján Komara]]
  | email = komara[[Image:zavinac.gif|@]]fmph.uniba.sk
  | homepage = http://ii.fmph.uniba.sk/~komara/
  | description =  Vybudovať matematické základy deklaratívnych programovacích jazykov. Programy sú definície rekurzívnych funkcií. Výpočtový model je založený na redukcií termov. Dátové štruktúry sa kódujú do prirodzených čísel. Problémy sa riešia na cvičeniach v programovacom jazyku CL.
  | offered_in = Povinne-voliteľný v [[Bachelor program in Applied Informatics|Bakálarskom programe Aplikovaná informatika]]
  | recommendations = žiadne
}}