Block - Špecializácia štúdia |
Min.
35
Credits
|
Abbreviation |
Name |
Current |
Credit |
Range |
End |
Year |
Sem. |
Prerequisites |
Teacher |
ÚINF/AFJD/15
|
Formal languages and finite-state automata |
|
9 |
2L |
S |
|
S |
|
Geffert |
ÚINF/FKAD/15
|
Formal concept analysis |
|
8 |
2L |
S |
|
S |
|
Krídlo |
ÚINF/KRYD/15
|
Cryptology |
|
9 |
2L |
S |
|
W |
|
Jirásek |
ÚINF/KVAD/15
|
Quantum algorithms |
|
8 |
2L |
S |
|
S |
|
Semanišin |
ÚINF/LOGD/15
|
Logic |
|
9 |
2L |
S |
|
W |
|
Krajči |
ÚINF/MBPD/15
|
Modelling and analysis of security protocols |
|
9 |
2L |
H |
|
S |
|
Jirásek |
ÚINF/MNID/15
|
Models of imperfect information |
|
9 |
2L |
S |
|
S |
|
Krídlo |
ÚINF/NEK1/15
|
Neurocognition |
|
9 |
2L + 2P |
S |
|
W |
|
Kopčo |
ÚINF/PAHD/15
|
Probabilistic and approximate algorithms |
|
9 |
2L + 1P |
S |
|
S |
|
Geffert, Semanišin |
ÚINF/SDSD/15
|
Data and signal processing |
|
8 |
2L |
S |
|
W |
|
Török |
ÚINF/TNSD/15
|
Theoretical aspects of neural networks |
|
9 |
2L |
H |
|
W |
|
Antoni, Andrejková |
ÚINF/VYMD/15
|
Computational complexity and models |
|
9 |
2L |
S |
|
W |
|
Geffert |
ÚINF/MUID/18
|
Methods of computational learning and artificial intelligence |
|
9 |
2L |
H |
|
S |
|
Antoni, Andrejková |
ÚINF/VKDD/15
|
Selected topics on numerical analysis and data mining |
|
8 |
2L |
S |
|
S |
|
Török |
ÚINF/MABD/17
|
Methods of computer and network security analysis |
|
9 |
2L + 2P |
S |
|
S |
|
Sokol |
ÚINF/UAND/25
|
Introduction to neurocognitive data analysis |
|
9 |
3L |
A |
|
S |
|
Kopčo |
ÚINF/PAND/25
|
Advanced neurocognitive data analysis |
|
9 |
3L |
A |
|
W |
|
Kopčo, Jirásek |
ÚINF/IVDPM/25
|
Informatics Education: Didactic Approaches and Methods |
|
8 |
1L + 2P |
A |
|
S |
|
Šnajder |