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

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

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:	udplists.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

@@ Riadok 1: / Riadok 1: @@
-{{Course
+{{Predmet
-   | name = Introduction to Declarative Programming
+   | name = Úvod do deklaratívneho programovania
    | code = 1-AIN-505
-   | prerequisites = none
+   | prerequisites = žiadne
-   | semester = Summer
+   | semester = Letný
    | year = 1
    | credits = 4
-   | form = P - practicals (1), C - course (2)
+   | form = C - cvičenie (1), K - kurz (2)
    | 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 = Obligatory in [[Bachelor program in Applied Informatics]]
+   | offered_in = Povinne-voliteľný v [[Bachelor program in Applied Informatics|Bakálarskom programe Aplikovaná informatika]]
-   | recommendations = none
+   | recommendations = žiadne
 }}