Department of Applied Informatics
 

Page title matches

Page text matches

• Bachelor program in Applied Informatics 2009 2010/en
  |1-AIN-505||[[Introduction to Declarative Programming]]||[[Jan Kluka|Kľuka J.]], [[Pavol Voda|Voda P.]] || ||1/S ||L1,P2||4||60/40 |1-AIN-425||[[Declarative Programming of Web Applications]]||[[Jan Kluka|Kľuka J.]], [[Pavol Voda|Voda P.]] ||1-AIN-505 ||2/W||L1,P2||4||60/40
  12 KB (1,557 words) - 16:15, 15 February 2011
• BakTema Frameworky pre webove aplikacie/sk
  [[Jan Kluka|Ján Kľuka]]
  1 KB (202 words) - 09:50, 24 October 2011
• Bachelor program in Applied Informatics 2009 2010/sk
  ...to Declarative Programming|Úvod do deklaratívneho programovania]]||[[Jan Kluka|Kľuka J.]], [[Pavol Voda|Voda P.]] || ||1/S ||L1,P2||4||60/40 ...Applications|Deklaratívne programovanie webovských aplikácií]]||[[Jan Kluka|Kľuka J.]], [[Pavol Voda|Voda P.]] ||1-AIN-505 ||2/W||L1,P2||4||60/40
  13 KB (1,791 words) - 21:56, 2 August 2010
• Best Bachelor Thesis AIN 2018/sk
  ...>A proof assistant for first-order logic</cite>]''', vedúci práce: [[Jan Kluka|Mgr. Ján Kľuka, PhD.]]
  2 KB (253 words) - 11:56, 28 June 2018
• DP Group/en
  * [[Jan Kluka|Ján Kľuka]]
  566 B (60 words) - 09:31, 7 October 2015
• DP Group/sk
  * [[Jan Kluka|Ján Kľuka]]
  570 B (70 words) - 09:47, 24 September 2017
• Course:Example/sk
  :[[Jan Kluka|Ján Kľuka]]
  6 KB (948 words) - 15:59, 8 September 2017
• Course:Mathematics 2/sk
  :[[Jan Kluka|Ján Kľuka]]
  6 KB (922 words) - 16:42, 26 March 2018
• Best Bachelor Thesis AIN 2020
  ...ých štruktúr pre logiku prvého rádu</cite>]''', vedúci práce: [[Jan Kluka|Mgr. Ján Kľuka, PhD.]]
  1 KB (234 words) - 14:33, 10 July 2023