d
 
(5 intermediate revisions by 2 users not shown)
Riadok 1: Riadok 1:
 
{{Predmet
 
{{Predmet
   | name = Introduction to Declarative Programming
+
   | name = Úvod do deklaratívneho programovania
 
   | code = 1-AIN-505
 
   | code = 1-AIN-505
 
   | prerequisites = žiadne
 
   | prerequisites = žiadne
Riadok 8: Riadok 8:
 
   | form = C - cvičenie (1), K - kurz (2)
 
   | form = C - cvičenie (1), K - kurz (2)
 
   | evaluation = 60/40
 
   | evaluation = 60/40
   | webpage = http://ii.fmph.uniba.sk/cl/view/courses/1-AIN-505-udp/?lang=sk
+
   | webpage = http://dai.fmph.uniba.sk/courses/udp
   | teacher = doc. RNDr. Paul J. Voda, CSc., RNDr. Ján Kľuka
+
   | teacher = [[Jan Kluka|Mgr. Ján Kľuka, PhD.]], [[Jan Komara|Ing. Ján Komara, PhD.]]
   | email = voda[[Image:zavinac.gif|@]]fmph.uniba.sk, kluka[[Image:zavinac.gif|@]]ii.fmph.uniba.sk
+
   | email = udp[[Image:zavinac.gif|@]]lists.dai.fmph.uniba.sk
   | homepage = http://ii.fmph.uniba.sk/~voda/ http://ii.fmph.uniba.sk/~kluka
+
   | homepage = http://dai.fmph.uniba.sk/courses/udp
   | description = The aim is to present computer programming as a mathematical discipline where the definition of programs are definitions of computable functions over the domain of natural numbers. Data structures are coded as number in a natural style of LISP. The course has computer labs in the programming and verification system CL.
+
   | description = Oboznámiť sa so základnými technikami a dátovými štruktúrami deklaratívnej paradigmy programovania, použiteľnými vo väčšine deklaratívnych jazykov (LISP, ML, Haskell, Prolog). Získať iný pohľad na programovanie ako v imperatívnej objektovoorientovanej paradigme.
   | offered_in = Povinný v [[Bachelor program in Applied Informatics|Bakálarskom programe Aplikovaná informatika]]
+
   | offered_in = Povinne-voliteľný v [[Bachelor program in Applied Informatics|Bakálarskom programe Aplikovaná informatika]]
 
   | recommendations = žiadne
 
   | recommendations = žiadne
 
}}
 
}}

Aktuálna revízia z 12:58, 2. marec 2012

Úvod do deklaratívneho programovania 1-AIN-505

choď na zoznam všetkých predmetov...

Názov a kód predmetu: Úvod do deklaratívneho programovania (1-AIN-505)
Prerekvizity: žiadne
Vyučuje sa/odporúčaný ročník: Letný semester / 1
Forma a # hodín/týždeň: C - cvičenie (1), K - kurz (2)
Kredity: 4
Hodnotenie (semester/skúška): 60/40
Webstránka predmetu: http://dai.fmph.uniba.sk/courses/udp
Informačný list: Informačný list 1-AIN-505 (fakultná služba)
Vyučujúci: Mgr. Ján Kľuka, PhD., Ing. Ján Komara, PhD.
E-mail: udp@lists.dai.fmph.uniba.sk
Domovská stránka: http://dai.fmph.uniba.sk/courses/udp

Popis predmetu:

Oboznámiť sa so základnými technikami a dátovými štruktúrami deklaratívnej paradigmy programovania, použiteľnými vo väčšine deklaratívnych jazykov (LISP, ML, Haskell, Prolog). Získať iný pohľad na programovanie ako v imperatívnej objektovoorientovanej paradigme.

Je časťou študijného programu: Povinne-voliteľný v Bakálarskom programe Aplikovaná informatika

Odporúčania: žiadne