(New page: Zoznam všetkých predmetov, ktoré zabezpečuje naša katedra: <small>Predmety, ktoré sú súčasťou našich študijných programov, ale sú zabezpečované inou katedrou nie sú v TOM...) |
|||
Riadok 6: | Riadok 6: | ||
* 1-AIN-110: [[Mathematics 1|Matematika (1)]] | * 1-AIN-110: [[Mathematics 1|Matematika (1)]] | ||
− | * 1-AIN-111: [[Mathematics Complementary Classes 1| | + | * 1-AIN-111: [[Mathematics Complementary Classes 1|Doplnkové cvičenie k matematike (1) ]] |
− | * 1-AIN-120: [[Discrete Mathematics 1| | + | * 1-AIN-120: [[Discrete Mathematics 1|Diskrétna matematika (1)]] |
− | * 1-AIN-130: [[Programming 1| | + | * 1-AIN-130: [[Programming 1|Programovanie (1)]] |
− | * 1-AIN-140: [[Hardware| | + | * 1-AIN-140: [[Hardware|Princípy počítačov - hardvér]] |
− | * 1-AIN-150: [[Mathematics 2| | + | * 1-AIN-150: [[Mathematics 2|Matematika (2)]] |
− | * 1-AIN-151: [[Mathematics Complementary Classes 2| | + | * 1-AIN-151: [[Mathematics Complementary Classes 2|Doplnkové cvičenie k matematike (2)]] |
− | * 1-AIN-160: [[Discrete Mathematics 2| | + | * 1-AIN-160: [[Discrete Mathematics 2|Diskrétna matematika (2)]] |
− | * 1-AIN-170: [[Programming 2| | + | * 1-AIN-170: [[Programming 2|Programovanie (2)]] |
− | * 1-AIN-172: [[Programming 4| | + | * 1-AIN-172: [[Programming 4|Programovanie (4)]] |
− | * 1-AIN-180: [[Operating Systems| | + | * 1-AIN-180: [[Operating Systems|Princípy počítačov - Operačné systémy]] |
− | * 1-AIN-210: [[Algorithms and Data Structures]] | + | * 1-AIN-210: [[Algorithms and Data Structures|Algoritmy a dátové štruktúry]] |
− | * 1-AIN-220: [[Programming 3| | + | * 1-AIN-220: [[Programming 3|Programovanie (Algoritmy v Jave) (3)]] |
− | * 1-AIN-230: [[Project 1| | + | * 1-AIN-230: [[Project 1|Projekt (1)]] |
− | * 1-AIN-240: [[Graphical Systems Visualization Multimedia| | + | * 1-AIN-240: [[Graphical Systems Visualization Multimedia|Grafické systémy, vizualizácia, multimédiá]] |
− | * 1-AIN-250: [[Fundamentals of Enterprise and Management]] | + | * 1-AIN-250: [[Fundamentals of Enterprise and Management|Základy podnikania a manažmentu]] |
− | * 1-AIN-260: [[Project 2| | + | * 1-AIN-260: [[Project 2|Projekt (2)]] |
− | * 1-AIN-360: [[Fundamentals of Artificial Intelligence 1| | + | * 1-AIN-360: [[Fundamentals of Artificial Intelligence 1|Základy umelej inteligencie (1)]] |
− | * 1-AIN-410: [[Mathematics 3| | + | * 1-AIN-410: [[Mathematics 3|Matematika (3)]] |
− | * 1-AIN-470: [[Specification and Verification of Programs]] | + | * 1-AIN-470: [[Specification and Verification of Programs|Špecifikácia a verifikácia programov]] |
− | * 1-AIN-411: [[Introduction to Computer Logic]] | + | * 1-AIN-411: [[Introduction to Computer Logic|Úvod do výpočtovej logiky]] |
− | * 1-AIN-425: [[Declarative Programming of Web Applications]] | + | * 1-AIN-425: [[Declarative Programming of Web Applications|Deklaratívne programovanie webovských aplikácií]] |
− | * 1-AIN-430: [[Programming Paradigms]] | + | * 1-AIN-430: [[Programming Paradigms|Programovacie paradigmy]] |
− | * 1-AIN-480: [[Neural Networks]] | + | * 1-AIN-480: [[Neural Networks|Neurónové siete]] |
− | * 1-AIN-500: [[Linux for Users]] | + | * 1-AIN-500: [[Linux for Users|Linux pre používateľov]] |
− | * 1-AIN-505: [[Introduction to Declarative Programming]] | + | * 1-AIN-505: [[Introduction to Declarative Programming|Úvod do deklaratívneho programovania]] |
− | * 1-AIN-510: [[Linux Principles and Means|Linux - | + | * 1-AIN-510: [[Linux Principles and Means|Linux - princípy a prostriedky]] |
− | * 1-AIN-511: [[Functional Programming]] | + | * 1-AIN-511: [[Functional Programming|Funkcionálne programovanie]] |
− | * 1-AIN-515: [[Calculations in Science and Technology]] | + | * 1-AIN-515: [[Calculations in Science and Technology|Vedecko-technické výpočty]] |
− | * 1-AIN-520: [[Statistical Calculations]] | + | * 1-AIN-520: [[Statistical Calculations|Štatistické výpočty]] |
− | * 1-AIN-521: [[Database Systems Implementation]] | + | * 1-AIN-521: [[Database Systems Implementation|Implementácia databázových systémov]] |
− | * 1-AIN-525: [[Programming Techniques in C++]] | + | * 1-AIN-525: [[Programming Techniques in C++|Programovacie techniky v C++]] |
− | * 1-AIN-530: [[Multimedia]] | + | * 1-AIN-530: [[Multimedia|Multimédiá]] |
− | * 1-AIN-535: [[Modelling and Rendering Techniques]] | + | * 1-AIN-535: [[Modelling and Rendering Techniques|Modelovacie a renderovacie techniky]] |
− | * 1-AIN-540: [[Advanced Programming Techniques]] | + | * 1-AIN-540: [[Advanced Programming Techniques|Pokročilé programátorské techniky]] |
− | * 1-AIN-545: [[Geometric Objects Representation]] | + | * 1-AIN-545: [[Geometric Objects Representation|Reprezentácie geometrických objektov]] |
− | * 1-AIN-550: [[Image Processing Fundamentals]] | + | * 1-AIN-550: [[Image Processing Fundamentals|Základy spracovania obrazu]] |
− | * 1-AIN-551: [[Algorithms for AI Robotics]] | + | * 1-AIN-551: [[Algorithms for AI Robotics|Algoritmy pre AI robotiku]] |
− | * 1-AIN-610: [[Creating Web Documents]] | + | * 1-AIN-610: [[Creating Web Documents|Tvorba webových dokumentov]] |
− | * 1-AIN-611: [[Creative Writing]] | + | * 1-AIN-611: [[Creative Writing|Tvorivé písanie]] |
− | * 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|Tvorba prístupných e dokumentov a programov pre nevidiacich]] |
− | * 1-AIN-615: [[Introduction to Web Applications]] | + | * 1-AIN-615: [[Introduction to Web Applications|Úvod do webových aplikácií]] |
− | * 1-AIN-616: [[Symbolic Programming and LISP]] | + | * 1-AIN-616: [[Symbolic Programming and LISP|Symbolické programovanie a LISP]] |
− | * 1-AIN-617: [[Answer Set Programming]] | + | * 1-AIN-617: [[Answer Set Programming|Logické programovanie ASP]] |
− | * 1-AIN-625: [[Introduction to Mathematical Logic for Programmers]] | + | * 1-AIN-625: [[Introduction to Mathematical Logic for Programmers|Úvod do matematickej logiky pre programátorov]] |
− | * 1-AIN-630: [[Formal Semantics and Theory of Correctness]] | + | * 1-AIN-630: [[Formal Semantics and Theory of Correctness|Formálna sémantika a teória správnosti]] |
− | * 1-AIN-646: [[Description Logics Ontologies and Semantics Web]] | + | * 1-AIN-646: [[Description Logics Ontologies and Semantics Web|Deskripčné logiky, ontológie a sémantický web]] |
− | * 1-AIN-655: [[Heuristic Methods]] | + | * 1-AIN-655: [[Heuristic Methods|Heuristické metódy]] |
− | * 1-AIN-670: [[Expert Systems]] | + | * 1-AIN-670: [[Expert Systems|Expertné systémy]] |
− | * 1-AIN-675: [[Philosophy of Internet]] | + | * 1-AIN-675: [[Philosophy of Internet|Filozofia Internetu]] |
− | * 1-AIN-680: [[Extreme Programming]] | + | * 1-AIN-680: [[Extreme Programming|Extrémne programovanie]] |
− | * 1-AIN-685: [[Intelligent Techniques in e-learning]] | + | * 1-AIN-685: [[Intelligent Techniques in e-learning|Inteligentné techniky v e-Learningu]] |
− | * 1-AIN-910: [[BSc Project]] | + | * 1-AIN-910: [[BSc Project|BSc Projekt]] |
− | * 1-AIN-920: [[BSc Seminar]] | + | * 1-AIN-920: [[BSc Seminar|BSc Seminár]] |
'''Master programs''' | '''Master programs''' | ||
− | * 2-AIN-102: [[Discrete Geometric Structures]] | + | * 2-AIN-102: [[Discrete Geometric Structures|Diskrétne geometrické štruktúry]] |
− | * 2-AIN-106: [[Complexity Theory]] | + | * 2-AIN-106: [[Complexity Theory|Teória zložitosti]] |
− | * 2-AIN-109: [[Programming of Parallel and Distributed Systems]] | + | * 2-AIN-109: [[Programming of Parallel and Distributed Systems|Programovanie paralelných a distribuovaných systémov]] |
− | * 2-AIN-122: [[Real Time Graphics]] | + | * 2-AIN-122: [[Real Time Graphics|Grafika v reálnom čase]] |
− | * 2-AIN-123: [[Computer Vision 1| | + | * 2-AIN-123: [[Computer Vision 1|Počítačové videnie (1)]] |
− | * 2-AIN-124: [[Computer Vision 2| | + | * 2-AIN-124: [[Computer Vision 2|Počítačové (2)]] |
− | * 2-AIN-126: [[Data Compression]] | + | * 2-AIN-126: [[Data Compression|Kompresia dát]] |
− | * 2-AIN-141: [[Expert Systems 1| | + | * 2-AIN-141: [[Expert Systems 1|Expertné Systémy (1)]] |
− | * 2-AIN-143: [[Qualitative Modelling and Simulation| | + | * 2-AIN-143: [[Qualitative Modelling and Simulation|Kvalitatívne modelovanie a simulácia]] |
− | * 2-AIN-144: [[Knowledge Representation and Reasoning| | + | * 2-AIN-144: [[Knowledge Representation and Reasoning|Reprezentácia znalostí a inferencia]] |
− | * 2-AIN-146: [[Universal Algebra for Informatics]] | + | * 2-AIN-146: [[Universal Algebra for Informatics|Univerzálna algebra pre informatikov]] |
− | * 2-AIN-161: [[Applied Numerical Mathematics]] | + | * 2-AIN-161: [[Applied Numerical Mathematics|Aplikovaná numerická matematika]] |
− | * 2-AIN-172: [[UNIX for Users]] | + | * 2-AIN-172: [[UNIX for Users|UNIX pre používateľov]] |
* 2-AIN-173: [[GNU Linux]] | * 2-AIN-173: [[GNU Linux]] | ||
− | * 2-AIN-174: [[Advanced C++]] | + | * 2-AIN-174: [[Advanced C++|Pokročilé C++]] |
− | * 2-AIN-181: [[Evolutionary Algorithms]] | + | * 2-AIN-181: [[Evolutionary Algorithms|Evolučné algoritmy]] |
− | * 2-AIN-184: [[Logic for Artificial Intelligence]] | + | * 2-AIN-184: [[Logic for Artificial Intelligence|Logiky pre umelú inteligenciu]] |
− | * 2-AIN-185: [[Formal Methods of Software Development]] | + | * 2-AIN-185: [[Formal Methods of Software Development|Formálne metódy tvorby softvéru]] |
− | * 2-AIN-201: [[Physical-based Animations and Mathematical Modeling]] | + | * 2-AIN-201: [[Physical-based Animations and Mathematical Modeling|Matematické modelovanie a počítačová animácia fyzikálnych procesov]] |
− | * 2-AIN-203: [[Social and Legal Aspects of Information Systems]] | + | * 2-AIN-203: [[Social and Legal Aspects of Information Systems|Spoločenské a právne aspekty informačných systémov]] |
− | * 2-AIN-221: [[Graphics Systems and Standards]] | + | * 2-AIN-221: [[Graphics Systems and Standards|Grafické systémy a normy ]] |
− | * 2-AIN-222: [[Computer Graphics Applications]] | + | * 2-AIN-222: [[Computer Graphics Applications|Aplikácie počítačovej grafiky]] |
− | * 2-AIN-233: [[Computer Vision Applications]] | + | * 2-AIN-233: [[Computer Vision Applications|Aplikácie počítačového videnia]] |
− | * 2-AIN-241: [[Expert Systems 2| | + | * 2-AIN-241: [[Expert Systems 2|Expertné Systémy (2)]] |
− | * 2-AIN-244: [[Seminar in Expert Systems]] | + | * 2-AIN-244: [[Seminar in Expert Systems|Seminár z expertných systémov]] |
− | * 2-AIN-245: [[Judgement Involving Uncertainty]] | + | * 2-AIN-245: [[Judgement Involving Uncertainty|Usudzovanie za prítomnosti neurčitosti]] |
− | * 2-AIN-246: [[Multiagent Systems]] | + | * 2-AIN-246: [[Multiagent Systems|Multiagentové systémy]] |
− | * 2-AIN-262: [[Information Visualisation]] | + | * 2-AIN-262: [[Information Visualisation|Vizualizácia informácií]] |
− | * 2-AIN-263: [[Photorealism]] | + | * 2-AIN-263: [[Photorealism|Fotorealistické zobrazovanie]] |
* 2-AIN-264: [[OpenCV]] | * 2-AIN-264: [[OpenCV]] | ||
− | * 2-AIN-265: [[Multidimensional Data Visualisation]] | + | * 2-AIN-265: [[Multidimensional Data Visualisation|Vizualizácia viacrozmerných dát ]] |
− | * 2-AIN-270: [[Colour Image Processing]] | + | * 2-AIN-270: [[Colour Image Processing|Spracovanie farebného obrazu]] |
− | * 2-AIN-271: [[Image Processing for Medicine]] | + | * 2-AIN-271: [[Image Processing for Medicine|Spracovanie medicínskych obrazov]] |
− | * 2-AIN-274: [[Multimedia and Sound Processing]] | + | * 2-AIN-274: [[Multimedia and Sound Processing|Multimédiá a spracovanie zvuku]] |
− | * 2-AIN-281: [[Computational and Cognitive Linguistics]] | + | * 2-AIN-281: [[Computational and Cognitive Linguistics|Výpočtová a kognitívna lingvistika]] |
− | * 2-AIN-282: [[Quantum Algorithms and Automata]] | + | * 2-AIN-282: [[Quantum Algorithms and Automata|Kvantové algoritmy a automaty]] |
− | * 2-AIN-283: [[Development of Critical Applications]] | + | * 2-AIN-283: [[Development of Critical Applications|Tvorba kritických aplikácií]] |
− | * 2-AIN-284: [[Artificial Intelligence Seminar 1| | + | * 2-AIN-284: [[Artificial Intelligence Seminar 1|Seminár z umelej inteligencie (1)]] |
− | * 2-AIN-501: [[Methods in Bioinformatics]] | + | * 2-AIN-501: [[Methods in Bioinformatics|Metódy v bioinformatike]] |
− | * 2-AIN-503: [[Seminar in Bioinformatics 1| | + | * 2-AIN-503: [[Seminar in Bioinformatics 1|Seminár z bioinformatiky (1)]] |
− | * 2-AIN-502: [[Fundamentals of Programming for Biology Students]] | + | * 2-AIN-502: [[Fundamentals of Programming for Biology Students|Základy programovania pre študentov biológie]] |
− | * 2-AIN-504: [[Seminar in Bioinformatics| | + | * 2-AIN-504: [[Seminar in Bioinformatics|Seminár z bioinformatiky (2)]] |
− | * 2-AIN-910: [[Diploma Thesis 1| | + | * 2-AIN-910: [[Diploma Thesis 1|Diplomová práca (1)]] |
− | * 2-AIN-911: [[Diploma Thesis 2| | + | * 2-AIN-911: [[Diploma Thesis 2|Diplomová práca(2)]] |
− | * 2-AIN-921: [[Project Seminar 1| | + | * 2-AIN-921: [[Project Seminar 1|Projektový seminár (1)]] |
− | * 2-AIN-922: [[Project Seminar 2| | + | * 2-AIN-922: [[Project Seminar 2|Projektový seminár (2)]] |
− | * 2-IKV-101: [[CogSci Programming 1| | + | * 2-IKV-101: [[CogSci Programming 1|Programovanie (1)]] |
− | * 2-IKV-102: [[CogSci Mathematics| | + | * 2-IKV-102: [[CogSci Mathematics|Matematika]] |
− | * 2-IKV-103: [[Fundamentals of Artificial Intelligence for Cognitive Science]] | + | * 2-IKV-103: [[Fundamentals of Artificial Intelligence for Cognitive Science|Základy umelej inteligencie pre kognitívnu vedu]] |
− | * 2-IKV-111: [[Introduction to Psychology]] | + | * 2-IKV-111: [[Introduction to Psychology|Základy psychológie]] |
− | * 2-IKV-112: [[Modern Social Theories]] | + | * 2-IKV-112: [[Modern Social Theories|Moderné sociálne teórie]] |
− | * 2-IKV-113: [[Cognitive Psychology]] | + | * 2-IKV-113: [[Cognitive Psychology|Kognitívna psychológia]] |
− | * 2-IKV-114: [[Introduction to Philosophy of Mind]] | + | * 2-IKV-114: [[Introduction to Philosophy of Mind|Úvod do filozofie mysle ]] |
− | * 2-IKV-115: [[Introduction to Computer Intelligence]] | + | * 2-IKV-115: [[Introduction to Computer Intelligence|Úvod do výpočtovej inteligencie]] |
− | * 2-IKV-121: [[Introduction to Cognitive Science]] | + | * 2-IKV-121: [[Introduction to Cognitive Science|Úvod do kognitívnej vedy]] |
− | * 2-IKV-122: [[CogSci Semester Project| | + | * 2-IKV-122: [[CogSci Semester Project|Semestrálny projekt]] |
− | * 2-IKV-123: [[Introduction to Neuroscience]] | + | * 2-IKV-123: [[Introduction to Neuroscience|Úvod do neurovedy]] |
− | * 2-IKV-131: [[Representation Knowledge Reasoning| | + | * 2-IKV-131: [[Representation Knowledge Reasoning|Reprezentácia, poznatky a usudzovanie]] |
− | * 2-IKV-133: [[Fundamentals of Artificial Intelligence 2| | + | * 2-IKV-133: [[Fundamentals of Artificial Intelligence 2|Základy umelej inteligencie (2)]] |
− | * 2-IKV-135: [[Neurocomputing]] | + | * 2-IKV-135: [[Neurocomputing|Neuropočítanie]] |
− | * 2-IKV-141: [[Current Trends in Cognitive Psychology]] | + | * 2-IKV-141: [[Current Trends in Cognitive Psychology|Aktuálne trendy v kognitívnej psychológii]] |
− | * 2-IKV-142: [[Philosophy of Action]] | + | * 2-IKV-142: [[Philosophy of Action|Filozofia konania]] |
− | * 2-IKV-143: [[Philosophy of Language]] | + | * 2-IKV-143: [[Philosophy of Language|Filozofia jazyka]] |
− | * 2-IKV-164: [[Multiagent Systems]] | + | * 2-IKV-164: [[Multiagent Systems|Multiagentové systémy]] |
− | * 2-IKV-167: [[Practical Classes in Robotics]] | + | * 2-IKV-167: [[Practical Classes in Robotics|Praktický seminár robotiky]] |
− | * 2-IKV-181: [[Meaning and Communication]] | + | * 2-IKV-181: [[Meaning and Communication|Význam a komunikácia]] |
− | * 2-IKV-182: [[Current Theories of Consciousness]] | + | * 2-IKV-182: [[Current Theories of Consciousness|Súčasné teórie vedomia]] |
− | * 2-IKV-183: [[Psycholinguistics]] | + | * 2-IKV-183: [[Psycholinguistics|Psycholingvistika]] |
− | * 2-IKV-184: [[Cognitive Antropology]] | + | * 2-IKV-184: [[Cognitive Antropology|Kognitívna antropológia]] |
− | * 2-IKV-232: [[Cognitive Semantics and Cognitive Theory of Representation]] | + | * 2-IKV-232: [[Cognitive Semantics and Cognitive Theory of Representation|Kognitívna sémantika a kognitívna teória reprezentácie]] |
− | * 2-IKV-233: [[Cognitive Laboratory]] | + | * 2-IKV-233: [[Cognitive Laboratory|Kognitívne laboratórium]] |
− | * 2-IKV-234: [[Knowledgeable Problem Solving Systems]] | + | * 2-IKV-234: [[Knowledgeable Problem Solving Systems|Znalostné systémy]] |
− | * 2-IKV-235: [[New Trends in Cognitive Science]] | + | * 2-IKV-235: [[New Trends in Cognitive Science|Nové trendy v kognitívnej vede]] |
− | * 2-IKV-261: [[Logic and Cognitive Science]] | + | * 2-IKV-261: [[Logic and Cognitive Science|Logika a kognitívna veda]] |
− | * 2-IKV-262: [[Computational Psycholinguistics]] | + | * 2-IKV-262: [[Computational Psycholinguistics|Výpočtová psycholingvistika]] |
− | * 2-IKV-265: [[Speech Recognition]] | + | * 2-IKV-265: [[Speech Recognition|Rozpoznávanie reči]] |
− | * 2-IKV-267: [[Mathematical Logic for Cognitive Science]] | + | * 2-IKV-267: [[Mathematical Logic for Cognitive Science|Matematická logika pre kognitívnu vedu]] |
− | * 2-IKV-921: [[CogSci Diploma Thesis Seminar| | + | * 2-IKV-921: [[CogSci Diploma Thesis Seminar|Diplomový seminár]] |
− | * 2-IKV-910: [[CogSci Diploma Thesis| | + | * 2-IKV-910: [[CogSci Diploma Thesis|Diplomová práca]] |
− | * 1-MXX-407: [[Brain and mind]] | + | * 1-MXX-407: [[Brain and mind|Mozog a myseľ]] |
− | * 1-MXX-406: [[Language and Cognition]] | + | * 1-MXX-406: [[Language and Cognition|Jazyk a kognícia]] |
Verzia zo dňa a času 14:31, 20. august 2008
Zoznam všetkých predmetov, ktoré zabezpečuje naša katedra:
Predmety, ktoré sú súčasťou našich študijných programov, ale sú zabezpečované inou katedrou nie sú v TOMTO zozname. Prosím pozrite si stránku pre príslušný štúdijný program, kde nájdete linky na stránky týchto predmetov, ak o nich vieme. Tiež prosím pamätajte, že niektoré predmety sú v tomto školskom roku suspendované, čo je ale vyznačené iba na stránke príslušného štúdijného programu.
Bakalárske programy
- 1-AIN-110: Matematika (1)
- 1-AIN-111: Doplnkové cvičenie k matematike (1)
- 1-AIN-120: Diskrétna matematika (1)
- 1-AIN-130: Programovanie (1)
- 1-AIN-140: Princípy počítačov - hardvér
- 1-AIN-150: Matematika (2)
- 1-AIN-151: Doplnkové cvičenie k matematike (2)
- 1-AIN-160: Diskrétna matematika (2)
- 1-AIN-170: Programovanie (2)
- 1-AIN-172: Programovanie (4)
- 1-AIN-180: Princípy počítačov - Operačné systémy
- 1-AIN-210: Algoritmy a dátové štruktúry
- 1-AIN-220: Programovanie (Algoritmy v Jave) (3)
- 1-AIN-230: Projekt (1)
- 1-AIN-240: Grafické systémy, vizualizácia, multimédiá
- 1-AIN-250: Základy podnikania a manažmentu
- 1-AIN-260: Projekt (2)
- 1-AIN-360: Základy umelej inteligencie (1)
- 1-AIN-410: Matematika (3)
- 1-AIN-470: Špecifikácia a verifikácia programov
- 1-AIN-411: Úvod do výpočtovej logiky
- 1-AIN-425: Deklaratívne programovanie webovských aplikácií
- 1-AIN-430: Programovacie paradigmy
- 1-AIN-480: Neurónové siete
- 1-AIN-500: Linux pre používateľov
- 1-AIN-505: Úvod do deklaratívneho programovania
- 1-AIN-510: Linux - princípy a prostriedky
- 1-AIN-511: Funkcionálne programovanie
- 1-AIN-515: Vedecko-technické výpočty
- 1-AIN-520: Štatistické výpočty
- 1-AIN-521: Implementácia databázových systémov
- 1-AIN-525: Programovacie techniky v C++
- 1-AIN-530: Multimédiá
- 1-AIN-535: Modelovacie a renderovacie techniky
- 1-AIN-540: Pokročilé programátorské techniky
- 1-AIN-545: Reprezentácie geometrických objektov
- 1-AIN-550: Základy spracovania obrazu
- 1-AIN-551: Algoritmy pre AI robotiku
- 1-AIN-610: Tvorba webových dokumentov
- 1-AIN-611: Tvorivé písanie
- 1-AIN-612: Tvorba prístupných e dokumentov a programov pre nevidiacich
- 1-AIN-615: Úvod do webových aplikácií
- 1-AIN-616: Symbolické programovanie a LISP
- 1-AIN-617: Logické programovanie ASP
- 1-AIN-625: Úvod do matematickej logiky pre programátorov
- 1-AIN-630: Formálna sémantika a teória správnosti
- 1-AIN-646: Deskripčné logiky, ontológie a sémantický web
- 1-AIN-655: Heuristické metódy
- 1-AIN-670: Expertné systémy
- 1-AIN-675: Filozofia Internetu
- 1-AIN-680: Extrémne programovanie
- 1-AIN-685: Inteligentné techniky v e-Learningu
- 1-AIN-910: BSc Projekt
- 1-AIN-920: BSc Seminár
Master programs
- 2-AIN-102: Diskrétne geometrické štruktúry
- 2-AIN-106: Teória zložitosti
- 2-AIN-109: Programovanie paralelných a distribuovaných systémov
- 2-AIN-122: Grafika v reálnom čase
- 2-AIN-123: Počítačové videnie (1)
- 2-AIN-124: Počítačové (2)
- 2-AIN-126: Kompresia dát
- 2-AIN-141: Expertné Systémy (1)
- 2-AIN-143: Kvalitatívne modelovanie a simulácia
- 2-AIN-144: Reprezentácia znalostí a inferencia
- 2-AIN-146: Univerzálna algebra pre informatikov
- 2-AIN-161: Aplikovaná numerická matematika
- 2-AIN-172: UNIX pre používateľov
- 2-AIN-173: GNU Linux
- 2-AIN-174: Pokročilé C++
- 2-AIN-181: Evolučné algoritmy
- 2-AIN-184: Logiky pre umelú inteligenciu
- 2-AIN-185: Formálne metódy tvorby softvéru
- 2-AIN-201: Matematické modelovanie a počítačová animácia fyzikálnych procesov
- 2-AIN-203: Spoločenské a právne aspekty informačných systémov
- 2-AIN-221: Grafické systémy a normy
- 2-AIN-222: Aplikácie počítačovej grafiky
- 2-AIN-233: Aplikácie počítačového videnia
- 2-AIN-241: Expertné Systémy (2)
- 2-AIN-244: Seminár z expertných systémov
- 2-AIN-245: Usudzovanie za prítomnosti neurčitosti
- 2-AIN-246: Multiagentové systémy
- 2-AIN-262: Vizualizácia informácií
- 2-AIN-263: Fotorealistické zobrazovanie
- 2-AIN-264: OpenCV
- 2-AIN-265: Vizualizácia viacrozmerných dát
- 2-AIN-270: Spracovanie farebného obrazu
- 2-AIN-271: Spracovanie medicínskych obrazov
- 2-AIN-274: Multimédiá a spracovanie zvuku
- 2-AIN-281: Výpočtová a kognitívna lingvistika
- 2-AIN-282: Kvantové algoritmy a automaty
- 2-AIN-283: Tvorba kritických aplikácií
- 2-AIN-284: Seminár z umelej inteligencie (1)
- 2-AIN-501: Metódy v bioinformatike
- 2-AIN-503: Seminár z bioinformatiky (1)
- 2-AIN-502: Základy programovania pre študentov biológie
- 2-AIN-504: Seminár z bioinformatiky (2)
- 2-AIN-910: Diplomová práca (1)
- 2-AIN-911: Diplomová práca(2)
- 2-AIN-921: Projektový seminár (1)
- 2-AIN-922: Projektový seminár (2)
- 2-IKV-101: Programovanie (1)
- 2-IKV-102: Matematika
- 2-IKV-103: Základy umelej inteligencie pre kognitívnu vedu
- 2-IKV-111: Základy psychológie
- 2-IKV-112: Moderné sociálne teórie
- 2-IKV-113: Kognitívna psychológia
- 2-IKV-114: Úvod do filozofie mysle
- 2-IKV-115: Úvod do výpočtovej inteligencie
- 2-IKV-121: Úvod do kognitívnej vedy
- 2-IKV-122: Semestrálny projekt
- 2-IKV-123: Úvod do neurovedy
- 2-IKV-131: Reprezentácia, poznatky a usudzovanie
- 2-IKV-133: Základy umelej inteligencie (2)
- 2-IKV-135: Neuropočítanie
- 2-IKV-141: Aktuálne trendy v kognitívnej psychológii
- 2-IKV-142: Filozofia konania
- 2-IKV-143: Filozofia jazyka
- 2-IKV-164: Multiagentové systémy
- 2-IKV-167: Praktický seminár robotiky
- 2-IKV-181: Význam a komunikácia
- 2-IKV-182: Súčasné teórie vedomia
- 2-IKV-183: Psycholingvistika
- 2-IKV-184: Kognitívna antropológia
- 2-IKV-232: Kognitívna sémantika a kognitívna teória reprezentácie
- 2-IKV-233: Kognitívne laboratórium
- 2-IKV-234: Znalostné systémy
- 2-IKV-235: Nové trendy v kognitívnej vede
- 2-IKV-261: Logika a kognitívna veda
- 2-IKV-262: Výpočtová psycholingvistika
- 2-IKV-265: Rozpoznávanie reči
- 2-IKV-267: Matematická logika pre kognitívnu vedu
- 2-IKV-921: Diplomový seminár
- 2-IKV-910: Diplomová práca
- 1-MXX-407: Mozog a myseľ
- 1-MXX-406: Jazyk a kognícia