Hlavné menu
  1. KAI
  2. Výučba
  3. Bakalársky program Aplikovaná informatika
  1. KAI
  2. Výučba
  3. Predmety
  4. Predmety 1-AIN

Introduction to Declarative Programming/sk: Rozdiel medzi revíziami

(New page: {{Course | name = Introduction to Declarative Programming | code = 1-AIN-505 | prerequisites = none | semester = Summer | year = 1 | credits = 4 | form = P - practicals (1), ...)
 
d
 
(6 medziľahlých úprav od 2 ďalších používateľov nie je zobrazených)
Riadok 1: Riadok 1:
−
{{Course
+
{{Predmet
−
   | name = Introduction to Declarative Programming
+
   | name = Úvod do deklaratívneho programovania
 
   | code = 1-AIN-505
 
   | code = 1-AIN-505
−
   | prerequisites = none
+
   | prerequisites = žiadne
−
   | semester = Summer
+
   | semester = Letný
 
   | year = 1
 
   | year = 1
 
   | credits = 4
 
   | credits = 4
−
   | form = P - practicals (1), C - course (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 = 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
 
}}
 
}}

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

Zdroj: „http://dev.dai.fmph.uniba.sk/w?title=Introduction_to_Declarative_Programming/sk&oldid=9731“