Bachelor program in Applied Informatics 2009/2010

This is a program composition according to the previous accreditaion. Hypertext links in this page may be non-functional, out of date, or point to a current version of the subject, which may be taught in a different way.

From the year 2010/2011, a new study program has been approved and put in use.

The guarantor of this program in the year 2009/2010 was Doc. RNDr. Mária Markošová, PhD.

Obligatory subjects

1-AIN-110	Mathematics (1)	Prešnajder P.		1/W	C4	6	50/50
1-AIN-120	Discrete Mathematics (1)	Jajcayová T.		1/W	C4	6	50/50
1-AIN-130	Programming (1)	Blaho A.		1/W	L4,P2	8	50/50
1-AIN-140	Computer Principles - Hardware	Fischer Ľ.		1/W	C4	5	50/50
1-AIN-150	Mathematics (2)	Prešnajder P.	1-AIN-110!	1/S	C4	6	50/50
1-AIN-160	Discrete Mathematics (2)	Jajcayová T.	1-AIN-120!	1/S	C4	6	50/50
1-AIN-170	Programming (2)	Blaho A.	1-AIN-130!	1/S	L2,P2	6	50/50
1-AIN-180	Computer Principles - Operating Systems	Blaho A.		1/S	C4	5	75/25
1-AIN-210	Algorithms and Data Structures	Kubincová Z.	1-AIN-170!	2/W	C4	5	0/100
1-AIN-220	Programming (Algorithms in Java) (3)	Borovanský P.		2/W	C4	5	50/50
1-AIN-230	Project (1)	Blaho A.		2/W	S1	1	100/0
1-INF-260	Computer Networks	Bebják A.		2/S	L3	4	0/100
1-AIN-240	Graphical Systems, Visualization, Multimedia	Ferko A.		2/S	C3	4	50/50
1-AIN-250	Fundamentals of Enterprise and Management	Papula J.		2/S	C2	3	0/100
1-AIN-260	Project (2)	Blaho A.		2/S	S1	2	100/0
1-AIN-910	BSc Project	Markošová M., Blaho A.		3/S	D	5	0/100
1-AIN-920	BSc Seminar	Blaho A., Petrovič Pa.		3/S	S1	1	100/0

Obligatory-Optional Subjects
choice under the terms in blocks, in total 48 credits in 2 blocks

Set of Theoretical Subjects, obligatory choice: 12 credits

1-AIN-505	Introduction to Declarative Programming	Kľuka J., Voda P.		1/S	L1,P2	4	60/40
1-INF-215	Formal Languages and Automata (1)	Rovan B.		2/W	L3,P1	6	30/70
1-AIN-410	Mathematics (3)	Jajcayová T.		2/W	C4	5	50/50
1-INF-210	Introduction to Mathematical Logic	Toman E., Šuster B.		2/W	L2,P2	6	20/80
1-AIN-625	Introduction to Mathematical Logic for Programmers	Komara J.		2/W	C4	6	40/60
1-AIN-470	Specification and Verification of Programs	Komara J.		2/S	C4	6	60/40
1-AIN-411	Introduction to Computer Logic	Homola M., Šefránek J.		2/S	L2,P2	5	50/50 S
1-AIN-430	Programming Paradigms	Borovanský P.		2/S	C4	5	50/50
1-INF-540	Geometry for Graphics	Božek M.		3/W	C4	5	50/50
1-INF-310	Design of Effective Algorithms	Ďuriš P.	1-INF-220! and 1-INF-160!	3/W	L3,P1	6	30/70
1-AIN-360	Fundamentals of Artificial Intelligence (1)	Markošová M.		3/W	L2,P2	6	40/60
1-INF-545	Geometric Transformations	Božek M.	1-INF-540	3/S	C2	4	50/50
1-AIN-670	Expert Systems	Popper M.		3/S	L2,P2	6	40/60
1-AIN-480	Neural Networks	Farkaš I.		3/S	L2,P2	6	50/50

Set of Applied Subjects, obligatory choice: 12 credits

1-INF-175	Social Aspects of Informatics	Winczer M.		1/S	C2	2	50/50
1-AIN-500	Linux for Users	Vittek M.		1/S	C2	2	100/0
1-INF-230	Introduction to Database Systems	Plachetka T., Mačajová E.	Limit: 145 students	2/W	L2,P2	5	50/50
1-AIN-425	Declarative Programming of Web Applications	Kľuka J., Voda P.	1-AIN-505	2/W	L1,P2	4	60/40
1-AIN-515	Calculations in Science and Technology	Šťavina P., Masarik J.		2/W	C3	4	50/50
1-AIN-510	Linux - Principles and Means	Nagy M.		2/W	C2	3	50/50
1-INF-500	Databases	Šturc J.	1-INF-230!	2/S	L3,LP1	6	30/70
1-AIN-520	Statistical Calculations	Lamoš F. (KAMS)		2/S	C3	4	50/50
1-AIN-525	Programming Techniques in C++	Gyárfáš F.		2/S	C4	5	50/50
1-INF-550	Web Graphics	Ferko A.		3/W	C4	5	50/50
1-AIN-530	Multimedia	Lúčan Ľ., Ftáčnik M.		3/W	L2	2	40/60
1-INF-505	Hypermedia Systems (web technologies)	Risak V.		3/W	C4	6	40/60
1-INF-510	Unix for System Administrators	Janáček J.		3/W	L2,LP1	4	40/60
1-AIN-535	Modelling and Rendering Techniques	Ďurikovič R.		3/W	C4	6	50/50
1-INF-515	Principles of Software Design	KI		3/S	L3,LP2	5	25/75
1-INF-520	Introduction to Information Security	Olejár D., Stanek M.		3/S	L3	4	0/100
1-AIN-540	Advanced Programming Techniques	Salanci Ľ.	Limit: 20 students	3/S	C4	6	50/50
1-AIN-545	Geometric Objects Representation	Zaťko V.	1-AIN-535	3/S	C4	5	50/50
1-AIN-550	Image Processing Fundamentals	Ftáčnik M.		3/S	C3	4	50/50

Electives

1-AIN-610	Creating Web Documents	Hrušecký R., Nagy M.		1/W	C3	3	50/50
1-INF-810	Time-Restricted Programming (1)	Winczer M., Královič Ra.		1/W	LP2	2	100/0
1-AIN-615	Introduction to Web Applications	Hrušecký R., Nagy M.	1-AIN-610	1/S	C3	3	50/50
1-AIN-636	Modern Approaches to Web Design	Homola, M.		1,2/W	L2,P2	6	50/50
1-AIN-612	Development of Accessible E-documents and Programs for Visually Impaired	KAI		1-3/W	C2	3	100/0
1-AIN-111	Mathematics Complementary Classes (1)	Prešnajder P.		1/W	P2	2	100/0
1-AIN-151	Mathematics Complementary Classes (2)	Prešnajder P.		1/S	P2	2	100/0
1-INF-815	Time-Restricted Programming (2)	Winczer M., Královič Ra.		1/S	LP2	2	100/0
1-INF-605	Mathematical Analysis (3)	Rostás K.	1-INF-150!	2/W	L3,P1	6	20/80
1-INF-410	Formal Languages and Automata (2)	Rovan B.	1-INF-215! and 1-INF-220	2/S	L3,P1	6	30/70
1-INF-415	Introduction to Theory of Programming	Prívara I., Guller D.		2/S	C3	4	20/80
1-INF-420	Combinatorial Analysis (1)	Olejár D., Stanek M.	1-INF-160!	2/S	C4	5	0/100
1-AIN-680	Extreme Programming	Gyárfáš F.		2/S	S2	3	50/50 s
1-INF-675	GNU/Linux - Principles and Means	Šrámek M.		3/W	C2	3	100/0
1-AIN-617	Answer Set Programming	Baláž M., Šefránek J.		3/W	L2,P2	6	25/75
1-INF-695	OpenGL	Samuelčík M.		3/W	C2	3	100/0
1-INF-430	Graph Theory	Škoviera M.	1-INF-160!	3/W	L3,P1	6	0/100
1-INF-435	Probability and Statistics	Harman R.		3/W	L3,P1	5	30/70
2-INF-132	Introduction to Distributed Algorithms	Královič Ra.		3/W	L4	6	30/70
2-INF-122	Theory of Parallel Computations	Rovan B.	1-INF-215!	3/W	L4	6	0/100
1-INF-645	Theory of Programming	Prívara I., Guller D.		3/W	C3	4	0/100 S
1-AIN-630	Formal Semantics and Theory of Correctness	KI		3/W	L3	6	50/50
1-AIN-655	Heuristic Methods	Ftáčnik M.		3/W	C2	3	100/0
1-AIN-685	Intelligent Techniques in e-learning	Gyárfáš F.	Limit: 50 students	3/W	S2	3	50/50
1-AIN-616	Symbolic Programming and LISP	Baláž M., Šefránek J.		3/S	L2,P2	6	50/50
1-INF-470	Semantic Fundamentals of Knowledge Systems	Šefránek J.		3/S	C4	6	20/80
2-INF-129	Introduction to Parallel Programming	Gruska D.		3/S	L3,P1	6	20/80
1-INF-440	Numerical Mathematics	Valková A.	1-INF-150! and 1-INF-155!	3/S	C3	4	20/80
2-INF-124	Computational Complexity	Ďuriš P.	1-INF-215! and 1-INF-410	3/S	L3,P1	6	0/100
1-INF-630	Optimization Methods (1)	Hamala M.		3/S	L2,P2	6	0/100
1-AIN-675	Philosophy of Internet	Gyárfáš F.	Limit: 50 students	3/S	L2	3	50/50
2-INF-127	Formal Specifications	Prívara I.		3/S	L4	6	0/100
1-AIN-611	Creative Writing	Gyárfáš F.		3/S	S2	3	50/50
1-AIN-521	Database Systems Implementation	Petrovič Pa., Golian R.		2/S	L2,LP2	5	60/40
1-AIN-172	Programming (4)	Borovanský P.		3/W	C4	5	60/40
1-AIN-551	Algorithms for AI Robotics	Petrovič Pa.		3/S	L2,LP1	4	50/50
1-AIN-511	Functional Programming	Borovanský P.		3/W	C2	3	50/50