m
m (Replacing page with 'generic page')
Line 1: Line 1:
This page lists all courses offered by our department:
+
generic page
 
+
<small>Courses that are part of our study programs, but are offered by other departments are not on THIS list. Please visit the [[Education|page for the respective study program]], to find links to the homepages of those courses, or teachers that are available/known to us. Please also note that some of the courses may be suspended in the coming semester: to find out about that, please at the [[Education|page for the respective study program]].</small>
+
 
+
'''Bachelor programs'''
+
 
+
* 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: [[Hardware|Computer Principles - Hardware]]
+
* 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: [[Operating Systems|Computer Principles - Operating Systems]]
+
* 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-360: [[Fundamentals of Artificial Intelligence 1|Fundamentals of Artificial Intelligence (1)]]
+
* 1-AIN-410: [[Mathematics 3|Mathematics (3)]]
+
* 1-AIN-470: [[Specification and Verification of Programs]]
+
* 1-AIN-411: [[Introduction to Computer Logic]]
+
* 1-AIN-425: [[Declarative Programming of Web Applications]]
+
* 1-AIN-430: [[Programming Paradigms]]
+
* 1-AIN-480: [[Neural Networks]]
+
* 1-AIN-500: [[Linux for Users]]
+
* 1-AIN-505: [[Introduction to Declarative Programming]]
+
* 1-AIN-510: [[Linux Principles and Means|Linux - Principles and Means]]
+
* 1-AIN-511: [[Functional Programming]]
+
* 1-AIN-515: [[Calculations in Science and Technology]]
+
* 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-611: [[Creative Writing]]
+
* 1-AIN-612: [[Development of Accessible E-documents and Programs for Visually Impaired]]
+
* 1-AIN-615: [[Introduction to Web Applications]]
+
* 1-AIN-616: [[Symbolic Programming and LISP]]
+
* 1-AIN-617: [[Answer Set Programming]]
+
* 1-AIN-625: [[Introduction to Mathematical Logic for Programmers]]
+
* 1-AIN-630: [[Formal Semantics and Theory of Correctness]]
+
* 1-AIN-646: [[Description Logics Ontologies and Semantics Web]]
+
* 1-AIN-655: [[Heuristic Methods]]
+
* 1-AIN-670: [[Expert Systems]]
+
* 1-AIN-675: [[Philosophy of Internet]]
+
* 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'''
+
 
+
* 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 Compression]]
+
* 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 Applications]]
+
* 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: [[Methods 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 2|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|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|Semester Project]]
+
* 2-IKV-123: [[Introduction to Neuroscience]]
+
* 2-IKV-131: [[Representation Knowledge Reasoning|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|Diploma Thesis Seminar]]
+
* 2-IKV-910: [[CogSci Diploma Thesis|Diploma Thesis]]
+
 
+
* 1-MXX-407: [[Brain and mind]]
+
* 1-MXX-406: [[Language and Cognition]]
+

Revision as of 19:21, 23 August 2008

generic page