Department of Applied Informatics
 

Page title matches

• Jan Komara/sk
  | fullname = Ing. Ján Komara, PhD. | caption = Ján Komara
  3 KB (435 words) - 20:19, 22 February 2024
• Jan Komara/en
  | fullname = Ing. Ján Komara, PhD. | caption = Jan Komara
  3 KB (378 words) - 20:12, 22 February 2024
• Jan Komara
  3 B (0 words) - 11:57, 22 August 2008

Page text matches

• Bachelor program in Applied Informatics 2010--2015/sk
  ...IN-120||[[Discrete Mathematics 1|Diskrétna matematika (1)]]||[[Jan Komara|Komara J.]]|| ||1/Z ||K4||6||50/50 ...IN-160||[[Discrete Mathematics 2|Diskrétna matematika (2)]]||[[Jan Komara|Komara J.]] ||1-AIN-120!||1/L||K4||6||50/50
  20 KB (2,683 words) - 17:54, 26 August 2015
• People/sk
  |[[Jan Komara|Ing. Ján Komara, PhD.]]||I 16||727
  8 KB (1,093 words) - 14:49, 28 May 2024
• Discrete Mathematics 1/en
  ...atiana Jajcayova|RNDr. Tatiana Jajcayová, PhD.]], [[Jan Komara|Ing. Ján Komara, PhD.]]
  859 B (106 words) - 22:54, 21 September 2015
• Discrete Mathematics 2/en
  ...atiana Jajcayova|RNDr. Tatiana Jajcayová, PhD.]], [[Jan Komara|Ing. Ján Komara, PhD.]]
  873 B (106 words) - 13:43, 20 February 2011
• Course:Specification and Verification of Programs/en
  | teacher = [[Jan Komara|Ing. Ján Komara, PhD.]]
  747 B (89 words) - 15:35, 22 September 2017
• Introduction to Declarative Programming/en
  | teacher = [[Jan Kluka|Mgr. Ján Kľuka, PhD.]], [[Jan Komara|Ing. Ján Komara, PhD.]]
  933 B (127 words) - 13:58, 2 March 2012
• Introduction to Mathematical Logic for Programmers/en
  | teacher = [[Jan Komara|Ing. Ján Komara, PhD.]]
  819 B (101 words) - 13:31, 20 February 2011
• Course:Mathematics 3 - Discrete Mathematics/sk
  ...atiana Jajcayova|RNDr. Tatiana Jajcayová, PhD.]], [[Jan Komara|Ing. Ján Komara, PhD.]]
  906 B (118 words) - 14:32, 22 September 2017
• Discrete Mathematics 1/sk
  ...Tatiana Jajcayova|RNDr. Tatiana Jajcayová, PhD.]], [[Jan Komara|Ing. Ján Komara, PhD.]]
  885 B (115 words) - 13:46, 20 February 2011
• Discrete Mathematics 2/sk
  ...Tatiana Jajcayova|RNDr. Tatiana Jajcayová, PhD.]], [[Jan Komara|Ing. Ján Komara, PhD.]]
  985 B (127 words) - 13:42, 20 February 2011
• Course:Specification and Verification of Programs/sk
  | teacher = [[Jan Komara|Ing. Ján Komara, PhD.]]
  777 B (103 words) - 15:36, 22 September 2017
• Introduction to Declarative Programming/sk
  | teacher = [[Jan Kluka|Mgr. Ján Kľuka, PhD.]], [[Jan Komara|Ing. Ján Komara, PhD.]]
  944 B (129 words) - 13:58, 2 March 2012
• Introduction to Mathematical Logic for Programmers/sk
  | teacher = [[Jan Komara|Ing. Ján Komara, PhD.]]
  868 B (117 words) - 21:13, 20 February 2011
• People/en
  |[[Jan Komara|Ing. Ján Komara, PhD.]]||I 15||727
  7 KB (984 words) - 14:12, 17 May 2024
• Jan Komara/sk
  | fullname = Ing. Ján Komara, PhD. | caption = Ján Komara
  3 KB (435 words) - 20:19, 22 February 2024
• Jan Komara/en
  | fullname = Ing. Ján Komara, PhD. | caption = Jan Komara
  3 KB (378 words) - 20:12, 22 February 2024
• Course:Mathematics 1 - Introduction to Mathematical Reasoning/en
  ...atiana Jajcayova|RNDr. Tatiana Jajcayová, PhD.]], [[Jan Komara|Ing. Ján Komara, PhD.]]
  921 B (114 words) - 13:32, 22 September 2017
• Course:Mathematics 1 - Introduction to Mathematical Reasoning/sk
  ...Tatiana Jajcayova|RNDr. Tatiana Jajcayová, PhD.]], [[Jan Komara|Ing. Ján Komara, PhD.]]
  941 B (125 words) - 13:31, 22 September 2017
• Bachelor program in Applied Informatics 2009 2010/en
  ...-625||[[Introduction to Mathematical Logic for Programmers]]||[[Jan Komara|Komara J.]] || ||2/W ||C4||6||40/60 |1-AIN-470||[[Specification and Verification of Programs]]||[[Jan Komara|Komara J.]] || ||2/S ||C4||6||60/40
  12 KB (1,557 words) - 16:15, 15 February 2011
• Bakalársky seminár skupina VI
  |Kováč Dávid|| Ján Komara || [https://www.st.fmph.uniba.sk/~kovac72/bak/ Špecifikácia, implementác
  3 KB (444 words) - 09:35, 13 May 2010