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- | + | * 1-AIN-360: [[Fundamentals of Artificial Intelligence 1|Fundamentals of Artificial Intelligence (1)]] |
− | + | ||
− | + | ||
* 1-AIN-410: [[Mathematics 3|Mathematics (3)]] | * 1-AIN-410: [[Mathematics 3|Mathematics (3)]] | ||
− | |||
* 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-480: [[Neural Networks]] | * 1-AIN-480: [[Neural Networks]] | ||
* 1-AIN-500: [[Linux for Users]] | * 1-AIN-500: [[Linux for Users]] | ||
− | * 1-AIN- | + | * 1-AIN-505: [[Introduction to Declarative Programming]] |
− | + | ||
* 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- | + | * 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- | + | * 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- | + | * 1-AIN-670: [[Expert Systems]] |
− | + | ||
* 1-AIN-675: [[Philophy of Internet]] | * 1-AIN-675: [[Philophy of Internet]] | ||
− | * 1-AIN- | + | * 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 12:47, 17. august 2008
This page lists all courses offered by our department:
Bachelor programs
- 1-AIN-110: Mathematics (1)
- 1-AIN-111: Mathematics Complementary Classes (1)
- 1-AIN-120: Discrete Mathematics (1)
- 1-AIN-130: Programming (1)
- 1-AIN-140: Computer Principles - Hardware
- 1-AIN-150: Mathematics (2)
- 1-AIN-151: Mathematics Complementary Classes (2)
- 1-AIN-160: Discrete Mathematics (2)
- 1-AIN-170: Programming (2)
- 1-AIN-172: Programming (4)
- 1-AIN-180: Computer Principles - Operating Systems
- 1-AIN-210: Algorithms and Data Structures
- 1-AIN-220: Programming (Algorithms in Java) (3)
- 1-AIN-230: Project (1)
- 1-AIN-240: Graphical Systems, Visualization, Multimedia
- 1-AIN-250: Fundamentals of Enterprise and Management
- 1-AIN-260: Project (2)
- 1-AIN-360: Fundamentals of Artificial Intelligence (1)
- 1-AIN-410: 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
- 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-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-630: Formal Semantics and Theory of Correctness
- 1-AIN-655: Heuristic Methods
- 1-AIN-670: Expert Systems
- 1-AIN-675: Philophy 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)
- 2-AIN-124: Computer Vision (2)
- 2-AIN-126: Data Compresion
- 2-AIN-141: Expert Systems (1)
- 2-AIN-143: Qualitative Modelling and Simulation
- 2-AIN-144: 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)
- 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)
- 2-AIN-501: ethods in Bioinformatics
- 2-AIN-503: Seminar in Bioinformatics (1)
- 2-AIN-502: Fundamentals of Programming for Biology Students
- 2-AIN-504: Seminar in Bioinformatics (2)
- 2-AIN-910: Diploma Thesis (1)
- 2-AIN-911: Diploma Thesis (2)
- 2-AIN-921: Project Seminar (1)
- 2-AIN-922: Project Seminar (2)
- 2-IKV-101: 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)
- 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