Department of Intelligent Systems

Title	Abbrv	Sem	Cred	Compl
Agents and Multiagent Systems	AGS	W	5	Ex
Information System Security and Cryptography	BID	S	0	Ex
Biometric Systems	BIO	W	5	Cr+Ex
Information System Security	BIS	W	5	Cr+Ex
Wireless and Mobile Networks	BMS	W	5	Cr+Ex
Dynamic Languages	DJA	S	5	Ex
Formal Program Analysis	FAD	W	0	Ex
Geographical Information Systems	GIS	S	5	Cr+Ex
Advanced Mathematics	IAM	S	5	ClCr
Binary Code Analysis	IAN	S	4	ClCr
Machine Level Programming	ISU	S	6	Cr+Ex
The C++ Programming Language	ICP	S	4	ClCr
Electronics for Information Technology	IEL	W	6	Cr+Ex
Electronics for Information Technology (in English)	IELe	W	6	Ex
IBM zSeries Servers	IIZ	S	5	ClCr
Java Programming Language	IJA	S	4	ClCr
The C Programming Language	IJC	S	5	Ex
Advanced Topics of Linux Administration	ILI	W	4	ClCr
Modelling and Simulation	IMS	W	5	Cr+Ex
Operating Systems	IOS	S	5	Cr+Ex
Programming Seminar	IPS	W	2	Cr
Intelligent Systems	ISD	S	0	Ex
Testing and Dynamic Analysis	ITS	S	5	Cr+Ex
Typography and Publishing	ITY	S	4	ClCr
Introduction to Software Engineering	IUS	W	5	Cr+Ex
Programming Apple Devices	IZA	S	5	Ex
Introduction to Programming Systems	IZP	W	7	Cr+Ex
Fundamentals of Artificial Intelligence	IZU	S	4	Cr+Ex
Fundamentals of Artificial Intelligence (in English)	IZUe	W	4	Cr+Ex
Cryptography	KRY	S	5	Cr+Ex
Modelling and Simulation	MSD	W	0	Ex
Advanced Assembly Languages	IPA	S	5	Ex
Advanced Biometric Systems	PBD	W	0	Ex
Parallel and Distributed Algorithms	PRL	S	5	Cr+Ex
Robotics (in English)	ROBa	W	5	Ex
Soft Computing	SFC	W	5	Cr+Ex
Intelligent Systems	SIN	W	5	Ex
Complexity (in English)	SLOa	S	5	Ex
Simulation Tools and Techniques	SNT	S	5	Cr+Ex
Theory and Applications of Petri Nets	TAD	S	0	Ex
Game Theory	THE	W	5	Cr+Ex
Theoretical Computer Science (in English)	TINe	S	5	Cr+Ex
Theoretical Computer Science	TIN	W	7	Cr+Ex
Higly Sophisticated Computations	VND	S	0	Ex
High Performance Computations (in English)	VNVe	S	5	Ex
High Performance Computations	VNV	S	5	Ex
Java Programming Language (in English)	IJAe	W	5	ClCr
Secure Hardware Devices	BZA	S	5	Ex
Principles and Design of IoT	TOI	S	5	Cr+Ex
Automated Testing and Dynamic Analysis	ATA	S	5	Ex
Sensors and Measurement	SEM	W	5	Cr+Ex
Static Analysis and Verification	SAV	W	5	Cr+Ex
Model-Based Analysis	MBA	S	5	Ex
Selected Chapters on Mathematics	MAD	S	0	Ex
Blockchain and Decentralized Applications	BDA	S	5	Cr+Ex
Biometric Systems (in English)	BIOe	W	5	Cr+Ex
Secure Coding	SCO	W	5	Cr+Ex
Introduction to Logic for Computer Science	IZLO	S	2	Ex
Data Warehousing	DS_2	W	5	Cr+Ex

Compl - Course completion: Ex - examination, Cr - credit, ClCr - classified credit, Co - colloquium