Hlavné menu

  • Introduction/sk
    *[[Research/sk#Teória programovania | Teória programovania]] ...iky a videnia, umelej inteligencie, výpočtového modelovania a teórie programovania.
    2 KB (333 slov) - 17:21, 5. marec 2024
  • Bachelor program in Applied Informatics 2010--2015/sk
    ...IN-505||[[Introduction to Declarative Programming|Úvod do deklaratívneho programovania]]||[[Jan Kluka|Kľuka J.]], [[Pavol Voda|Voda P.]] || ||1/L ||L1,P2||4||60/ |1-INF-430||Teória grafov||Škoviera M.|| ||3/Z||P3,C1||6||70/30
    20 KB (2 683 slov) - 17:54, 26. august 2015
  • Master program in Cognitive Science past/sk
    |2-IKV-101||[[CogSci Programming 1|Základy programovania]]||[[Igor Farkas|Farkaš I.]] || ||1/W ||P2,C2||5||50/50 ...nd Cognitive Theory of Representation|Kognitívna sémantika a kognitívna teória reprezentácie]]||[[Martin Takac|Takáč M.]] *|| ||2/W ||L2,S2||5||50/50
    7 KB (954 slov) - 22:05, 17. september 2015
  • Research/sk
    ...videnie, na umelú inteligenciu a kognitívnu vedu, robotiku, na teóriu programovania a na bioinformatiku. Výskum prebieha v tematicky zameraných neformálny ...prezentácia znalostí]] – nemonotónne usudzovanie, dynamika znalostí, teória argumentácie, kontext, ontológie a distribuované znalosti; aplikácie v
    5 KB (785 slov) - 22:54, 3. máj 2024
  • List of All Courses Provided by Department of Applied Informatics/sk
    ...IN-505: [[Introduction to Declarative Programming|Úvod do deklaratívneho programovania]] ...N-630: [[Formal Semantics and Theory of Correctness|Formálna sémantika a teória správnosti]]
    11 KB (1 269 slov) - 05:06, 13. september 2023
  • Master program in Applied Informatics 2010--2015/sk
    |2-AIN-106||[[Complexity Theory|Teória zložitosti]]||[http://www.dcs.fmph.uniba.sk/~pardubska/ Pardubská D.] || |2-AIN-502||[[Fundamentals of Programming for Biology Students|Základy programovania pre študentov biológie]]||[http://dai.fmph.uniba.sk/ KAI] || ||1/S ||L2||
    10 KB (1 317 slov) - 23:53, 6. september 2016
  • Tatiana Jajcayova/sk
    | section = Oddelenie deklaratívneho programovania * kombinatorická teória semigrúp
    812 B (99 slov) - 14:25, 30. apríl 2018
  • Jan Kluka/sk
    | section = Oddelenie deklaratívneho programovania * techniky a implemetácia deklaratívneho programovania
    793 B (101 slov) - 21:44, 22. február 2016
  • Jan Komara/sk
    | section = Oddelenie deklaratívneho programovania ...AIN-505 [[Introduction to Declarative Programming|Úvod do deklaratívneho programovania]]
    3 KB (435 slov) - 20:19, 22. február 2024
  • Research Projects/sk
    |2003–2005||Logická teória dynamických a modulárnych báz poznatkov||VEGA 1/0173/03||Šefránek |2013–2013||Virtuálna univerzita informatiky: vývojové prostredie výuky programovania||Nadácia TB 2012vs003||Gyárfáš F.
    13 KB (1 876 slov) - 22:53, 3. máj 2024
  • Bachelor program in Applied Informatics 2009 2010/sk
    ...IN-505||[[Introduction to Declarative Programming|Úvod do deklaratívneho programovania]]||[[Jan Kluka|Kľuka J.]], [[Pavol Voda|Voda P.]] || ||1/S ||L1,P2||4||60/ |1-INF-415||Úvod do teórie programovania||Prívara I., [[Dusan Guller|Guller D.]] || ||2/S ||C3||4||20/80
    13 KB (1 791 slov) - 21:56, 2. august 2010
  • Theory of Declarative Programming/sk
    | name = Teória deklaratívneho programovania
    706 B (88 slov) - 12:15, 25. september 2015
Zdroj: „http://dai.fmph.uniba.sk/w/Špeciálne:Hľadanie/Teória_programovania“