(New page: This page lists all courses offered by our department: {| border="1" cellpadding="2" style="border-collapse:collapse;font-size:8pt;" |})
 
Riadok 1: Riadok 1:
 
This page lists all courses offered by our department:
 
This page lists all courses offered by our department:
  
{| border="1" cellpadding="2" style="border-collapse:collapse;font-size:8pt;"
+
'''Bachelor programmes'''
|}
+
 
 +
* 1-AIN-110: [[Mathematics 1|Mathematics (1)]] 
 +
* 1-AIN-111: [[Mathematics Complementary Classes 1|Mathematics Complementary Classes (1)]]
 +
* 1-AIN-120: [[Discrete Mathematics 1|Discrete Mathematics (1)]] 
 +
* 1-AIN-130: [[Programming 1|Programming (1)]]
 +
* 1-AIN-140: [[Computer Principles]]
 +
* 1-AIN-150: [[Mathematics 2|Mathematics (2)]] 
 +
* 1-AIN-151: [[Mathematics Complementary Classes 2|Mathematics Complementary Classes (2)]]
 +
* 1-AIN-160: [[Discrete Mathematics 2|Discrete Mathematics (2)]] 
 +
* 1-AIN-170: [[Programming 2|Programming (2)]] 
 +
* 1-AIN-172: [[Programming 4|Programming (4)]]
 +
* 1-AIN-180: [[Computer Principles]]
 +
* 1-AIN-210: [[Algorithms and Data Structures]]
 +
* 1-AIN-220: [[Programming 3|Programming (Algorithms in Java) (3)]] 
 +
* 1-AIN-230: [[Project 1|Project (1)]]
 +
* 1-AIN-240: [[Graphical Systems Visualization Multimedia|Graphical Systems, Visualization, Multimedia]]
 +
* 1-AIN-250: [[Fundamentals of Enterprise and Management]]
 +
* 1-AIN-260: [[Project 2|Project (2)]]
 +
* 1-AIN-910: [[BSc Project]]
 +
* 1-AIN-920: [[BSc Seminar]]
 +
* 1-AIN-505: [[Introduction to Declarative Programming]]
 +
* 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-411: [[Introduction to Computer Logic]]
 +
* 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-500: [[Linux for Users]]
 +
* 1-AIN-425: [[Declarative Programming of Web Applications]]
 +
* 1-AIN-515: [[Calculations in Science and Technology]]
 +
* 1-AIN-510: [[Linux Principles and Means|Linux - Principles and Means]]
 +
* 1-AIN-511: [[Functional Programming]]
 +
* 1-AIN-520: [[Statistical Calculations]]
 +
* 1-AIN-521: [[Database Systems Implementation]]
 +
* 1-AIN-525: [[Programming Techniques in C++]]
 +
* 1-AIN-530: [[Multimedia]]
 +
* 1-AIN-535: [[Modelling and Rendering Techniques]]
 +
* 1-AIN-540: [[Advanced Programming Techniques]]
 +
* 1-AIN-545: [[Geometric Objects Representation]]
 +
* 1-AIN-550: [[Image Processing Fundamentals]]
 +
* 1-AIN-551: [[Algorithms for AI Robotics]]
 +
* 1-AIN-610: [[Creating Web Documents]]
 +
* 1-AIN-615: [[Introduction to Web Applications]]
 +
* 1-AIN-612: [[Development of Accessible E-documents and Programs for Visually Impaired]]
 +
* 1-AIN-680: [[Extreme Programming]]
 +
* 1-AIN-617: [[Answer Set Programming]]
 +
* 1-AIN-630: [[Formal Semantics and Theory of Correctness]]
 +
* 1-AIN-655: [[Heuristic Methods]]
 +
* 1-AIN-685: [[Intelligent Techniques in e-learning]]
 +
* 1-AIN-616: [[Symbolic Programming and LISP]]
 +
* 1-AIN-675: [[Philophy of Internet]]
 +
* 1-AIN-611: [[Creative Writing]]
 +
 
 +
'''Master programs'''
 +
 
 +
* 2-AIN-102: [[Discrete Geometric Structures]]
 +
* 2-AIN-106: [[Complexity Theory]]
 +
* 2-AIN-109: [[Programming of Parallel and Distributed Systems]]
 +
* 2-AIN-122: [[Real Time Graphics]]
 +
* 2-AIN-123: [[Computer Vision 1|Computer Vision (1)]]
 +
* 2-AIN-124: [[Computer Vision 2|Computer Vision (2)]]
 +
* 2-AIN-126: [[Data Compresion]]
 +
* 2-AIN-141: [[Expert Systems 1|Expert Systems (1)]]
 +
* 2-AIN-143: [[Qualitative Modelling and Simulation|Qualitative Modelling and Simulation]]
 +
* 2-AIN-144: [[Knowledge Representation and Reasoning|Knowledge Representation and Reasoning]]
 +
* 2-AIN-146: [[Universal Algebra for Informatics]]
 +
* 2-AIN-161: [[Applied Numerical Mathematics]]
 +
* 2-AIN-172: [[UNIX for Users]]
 +
* 2-AIN-173: [[GNU Linux]]
 +
* 2-AIN-174: [[Advanced C++]]
 +
* 2-AIN-181: [[Evolutionary Algorithms]]
 +
* 2-AIN-184: [[Logic for Artificial Intelligence]]
 +
* 2-AIN-185: [[Formal Methods of Software Development]]
 +
* 2-AIN-201: [[Physical-based Animations and Mathematical Modeling]]
 +
* 2-AIN-203: [[Social and Legal Aspects of Information Systems]]
 +
* 2-AIN-221: [[Graphics Systems and Standards]]
 +
* 2-AIN-222: [[Computer Graphics Aplications]]
 +
* 2-AIN-233: [[Computer Vision Applications]]
 +
* 2-AIN-241: [[Expert Systems 2|Expert Systems (2)]]
 +
* 2-AIN-244: [[Seminar in Expert Systems]]
 +
* 2-AIN-245: [[Judgement Involving Uncertainty]]
 +
* 2-AIN-246: [[Multiagent Systems]]
 +
* 2-AIN-262: [[Information Visualisation]]
 +
* 2-AIN-263: [[Photorealism]]
 +
* 2-AIN-264: [[OpenCV]]
 +
* 2-AIN-265: [[Multidimensional Data Visualisation]]
 +
* 2-AIN-270: [[Colour Image Processing]]
 +
* 2-AIN-271: [[Image Processing for Medicine]]
 +
* 2-AIN-274: [[Multimedia and Sound Processing]]
 +
* 2-AIN-281: [[Computational and Cognitive Linguistics]]
 +
* 2-AIN-282: [[Quantum Algorithms and Automata]]
 +
* 2-AIN-283: [[Development of Critical Applications]]
 +
* 2-AIN-284: [[Artificial Intelligence Seminar 1|Artificial Intelligence Seminar (1)]]
 +
* 2-AIN-501: [[ethods in Bioinformatics]]
 +
* 2-AIN-503: [[Seminar in Bioinformatics 1|Seminar in Bioinformatics (1)]]
 +
* 2-AIN-502: [[Fundamentals of Programming for Biology Students]]
 +
* 2-AIN-504: [[Seminar in Bioinformatics|Seminar in Bioinformatics (2)]]
 +
* 2-AIN-910: [[Diploma Thesis 1|Diploma Thesis (1)]]
 +
* 2-AIN-911: [[Diploma Thesis 2|Diploma Thesis (2)]]
 +
* 2-AIN-921: [[Project Seminar 1|Project Seminar (1)]]
 +
* 2-AIN-922: [[Project Seminar 2|Project Seminar (2)]]
 +
 
 +
* 2-IKV-101: [[CogSci Programming 1|Programming (1)]]
 +
* 2-IKV-102: [[CogSci Mathematics]]
 +
* 2-IKV-103: [[Fundamentals of Artificial Intelligence for Cognitive Science]]
 +
* 2-IKV-111: [[Introduction to Psychology]]
 +
* 2-IKV-112: [[Modern Social Theories]]
 +
* 2-IKV-113: [[Cognitive Psychology]]
 +
* 2-IKV-114: [[Introduction to Philosophy of Mind]]
 +
* 2-IKV-115: [[Introduction to Computer Intelligence]]
 +
* 2-IKV-121: [[Introduction to Cognitive Science]]
 +
* 2-IKV-122: [[CogSci Semester Project]]
 +
* 2-IKV-123: [[Introduction to Neuroscience]]
 +
* 2-IKV-131: [[Representation, Knowledge and Reasoning]]
 +
* 2-IKV-133: [[Fundamentals of Artificial Intelligence 2|Fundamentals of Artificial Intelligence (2)]]
 +
* 2-IKV-135: [[Neurocomputing]]
 +
* 2-IKV-141: [[Current Trends in Cognitive Psychology]]
 +
* 2-IKV-142: [[Philosophy of Action]]
 +
* 2-IKV-143: [[Philosophy of Language]]
 +
* 2-IKV-164: [[Multiagent Systems]]
 +
* 2-IKV-167: [[Practical Classes in Robotics]]
 +
* 2-IKV-181: [[Meaning and Communication]]
 +
* 2-IKV-182: [[Current Theories of Consciousness]]
 +
* 2-IKV-183: [[Psycholinguistics]]
 +
* 2-IKV-184: [[Cognitive Antropology]]
 +
* 2-IKV-232: [[Cognitive Semantics and Cognitive Theory of Representation]]
 +
* 2-IKV-233: [[Cognitive Laboratory]]
 +
* 2-IKV-234: [[Knowledgeable Problem Solving Systems]]
 +
* 2-IKV-235: [[New Trends in Cognitive Science]]
 +
* 2-IKV-261: [[Logic and Cognitive Science]]
 +
* 2-IKV-262: [[Computational Psycholinguistics]]
 +
* 2-IKV-265: [[Speech Recognition]]
 +
* 2-IKV-267: [[Mathematical Logic for Cognitive Science]]
 +
* 2-IKV-921: [[CogSci Diploma Thesis Seminar]]
 +
* 2-IKV-910: [[CogSci Diploma Thesis]]
 +
 
 +
* 1-MXX-407: [[Brain and mind]]
 +
* 1-MXX-406: [[Language and Cognition]]

Verzia zo dňa a času 18:52, 16. august 2008

This page lists all courses offered by our department:

Bachelor programmes

Master programs