|
Title
|
Neural Networks and Stringology Seminar
|
||
|
Code
|
ÚINF/DSN1b/04
|
Teacher
|
Andrejková Gabriela
|
|
ECTS credits
|
2
|
Hrs/week
|
-/2
|
|
Assessment
|
Assessment
|
Semester
|
3
|
|
T/L method
|
Practical
|
||
|
Objective
|
To present
new knowledge in the area of neural networks and stringology in seminar form.
To examine the current state of research in the area using conference
proceedings and specialised journals.
|
||
|
Content
|
Seminar is
oriented to the individual work of students who are pursuing diploma theses
in the area of neural networks and stringology.
|
||
|
Prerequisite courses
|
ÚINF/DSN1a/04
|
||
|
Alternate courses
|
ÚINF/DSN1b/01
|
||
|
Automatic rerequisite courses
|
ÚINF/DSN1a/04
|
||
|
Recommended reading
|
Special and research literature connected to Diploma
theses according to recommendations of supervisor.
ISO 690: 1987 Documentation - Bibliographic
references. Content, form and structure.
ISO 2145: 1978 Documentation - Numbering of divisions
and subdivisions in written documents.
|
||
|
Title
|
Theoretical Informatics Seminar
|
||
|
Code
|
ÚINF/DST1b/01
|
Teacher
|
Geffert Viliam
|
|
ECTS credits
|
2
|
Hrs/week
|
-/2
|
|
Assessment
|
Assessment
|
Semester
|
3
|
|
T/L method
|
Practical
|
||
|
Objective
|
To present
new knowledge in the area of theoretical informatics in seminar form. To
examine the current state of research in the area using conference
proceedings and specialised journals.
|
||
|
Content
|
Seminar is
oriented to the individual work of students who are pursuing diploma theses
in the area of the theoretical foundations of informatics.
|
||
|
Prerequisite courses
|
ÚINF/DST1a/01
|
||
|
Automatic prerequisite courses
|
ÚINF/DST1a/01
|
||
|
Recommended reading
|
Special and research literature connected to Diplomaa
theses according to recommendations of supervisor.
ISO 690: 1987 Documentation - Bibliographic
references. Content, form and structure.
ISO 2145: 1978 Documentation - Numbering of divisions
and subdivisions in written documents.
|
||
|
Title
|
Applied Informatics Seminar
|
||
|
Code
|
ÚINF/DSA1b/06
|
Teacher
|
|
|
ECTS credits
|
2
|
Hrs/week
|
-/2
|
|
Assessment
|
Assessment
|
Semester
|
3
|
|
T/L method
|
Practical
|
||
|
Objective
|
To present
new knowledge in the area of applied informatics in seminar form. To examine
the current state of research in the area using conference proceedings and
specialised journals.
|
||
|
Content
|
Seminar is
oriented to the individual work of students who are pursuing diploma theses
in the area of information system development, application of combinatorial
algorithms, etc.
|
||
|
Recommended reading
|
Special and research literature connected to Diploma
theses according to recommendations of supervisor.
ISO 690: 1987 Documentation - Bibliographic
references. Content, form and structure.
ISO 2145: 1978 Documentation - Numbering of divisions
and subdivisions in written documents.
|
||
Elective courses
|
Title
|
Taxes and Information Systems
|
||
|
Code
|
ÚMV/DIS/04
|
Teacher
|
Cechlárová Katarína, Semanišin Gabriel, Soták Roman
|
|
ECTS credits
|
5
|
Hrs/week
|
3/2
|
|
Assessment
|
Examination
|
Semester
|
1, 3
|
|
T/L method
|
Lecture, Practical
|
||
|
Content
|
Information
system, subsystem, information system development life cycle. Visual
modelling, overview of modelling techniques. Structured methodologies.
Algorithms in taxes.
|
||
|
Exclusive courses
|
ÚMV/DIS/00
|
||
|
Alternate courses
|
ÚMV/DIS/00
|
||
|
Recommended reading
|
Booch G., Jacobson I., Rumbaugh J.: The Unified
Modelling Language user Guide, Addison-Wesley Pub. Co. 1998, ISBN
0-20157168-4
|
||
|
Title
|
Introductory Course in Quantum Computers
|
||
|
Code
|
ÚFV/KVP/02
|
Teacher
|
Mockovčiak Samuel
|
|
ECTS credits
|
3
|
Hrs/week
|
2/-
|
|
Assessment
|
Examination
|
Semester
|
1, 3
|
|
T/L method
|
Lecture
|
||
|
Content
|
Reasons to
study quantum computers (QC): microtechnology, dissipation of energy,
"classical PC" is time-demanding. Quantum mechanics for QC. Hilbert
space of quantum states. Operators of observables. EPR paradox. Reversible
gates. Qubits as quantum states, their evolution. Quantum memory registers.
Logic circuits. Quantum algorithms. Superposition of states and parallelism
of computations. Entaglement of quantum states. Teleportation. Quantum
information.
|
||
|
Recommended reading
|
J. Gruska: Quantum Computing, McGraw Hill,
Maidenhead, 1999
C.PWilliams, S.H. Clearwater: Explorations in Quantum
Computing,
Springer Verlag, New York, 1998
G.Birkhoff, T.C.Bartee: Aplikovaná Algebra, Alfa,
Bratislava, 1981
|
||
|
Title
|
Object-oriented Programming
|
||
|
Code
|
ÚINF/OOP1/04
|
Teacher
|
Geffert Viliam
|
|
ECTS credits
|
4
|
Hrs/week
|
-/4
|
|
Assessment
|
Assessment
|
Semester
|
2
|
|
T/L method
|
Practical
|
||
|
Content
|
Classes and
objects; subclasses and inheritance. Instance and class variables and
methods. Redefinition of methods, overfitting and encapsulation of data.
Abstract classes. Polymorfism and its use in programming. Exceptions. Applets
and aplications. Programming in concrete object oriented language.
|
||
|
Title
|
Informatics for Medicine
|
||
|
Code
|
ÚINF/MIN1/06
|
Teacher
|
Semanišin Gabriel
|
|
ECTS credits
|
2
|
Hrs/week
|
-/2
|
|
Assessment
|
Assessment
|
Semester
|
1, 3
|
|
T/L method
|
Practical
|
||
|
Objective
|
To acquaint
students with the application of computer science to medicine with emphasis
on the specific conditions for the so-called safety-relevant domain.
|
||
|
Content
|
Software
development in the medical domain (radiotherapy and ultrasound). Syngo
platform, MS .NET, C#, C++. Development based on so-called "V"
development model. An overview of used software tools: RationalRose,
RequisitePro, UITA, Caliber, ClearCase. Quality and process management and
software company management according to CMMI methodology.
|
||
|
Recommended reading
|
http://www.syngo.com
http://www.siemens.com
|
||
|
Title
|
Numerical Mathematics
|
||
|
Code
|
ÚMV/NM1/04
|
Teacher
|
Horváth Denis
|
|
ECTS credits
|
9
|
Hrs/week
|
4/3
|
|
Assessment
|
Examination
|
Semester
|
1, 3
|
|
T/L method
|
Lecture, Practical
|
||
|
Objective
|
To acquaint
students with basic numerical methods, with conditions of their use and with
errors accompanying approximations by numerical methods. To lead the students
to test their own computer programs corresponding to some numerical methods.
|
||
|
Content
|
Interpolation
(ordinary, generalised). Numerical differentiation. Numerical integration
(rules, errors). Gaussian quadrature. Interval-halving method. Regula falsi
method. Newton's method. Method of successive iterations. Sturm's theorem.
Bernoulli's method. Matrix inversion. LU-decomposition. Iterative methods for
solving systems of linear equations. Least squares method. Approximating
eigenvalues of a symmetric matrix via Jacobi's method.
|
||
|
Exclusive courses
|
ÚMV/NM1/03
|
||
|
Alternate courses
|
ÚMV/NM1/03
|
||
|
Recommended reading
|
A. Ralston: A First Course in Numerical Analysis,
McGraw-Hill, New York 1965
A. Björck and G. Dahlquist: Numerical Methods, Prentice-Hall, Englewood
Cliffs 1974; reprint Dover Publications, Mineola 2003
|
||
|
Title
|
Development of Web-oriented Database Applications
|
||
|
Code
|
ÚINF/TDB1/06
|
Teacher
|
Semanišin Gabriel
|
|
ECTS credits
|
2
|
Hrs/week
|
-/2
|
|
Assessment
|
Assessment
|
Semester
|
8, 10
|
|
T/L method
|
Practical
|
||
|
Objective
|
To teach
students modern methods for the development of web-oriented applications with
emphasis on database server ORACLE and programming techniques in JAVA.
|
||
|
Content
|
Oracle SQL
Data Manipulation Language. Oracle SQL Data Definition Language. Oracle
PL/SQL. Java JDBC API Java Database Connectivity. Java JDBC API. Java JSP.
JSTL.
|
||
|
Recommended reading
|
http://www.oracle.com
|
||
|
Title
|
Business Process Management
|
||
|
Code
|
ÚINF/BPM1/06
|
Teacher
|
Semanišin Gabriel
|
|
ECTS credits
|
2
|
Hrs/week
|
-/2
|
|
Assessment
|
Assessment
|
Semester
|
2, 4
|
|
T/L method
|
Practical
|
||
|
Objective
|
To teach
students the fundamental modelling techniques for and methods used in
Business Process Management.
|
||
|
Content
|
An
application of Model Driven Architecture (MDA) for problems belonging to the
area of Business Process Management (BPM). Process modelling. Integration of
applications in term of WebServices. Development of Enterprise Service Bus.
Generating of algorithms, documentations and test plans. Work with specific
software packages.
|
||
|
Recommended reading
|
Patterns: SOA with an Enterprise Service Bus in
WebSphere Application Server V6, SG24-
6494-00, Redbook, published 26 May 2005, last updated
6 June 2005,
Managing Information Access to an Enterprise
Information System Using J2EE and Services
Oriented Architecture, SG24-6371-00, Redbook,
published 3 February 2005
BPEL4WS Business Processes with WebSphere Business
Integration: Understanding,
Modelling, Migrating, SG24-6381-00, Redbook,
published 17 December 2004, last updated 22, December 2004
|
||
|
Title
|
Introduction to Artificial Intelligence
|
||
|
Code
|
ÚINF/UUI1/06
|
Teacher
|
Geffert Viliam, Schmotzer
Milan
|
|
ECTS credits
|
3
|
Hrs/week
|
2/-
|
|
Assessment
|
Examination
|
Semester
|
4
|
|
T/L method
|
Lecture
|
||
|
Objective
|
To
familiarise students with basic information about artificial intelligence
techniques. To give students the opportunity to study the literature of the
field more deeply as required.
|
||
|
Content
|
Goal of
artificial intelligence, natural intelligence, edges of agent machine
intelligence. Knowledge representation in AI (semantic networks, frames),
reasoning. Problem solving in status space: non-informed versus informed deep
and wide search, A*, solving of problems described as the game, iterative
enhancement algorithms, problem solving by decomposition. Planning and
scheduling, constraint logic programming, machine learning; computer vision:
image recognition (flag described objects recognition, structural scene
analysis), image preprocessing, image representation and description, object
recognition. Natural language processing, artificial neural networks,
knowledge systems (structure, characteristics, direct and backward reasoning,
working with vague information), genetic algorithms, distributed artificial
intelligence and multi-agent systems.
|
||
|
Recommended reading
|
Russell S.J., Norvig P: Artificial Intelligence: A
Modern Approach (2nd Edition), Prentice Hall, 2002, ISBN: 0137903952
Negnevitsky Michael: Artificial Intelligence: A Guide
to Intelligent Systems (2nd Edition), Addison Wesley, 2004, ISBN: 0321204662
Luger George: Artificial Intelligence: Structures and
Strategies for Complex Problem Solving (5th Edition), Addison Wesley, 2004,
ISBN: 0321263189
|
||
|
Title
|
Introduction to mySAP Technology
|
||
|
Code
|
ÚINF/SAP1a/06
|
Teacher
|
Semanišin Gabriel
|
|
ECTS credits
|
2
|
Hrs/week
|
-/2
|
|
Assessment
|
Assessment
|
Semester
|
1, 3
|
|
T/L method
|
Practical
|
||
|
Objective
|
To provide
an introduction to mySAP technology.
|
||
|
Content
|
Defining
mySAP technology (products, innovations provided by SAP);
navigation
(logon, screen design, calling functions); system kernel (client/server
architecture, structure of an SAP system, processing in SAP); communication
and integration technologies (remote function calls, internet technologies).
|
||
|
Recommended reading
|
http://www.sap.com/
|
||
|
Title
|
Administration of mySAP System
|
||
|
Code
|
ÚINF/SAP1b/06
|
Teacher
|
Semanišin Gabriel
|
|
ECTS credits
|
2
|
Hrs/week
|
-/2
|
|
Assessment
|
Assessment
|
Semester
|
2, 4
|
|
T/L method
|
Practical
|
||
|
Objective
|
To provide
an introduction to the administration techniques of mySAP system.
|
||
|
Content
|
Fundamentals
(system logon, configuring SAP logon); starting and stopping (starting
SAP/Database, stopping SAP/Database); system configuration (parameters in
SAP, parameters in Database); background tasks (scheduling background jobs,
monitoring background jobs); database administration (extend tablespaces).
|
||
|
Automatic rerequisite courses
|
ÚINF/SAP1a/06
|
||
|
Recommended reading
|
http://www.sap.com/
|
||
|
Title
|
Modern Methods of Sofware System Development
|
||
|
Code
|
ÚINF/MSW1/07
|
Teacher
|
Geffert
Viliam, Chladný Vladimír, Semanišin Gabriel
|
|
ECTS credits
|
2
|
Hrs/week
|
-/2
|
|
Assessment
|
Assessment
|
Semester
|
1, 3
|
|
T/L method
|
Practical
|
||
|
Objective
|
To provide
information on the development of software products and the management of
large software projects.
|
||
|
Content
|
Software
development life cycle. Initialisation and analyses of a project. Technical
specification and implementation. Testing and acceptation procedures. Data
transformation and testing. Pilot and parallel operation; support
organisation. Modern technologies supporting development of software
products. Organisational structure of IT companies.
|
||
|
Recommended reading
|
http://murphy2.hab.sk/upjs
http://www.ness-europe.com/
http://www.omg.org
http://www.rational.com
http://www.w3c.org
|
||
MATHEMATICS
Study programme Economical and Financial Mathematics
(Full-time
master)
Code Title
ECTS Credit Hours/week Assessment Recommended Year/Semester
Compulsory
courses
|
ÚMV/PST1b/04
|
Probability and Statistics
|
6
|
2/2
|
Examination
|
1/1
|
|
ÚMV/VKP1/01
|
Selected Topics in Probability
|
5
|
3/-
|
Examination
|
1/1
|
|
ÚMV/DPM1a/03
|
Diploma Work
|
2
|
-/-
|
Recognition
|
1/1
|
|
ÚMV/TH1/01
|
Game Theory
|
6
|
3/1
|
Examination
|
1/1
|
|
ÚMV/MMF1/01
|
Mathematical Methods in Finance
|
6
|
2/2
|
Examination
|
1/1
|
|
KFaDF/DF2p/07
|
History of Philosophy
|
4
|
2/1
|
Examination
|
1/1
|
|
ÚMV/NPR1a/01
|
Stochastic Processes
|
16
|
3/2
|
Examination
|
1/2
|
|
ÚMV/APS1/99
|
Applied Statistics
|
6
|
3/2
|
Examination
|
1/2
|
|
ÚMV/DPM1b/01
|
Diploma Work
|
2
|
-/-
|
Recognition
|
1/2
|
|
ÚMV/MAE1/01
|
Mathematical Economics
|
5
|
3/-
|
Examination
|
1/2
|
|
ÚMV/ZIP1/99
|
Life Insurance
|
1
|
2/1
|
Examination
|
1/2
|
|
ÚMV/NPR1b/01
|
Stochastic Processes 2
|
6
|
3/2
|
Examination
|
2/3
|
|
ÚMV/VP1/01
|
Computational Statistics and Simulation Methods
|
5
|
1/2
|
Examination
|
2/3
|
|
ÚMV/TS1/01
|
Control Theory
|
6
|
3/1
|
Examination
|
2/3
|
|
ÚMV/DIS/01
|
Taxes and Information Systems
|
5
|
3/2
|
Examination
|
2/3
|
|
ÚMV/DPM1c/01
|
Diploma Work
|
5
|
-/-
|
Recognition
|
2/3
|
|
ÚMV/DPM1d/01
|
Diploma Work
|
12
|
-/-
|
Recognition
|
2/4
|
Compulsory
elective courses
|
ÚMV/THO1/01
|
Queueing Theory
|
6
|
1/-
|
Examination
|
1/1, 2/3
|
|
ÚMV/DBS/01
|
Databases Systems
|
6
|
3/1
|
Examination
|
1/2, 2/4
|
|
ÚMV/KOA1/01
|
Combinatorial Algorithms
|
2
|
3/-
|
Examination
|
1/2
|
|
ÚMV/TKO1/01
|
Theory of Codes
|
6
|
1/-
|
Examination
|
2/3
|
|
ÚMV/FAN/06
|
Functional Analysis
|
6
|
3/1
|
Examination
|
1/2
|
Recommended
elective courses
|
ÚMV/POI1/01
|
Insurance
|
3
|
3/-
|
Examination
|
1/1, 2/3
|
|
ÚMV/PRA1/01
|
Law
|
3
|
2/-
|
Examination
|
1/1, 2/3
|
|
ÚINF/OPS1/06
|
Security of Computer Networks
|
2
|
2/2
|
Examination
|
2/4
|
|
ÚINF/PSO1/03
|
Presentation Software
|
2
|
-/2
|
Assessment
|
1/2
|
|
ÚMV/OIM1/00
|
Evaluation of Investment Possibilities
|
1
|
2/-
|
Examination
|
1/2
|
Course units
Compulsory courses
|
Title
|
Probability and Statistics
|
||
|
Code
|
ÚMV/PST1b/04
|
Teacher
|
Skřivánková Valéria, Ohriska Ján
|
|
ECTS credits
|
6
|
Hrs/week
|
2/2
|
|
Assessment
|
Examination
|
Semester
|
1
|
|
T/L method
|
Lecture, Practical
|
||
|
Content
|
Random
vectors, their distributions and characteristics. Correlation and regression.
Random sample, sampling distributions and characteristics. Point estimates
and their properties. Maximum likelihood method. Interval estimates;
confidence interval construction. Testing of statistical hypothesis; critical
region and level of significance. Parametric and nonparametric tests.
|
||
|
Recommended reading
|
Mason-Lind.: Statistical Techniques in Business and
Economics, Irwin, Inc., 1990
|
||
|
Title
|
Selected Topics in Probability
|
||
|
Code
|
ÚMV/VKP1/04
|
Teacher
|
Žežula Ivan
|
|
ECTS credits
|
5
|
Hrs/week
|
3/-
|
|
Assessment
|
Examination
|
Semester
|
1
|
|
T/L method
|
Lecture
|
||
|
Objective
|
To present
the perspective of probability from the standpoint of measure theory and to
have students understand the most important results of probability theory.
|
||
|
Content
|
General
definition of probability. Distribution function and its properties. Basic
types of multivariate distributions. Conditional distributions and means. Convolutions.
Types of convergence of random variables. Strong law of large numbers.
Central limit theorems.
|
||
|
Alternate courses
|
ÚMV/VKP1/99
|
||
|
Recommended reading
|
Žežula, I.:
Lecture notes in AIS
|
||
|
Title
|
Game Theory
|
||
|
Code
|
ÚMV/TH1/04
|
Teacher
|
Cechlárová Katarína, Hajduková Jana
|
|
ECTS credits
|
6
|
Hrs/week
|
3/1
|
|
Assessment
|
Examination
|
Semester
|
1
|
|
T/L method
|
Lecture, Practical
|
||
|
Objective
|
To teach
the basic methods of game theory and to have students model situations from
everyday life as simple games.
|
||
|
Content
|
Examples of
games. Extensive form of a game, value of the game. Von Neumann Morgenstern
theory of utility. Matrix games and their solution. Bimatrix games.Theory of
negotiations. n-person games: core, Shapley value. Economic applications of
game theory.
|
||
|
Alternate courses
|
ÚMV/TH1/99
|
||
|
Recommended reading
|
Binmore, K.: Fun and games, D.C. Heath, 1992
M. Chobot, F. Turnovec, V. Ulašin, Teória hier a
rozhodovania, Alfa, Bratislava, 1991
Owen, G.:
Game Theory, Academic Press.
Thomas, L.C.:
Games, Theory and Applications, Wiley,
New York.
Bierman H.S, Fernandez L.,: Game Theory with Economic
Applications, Addison-Wesley, 1998
K. Cechlárová: Lecture notes in AIS
|
||
|
Title
|
Applied Statistics
|
||
|
Code
|
ÚMV/APS1/99
|
Teacher
|
Žežula Ivan
|
|
ECTS credits
|
6
|
Hrs/week
|
3/2
|
|
Assessment
|
Examination
|
Semester
|
2
|
|
T/L method
|
Lecture, Practical
|
||
|
Objective
|
To teach
students the most frequently applied statistical methods.
|
||
|
Content
|
Matrices
and geometry of linear space. One- and multidimensional normal distribution
and related distributions. General linear model. Regression. Analysis of
variance. Analysis of covariance.
|
||
|
Prerequisite courses
|
ÚMV/PST1b/04
|
||
|
Recommended reading
|
Seber: Linear regression analysis, Wiley, 1977
|
||
|
Title
|
Life Insurance
|
||
|
Code
|
ÚMV/ZIP1/99
|
Teacher
|
Žežula Ivan
|
|
ECTS credits
|
4
|
Hrs/week
|
2/1
|
|
Assessment
|
Examination
|
Semester
|
2
|
|
T/L method
|
Lecture, Practical
|
||
|
Objective
|
To teach
students the basics of insurance mathematics for life insurance.
|
||
|
Content
|
Life
tables. Computation of premiums; various types of life insurance. Reserve of
insurance.
|
||
|
Prerequisite courses
|
ÚMV/APS1/99
|
||
|
Recommended reading
|
Gerber: Life insurance mathematics, Springer, 1997
Bowers et al.: Actuarial mathematics, The Society of
Actuaries, 1986
|
||
|
Title
|
Computational Statistics and Simulation Methods
|
||
|
Code
|
ÚMV/VP1/04
|
Teacher
|
Žežula Ivan
|
|
ECTS credits
|
5
|
Hrs/week
|
1/2
|
|
Assessment
|
Examination
|
Semester
|
3
|
|
T/L method
|
Lecture, Practical
|
||
|
Objective
|
To
familiarise students with modern software and computational and simulation
methods in statistics.
|
||
|
Content
|
Systems of
statistical software. Computation of distribution functions. Matrix
computations. Random numbers generation. General and specific methods for
generating random numbers with a given distribution. Monte Carlo methods.
Resampling. Exploratory data analysis.
|
||
|
Alternate courses
|
ÚMV/VP1/99
|
||
|
Recommended reading
|
Abramowitz, Stegun: Handbook of mathematical
functions,
Dover Publications, 1972
Deák: Random number generators and simulation,
Akadémiai
kiadó, 1990
Fishman: Monte Carlo. Concepts, Algorithms, and
Applications., Springer, 1996
|
||
Compulsory elective courses
|
Title
|
Theory of Codes
|
||
|
Code
|
ÚMV/TKO1/04
|
Teacher
|
Horňák Mirko
|
|
ECTS credits
|
6
|
Hrs/week
|
4/-
|
|
Assessment
|
Examination
|
Semester
|
3
|
|
T/L method
|
Lecture
|
||
|
Objective
|
To acquaint
students with the basic principles and theoretical bases of text coding and
possibilities for their application.
|
||
|
Content
|
Monoids.
Basic notions of theory of codes. Examples of codes. Important classes of
codes. Maximal codes. Submonoids generated by codes. Stable submonoids. Group
codes. Free hull of a set of words. Test for recognising codes. Measure of a
code. Bernoulli distribution. Dyck code. Complete sets in monoids. Thin
codes. Composition of codes. Indecomposable codes.
|
||
|
Recommended reading
|
J. Berstel and D. Perrin, Theory of Codes, Academic
Press 1985.
|
||
|
Title
|
Functional Analysis
|
||
|
Code
|
ÚMV/FAN/06
|
Teacher
|
Doboš Jozef
|
|
ECTS credits
|
6
|
Hrs/week
|
3/1
|
|
Assessment
|
Examination
|
Semester
|
2
|
|
T/L method
|
Lecture, Practical
|
||
|
Content
|
Metric
spaces and their fundamental properties. Complete metric space and the
contrary mapping principle. Normed linear spaces. Hilbert's space. Linear
operators. The spectrum of the operator.
|
||
|
Recommended reading
|
N. Dunford, J.T. Schwartz, Linear operators, Part I,
Generaly theory, New York, 1963
N. Dunford, J.T. Schwartz, Linear operators, Part II,
Spectral theory, New York, 1963
|
||
Study programme Informatic Mathematics
(Full-time
master)
Code
Title ECTS Credit Hours/week
Assessment Recommended
Year/Semester
Compulsory
courses
|
ÚMV/DPM1a/03
|
Diploma Work
|
2
|
-/-
|
Recognition
|
1/1
|
|
ÚMV/TIN1/03
|
Theory of Information
|
4
|
2/-
|
Examination
|
1/1
|
|
ÚINF/MZK/06
|
Mathematical Foundations of Cryptography
|
6
|
3/2
|
Examination
|
1/1
|
|
KFaDF/DF2p/07
|
History of Philosophy
|
4
|
2/1
|
Examination
|
1/1
|
|
ÚMV/TKO1/04
|
Theory of Codes
|
6
|
4/-
|
Examination
|
1/1, 2 /3
|
|
ÚMV/TMT/04
|
Matroid Theory
|
5
|
3/-
|
Examination
|
1/1,2/3
|
|
ÚINF/VYZ1/04
|
Computational Complexity
|
4
|
2/-
|
Examination
|
2/3
|
|
ÚINF/KKV1/06
|
Classical and Quantum Computations
|
6
|
3/1
|
Examination
|
2/3
|
|
ÚMV/KOA1/04
|
Combinatorial Algorithms
|
5
|
3/-
|
Examination
|
1/2
|
|
ÚMV/SKA1/99
|
Combinatorial Algorithms Seminar
|
2
|
-/2
|
Assessment
|
1/2
|
|
ÚMV/TZ1/04
|
Lattice Theory
|
5
|
2/1
|
Examination
|
1/2, 2/4
|
|
ÚMV/DSMIa/04
|
Seminar on Diploma Work
|
2
|
-/2
|
Recognition
|
1/2
|
|
ÚMV/DPM1b/04
|
Diploma Work
|
2
|
-/-
|
Recognition
|
1/2
|
|
ÚMV/DSMIb/04
|
Seminar on Diploma Work
|
2
|
-/2
|
Recognition
|
2/3
|
|
ÚMV/DPM1c/04
|
Diploma Work
|
5
|
-/-
|
Recognition
|
2/3
|
|
ÚMV/ANP/03
|
Algorithmically Unsolvable Problems
|
4
|
2/-
|
Examination
|
2/4
|
|
ÚMV/DBS/04
|
Databases Systems
|
6
|
3/1
|
Examination
|
2/4
|
|
ÚMV/DSMIc/04
|
Seminar on Diploma Work
|
2
|
-/2
|
Recognition
|
2/4
|
|
ÚMV/DPM1d/04
|
Diploma Work
|
15
|
-/-
|
Recognition
|
2/4
|
Compulsory
elective courses
|
ÚMV/DIS/04
|
Taxes and Information Systems
|
5
|
3/2
|
Examination
|
1/1
|
|
ÚMV/PMTG/04
|
Probabilistic Method in Graph Theory
|
4
|
2/-
|
Examination
|
1/2
|
|
ÚMV/GZ/04
|
Geometric Transformations
|
5
|
2/1
|
Examination
|
1/1, 2/3
|
|
ÚMV/TS1/04
|
Control Theory
|
6
|
3/1
|
Examination
|
1/1
|
|
ÚMV/TGT/04
|
Graph Theory
|
4
|
2/-
|
Examination
|
1/1, 2/3
|
|
ÚFV/KVP/02
|
Introductory Course in Quantum Computers
|
3
|
2/-
|
Examination
|
1/1, 2/3
|
|
ÚFV/ZKM1/01
|
Introductory Course in Quantum Mechanics for Informatics
|
4
|
2/1
|
Examination
|
1/1, 2/3
|
|
ÚINF/ZNA1/06
|
Foundations of
Knowledge Systems
|
4
|
2/-
|
Examination
|
1/1, 2/3
|
|
ÚMV/ALA1/04
|
Applied Linear Algebra
|
5
|
2/1
|
Examination
|
1/2
|
|
ÚMV/FRG1/03
|
Fractal Geometry
|
4
|
2/-
|
Examination
|
1/2
|
|
ÚINF/KPI1/01
|
Encoding and Transfer of Information
|
4
|
2/1
|
Examination
|
1/1
|
|
ÚMV/TGR1/04
|
Theory of Groups
|
5
|
2/1
|
Examination
|
1/2, 2/4
|
|
ÚMV/TH1/04
|
Game Theory
|
6
|
3/1
|
Examination
|
2/3
|
Elective
courses
|
ÚMV/THO1/04
|
Queueing Theory
|
6
|
4/-
|
Examination
|
1/1, 2/3
|
|
ÚMV/PST1b/04
|
Probability and Statistics
|
6
|
2/2
|
Examination
|
1/1
|
|
ÚMV/MAE1/04
|
Mathematical Economics
|
5
|
3/-
|
Examination
|
1/2
|
|
ÚMV/POT1/04
|
Polyhedral Theory
|
4
|
2/-
|
Examination
|
1/2
|
|
ÚMV/SVK1/01
|
Student Scientific Conference
|
4
|
-/-
|
Assessment
|
1/2
|
|
ÚMV/TCI/04
|
Number Theory
|
4
|
2/-
|
Examination
|
1/2
|
|
ÚMV/UAL/04
|
Universal Algebra
|
5
|
3/-
|
Examination
|
1/2
|
|
ÚMV/SVK1/01
|
Student scientific conference
|
4
|
-/-
|
Assessment
|
1/2
|
Tidak ada komentar:
Posting Komentar