(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: | ||
− | + | '''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
- 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
- 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
- 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-910: BSc Project
- 1-AIN-920: BSc Seminar
- 1-AIN-505: Introduction to Declarative Programming
- 1-AIN-410: 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)
- 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
- 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)
- 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