d
Riadok 20: Riadok 20:
 
* 1-AIN-250: [[Fundamentals of Enterprise and Management]]
 
* 1-AIN-250: [[Fundamentals of Enterprise and Management]]
 
* 1-AIN-260: [[Project 2|Project (2)]]
 
* 1-AIN-260: [[Project 2|Project (2)]]
* 1-AIN-910: [[BSc Project]]
+
* 1-AIN-360: [[Fundamentals of Artificial Intelligence 1|Fundamentals of Artificial Intelligence (1)]]
* 1-AIN-920: [[BSc Seminar]]
+
* 1-AIN-505: [[Introduction to Declarative Programming]]
+
 
* 1-AIN-410: [[Mathematics 3|Mathematics (3)]]
 
* 1-AIN-410: [[Mathematics 3|Mathematics (3)]]
* 1-AIN-625: [[Introduction to Mathematical Logic for Programmers]]
 
 
* 1-AIN-470: [[Specification and Verification of Programs]]
 
* 1-AIN-470: [[Specification and Verification of Programs]]
 
* 1-AIN-411: [[Introduction to Computer Logic]]
 
* 1-AIN-411: [[Introduction to Computer Logic]]
 +
* 1-AIN-425: [[Declarative Programming of Web Applications]]
 
* 1-AIN-430: [[Programming Paradigms]]
 
* 1-AIN-430: [[Programming Paradigms]]
* 1-AIN-360: [[Fundamentals of Artificial Intelligence 1|Fundamentals of Artificial Intelligence (1)]]
 
* 1-AIN-670: [[Expert Systems]]
 
 
* 1-AIN-480: [[Neural Networks]]
 
* 1-AIN-480: [[Neural Networks]]
 
* 1-AIN-500: [[Linux for Users]]
 
* 1-AIN-500: [[Linux for Users]]
* 1-AIN-425: [[Declarative Programming of Web Applications]]
+
* 1-AIN-505: [[Introduction to Declarative Programming]]
* 1-AIN-515: [[Calculations in Science and Technology]]
+
 
* 1-AIN-510: [[Linux Principles and Means|Linux - Principles and Means]]
 
* 1-AIN-510: [[Linux Principles and Means|Linux - Principles and Means]]
 
* 1-AIN-511: [[Functional Programming]]
 
* 1-AIN-511: [[Functional Programming]]
 +
* 1-AIN-515: [[Calculations in Science and Technology]]
 
* 1-AIN-520: [[Statistical Calculations]]
 
* 1-AIN-520: [[Statistical Calculations]]
 
* 1-AIN-521: [[Database Systems Implementation]]
 
* 1-AIN-521: [[Database Systems Implementation]]
Riadok 46: Riadok 42:
 
* 1-AIN-551: [[Algorithms for AI Robotics]]
 
* 1-AIN-551: [[Algorithms for AI Robotics]]
 
* 1-AIN-610: [[Creating Web Documents]]
 
* 1-AIN-610: [[Creating Web Documents]]
* 1-AIN-615: [[Introduction to Web Applications]]
+
* 1-AIN-611: [[Creative Writing]]
 
* 1-AIN-612: [[Development of Accessible E-documents and Programs for Visually Impaired]]
 
* 1-AIN-612: [[Development of Accessible E-documents and Programs for Visually Impaired]]
* 1-AIN-680: [[Extreme Programming]]
+
* 1-AIN-625: [[Introduction to Mathematical Logic for Programmers]]
 +
* 1-AIN-615: [[Introduction to Web Applications]]
 +
* 1-AIN-616: [[Symbolic Programming and LISP]]
 
* 1-AIN-617: [[Answer Set Programming]]
 
* 1-AIN-617: [[Answer Set Programming]]
 
* 1-AIN-630: [[Formal Semantics and Theory of Correctness]]
 
* 1-AIN-630: [[Formal Semantics and Theory of Correctness]]
 
* 1-AIN-655: [[Heuristic Methods]]
 
* 1-AIN-655: [[Heuristic Methods]]
* 1-AIN-685: [[Intelligent Techniques in e-learning]]
+
* 1-AIN-670: [[Expert Systems]]
* 1-AIN-616: [[Symbolic Programming and LISP]]
+
 
* 1-AIN-675: [[Philophy of Internet]]
 
* 1-AIN-675: [[Philophy of Internet]]
* 1-AIN-611: [[Creative Writing]]
+
* 1-AIN-680: [[Extreme Programming]]
 +
* 1-AIN-685: [[Intelligent Techniques in e-learning]]
 +
* 1-AIN-910: [[BSc Project]]
 +
* 1-AIN-920: [[BSc Seminar]]
  
 
'''Master programs'''
 
'''Master programs'''

Verzia zo dňa a času 11:47, 17. august 2008

This page lists all courses offered by our department:

Bachelor programs

Master programs