|
Title
|
Analytical Sampling
|
||
|
Code
|
ÚCHV/AVZ1/02
|
Teacher
|
Oriňák Andrej
|
|
ECTS credits
|
5
|
Hrs/week
|
2/1
|
|
Assessment
|
Examination
|
Semester
|
8
|
|
T/L method
|
Lecture, Practical
|
||
|
Content
|
Analytical
sample; characterisation. Sampling and norms affecting sampling process.
Quantity, number of samples. Sampling techniques. Sampling laboratory
equipment. Sample pre-concentration. Sample storing and conservation. Matrix
simplifying; specific analysis. Chromatographic sample pre-treatment.
|
||
|
Alternate courses
|
ÚCHV/AVZ1/00
|
||
|
Recommended reading
|
O. Stoeppler: Sampling And Sample Preparation
Practical Guide for Analytical Chemists. Academic Press, London, 2002
E.P.Popek: Sampling and Analysis of Environmental
Chemical Pollutants.Elsevier Science, San Diego, 2003
|
||
|
Title
|
Water Pretreatment
|
||
|
Code
|
ÚCHV/ATV1/04
|
Teacher
|
Andruch Vasiľ
|
|
ECTS credits
|
6
|
Hrs/week
|
2/2
|
|
Assessment
|
Examination
|
Semester
|
2
|
|
T/L method
|
Lecture, Practical
|
||
|
Objective
|
To allow
students to obtain and improve their knowledge of the methods of water
pretreatment.
|
||
|
Content
|
Purification
of waste waters from colloid substances. Purification of waste waters by
chemical precipitation. Water degasing. Ion exchange purification of waste
waters. Adsorption methods of waste water purification. Waste water
purification via extraction. Waste water purification by membrane methods.
Biological purification of water.
|
||
|
Prerequisite courses
|
ÚCHV/CHHS/07 orÚCHV/ANCH1b/03
|
||
|
Recommended reading
|
1Handbook of Water and Wastewater Treatment
Technologies. Ed. By Nicholas P Cheremisinoff, BUTTERWORTH HEINEMANN, 576 p.
2001
Principles of Water Quality Control, Ed. by Thy
Tebbutt, BUTTERWORTH HEINEMANN, 288 p. 1997.
Water Technology. Ed. by N. F. Gray, BUTTERWORTH
HEINEMANN, 600 p. 2005
|
||
|
Title
|
Electroanalytical Methods
|
||
|
Code
|
ÚCHV/FEM1/03
|
Teacher
|
Markušová Kvetoslava
|
|
ECTS credits
|
5
|
Hrs/week
|
2/1
|
|
Assessment
|
Examination
|
Semester
|
1, 3
|
|
T/L method
|
Lecture, Practical
|
||
|
Objective
|
To provide
students a survey of the principles, theoretical background and practical
applications of modern electroanalytical methods.
|
||
|
Content
|
Importance
of electroanalytical methods for environmental control and protection,
requirements of practice, electrochemical cells, electrode potential, mass
transfer by convection, migration and diffusion, Cottrell equation, direct
current voltametry and polarography (principle, theoretical backround,
examples of practical application). TAST polarography and voltametry,
staircase voltammetry, pulse techniques: normal pulse and differential pulse
voltammetry and polarography, square-wave voltammetry and polarography, AC polarography
and voltammetry, anodic stripping voltammetry, adsorptive (or accumulation)
voltammetry (applications in clinical and environmental analysis), working
electrodes in voltammetry: stationary mercury electrode, mercury film
electrode, glassy carbon electrode, carbon paste electrode, metallic
electrodes, rotating disk electrode, rotating ring-disk electrode,
ultramicroelectrodes, chemically modified electrodes, potentiometry,
principles of ion selective electrodes, glass electrodes, ISE with solid and
liquid membranes, biocatalytic membrane electrodes, chronopotentiometry,
potentiometric stripping analysis, electroanalytic-al detectors in flow
systems, amperometric titrations, biamperometric and bipotentiometric
titrations, potentiostatic and galvanostatic coulometry.
|
||
|
Alternate courses
|
ÚCHV/FEM1/02
|
||
|
Recommended reading
|
F. Scholtz: Electroanalytical Methods, Springer
Vrlg., Heidelberg 2002, ISBN 3-540-42449-3
J. Wang: Analytical Electrochemistry, VCH Publ., New
York 1994,2000 R. Kalvoda (Ed.): Electroanalytical Methods in Chemical and
Environmental Analysis, Plenum Publ. Corp., New York 1987
A.J. Bard, L.R. Faulkner: Electrochemical Methods,
Jofn Wiley and Sons, New York 1980
T. Riley, A. Watson: Polarography and Other
Voltametric methods, John Wiley and Sons, Chichester 1987
J. Wang: Stripping Analysis, VCH Publ. Inc.,
Deerfield Beach 1985
|
||
|
Title
|
Special Seminar
|
||
|
Code
|
ÚCHV/VSE1a/04
|
Teacher
|
Andruch Vasiľ, Reiffová Katarína, Gondová Taťána,
Vojteková Viera
|
|
ECTS credits
|
2
|
Hrs/week
|
-/2
|
|
Assessment
|
Assessment
|
Semester
|
1
|
|
T/L method
|
Practical
|
||
|
Content
|
Actual
problems of physical and analytical chemistry which are connected with the
solution of the students’ theses.
|
||
|
Title
|
Basic Toxicology
|
||
|
Code
|
ÚCHV/ZTOX/04
|
Teacher
|
Györyová Katarína
|
|
ECTS credits
|
5
|
Hrs/week
|
2/1
|
|
Assessment
|
Examination
|
Semester
|
7, 9
|
|
T/L method
|
Lecture, Practical
|
||
|
Objective
|
To provide
students with knowledge of types of toxic substances and their metabolism and
of the safe handling of toxic
substances.
|
||
|
Content
|
Historical
aspects. Types of toxic substances, types of exposure, dose-response
relationship. Disposition of toxic compounds (absorption, distribution,
excretion of toxic compounds). Metabolism of toxic compounds. Drugs as toxic
substances, food additives and contaminants, environmental pollutants.
Statement of chemistry laboratory policy. Safe handling of toxic substances.
|
||
|
Recommended reading
|
G.F.Fuhrman: Allgemeine Toxikologie fur Chemoker,
Teubner Verlag, Stutgart 1984
V.E.Forbes, T.L.Forbe: Ecotoxikology in Theory and
Practice, Chapman&Hall, London 1994
J.A.Timbrell: Introduction to Toxicology,
Taylor&Francis, London 1994
|
||
|
Title
|
Industrial Ecology
|
||
|
Code
|
ÚCHV/ACPE1/03
|
Teacher
|
Bazeľ Yaroslav, Vojteková Viera
|
|
ECTS credits
|
5
|
Hrs/week
|
2/1
|
|
Assessment
|
Examination
|
Semester
|
1, 3
|
|
T/L method
|
Lecture, Practical
|
||
|
Objective
|
To give
chemistry, environmental ecology and teaching students the opportunity to
approach problems of environmental pollution, to appraise problems of the
creation and protection of the environment, and to develop ecologically enlightened
thinking in their working and personal lives.
|
||
|
Content
|
Introduction
to problems of the creation and protection of the environment. Selected
chapters on industrial toxicology and evaluation of environmental stress.
Toxic and potentially toxic matters in the living and working environment.
Hydrologic, geologic and anthropogenic cycles from the environmental point of
view. Environmental behaviour, education and culture in working and personal
lives.
|
||
|
Recommended reading
|
Stanley E. Manahan: Environmental Chemistry. , New
York, Boca Raton, 2007
Stanley E. Manahan: Industrial Ecology (Hardcover),
Boca Raton, New York ,1999
|
||
Elective courses
|
Title
|
Field Course of Ecology
|
||
|
Code
|
ÚBEV/TCE/02
|
Teacher
|
Kováč Ľubomír
|
|
ECTS credits
|
3
|
Hrs/week
|
-/5d
|
|
Assessment
|
Recognition
|
Semester
|
2
|
|
T/L method
|
Practical
|
||
|
Objective
|
To teach
students fundamental methods of ecological research in field and to
familiarise them with the influence of abiotic factors on zoocenoses, with
practical demecology and with quantitative characteristics of zoocenoses.
|
||
|
Content
|
Verification
through field study of theoretical knowledge concerning animal ecology.
|
||
|
Prerequisite courses
|
ÚBEV/EVZ1/03,ÚBEV/EFZ1/03,ÚBEV/ETS1/03
|
||
|
Recommended reading
|
Begon M., Harper J.L., Townsend C.R., 1990: Ecology -
individuals, populations and communities. Blackwell, New York, 1-945
|
||
|
Title
|
Bio-organic Chemistry
|
||
|
Code
|
ÚCHV/BOC/03
|
Teacher
|
Gonda Jozef
|
|
ECTS credits
|
5
|
Hrs/week
|
3/-
|
|
Assessment
|
Examination
|
Semester
|
|
|
T/L method
|
Lecture
|
||
|
Objective
|
To teach
students the fundamental principles for the construction of bioorganic
molecular models of biochemical processes using the tools of organic
chemistry.
|
||
|
Content
|
Introduction:
Basic considerations; proximity effects in biochemistry, Molecular
adaptation. Molecular recognition at the supramolecular level. Bio-organic
chemistry of amino acids and polypeptides: chemistry of the living cells,
Analoguey between organic reactions and biochemical tranformations, Chemistry
of the peptide bond: nonribosomal peptide formation, asymmetric synthesis of
amino acids, asymmetric synthesis with chiral organometalic catalysts,
Transition state analogues. Antibodies as enzymes. Chemical mutations.
Molecular recognition and drug design. Bio-organic chemistry of the phosphate
groups and polynucleotides:d energy storage, DNA intercalates, RNA molecules
as catalysts. Enzyme chemistry: introduction to catalysis and enzymes,
Multifuntional catalysis and simple models. Alpha-chymotrypsin. Other
hydrolytic enzymes. Strereoelectronic control in hydrolytic reactions.
Immobilised enzymes. Enzymes in synthetic organic chemistry.
Enzyme-Analogue-Built polymers. Design of molecular clefts. Enzyme Models:
host-guest complexation chemistry, New developments in crown ether chemistry,
Membrane chemistry and micelles. Polymers. Cyclodextrins. Enzyme design using
steroid template. Remote functionalisation reactions. Polyene biomimetic
cyclisations. Metal Ions: in proteins and biological molecules. Carbopeptidase
A. Hydrolysis of amino acid esters and peptides. Iron and oxygen transport.
Cooper ion. Cobalt and vitamin B12 action. Oxidoreduction. Pyridoxal
phosphate. Biotin.
|
||
|
Recommended reading
|
Voet J. : Biochemistry, Springer Verlag, 1998
Dugas H.: Bioorganic Chemistry, Springer Verlag, 1999
|
||
|
Title
|
Toxicology of Organic Compounds
|
||
|
Code
|
ÚCHV/TOXOL/03
|
Teacher
|
Martinková Miroslava
|
|
ECTS credits
|
4
|
Hrs/week
|
3/-
|
|
Assessment
|
Examination
|
Semester
|
|
|
T/L method
|
Lecture
|
||
|
Objective
|
To examine
the interaction between chemicals and biological systems in order for
students to quantitatively determine the potential for chemicals to produce
harmful effects in living organisms.
|
||
|
Content
|
General
principles of toxicology. Absorption, distribution and excretion of
toxicants. Biotransformation of xenobiotics: phase-1 reactions (oxidation,
reduction, hydrolysis), phase-2 reactions (conjugation reactions). Toxication
versus detoxication. Toxic effects of organic solvents. Toxicology of
chemical warfare agents. Neurotoxicology. Toxic effects of plants and animal
poisons. Toxic effects of drugs (barbiturates, benzodiazepines, tricyclic
antidepressants). Drug dependence.
|
||
|
Recommended reading
|
C. D. Klaassen: Casaret and Doull`s Toxicology: The
basic science of poisons, McGraw-Hill Companies, Inc., 2001
|
||
|
Title
|
Food Chemistry
|
||
|
Code
|
ÚCHV/PCH1/00
|
Teacher
|
Koščík Dušan
|
|
ECTS credits
|
4
|
Hrs/week
|
2/1
|
|
Assessment
|
Examination
|
Semester
|
|
|
T/L method
|
Lecture, Practical
|
||
|
Objective
|
To provide
students, through excursions to food plants and to laboratories specializing
in food analysis and through their own food preparation projects, a general
overview of food chemistry, additives, and basic legal documents related to
food production and analysis.
|
||
|
Content
|
The main
categories of substances in the most important groups of food. Contamination
of food. Physical and chemical properties of food. chemical reactions related
to obtaining, storing and preparing of food. Analytical methods for
determining the quality of food.
|
||
|
Alternate courses
|
ÚCHV/PCH1/99
|
||
|
Title
|
Chemical Management
|
||
|
Code
|
ÚCHV/CMG/03
|
Teacher
|
Koščík Dušan
|
|
ECTS credits
|
5
|
Hrs/week
|
3/-
|
|
Assessment
|
Examination
|
Semester
|
|
|
T/L method
|
Lecture
|
||
|
Objective
|
To expose
students to the basic principles of production management, marketing, and
strategy building in the chemical and pharmaceutical industries through
lectures by top managers from Slovak chemical companies.
|
||
|
Content
|
Basic
processes connected to manufacturing and management of chemical production in
Slovakia.
|
||
|
Recommended reading
|
Internal sources
|
||
|
Title
|
Analysis of Psychotropic and Narcotic Substances
|
||
|
Code
|
ÚCHV/APO1/02
|
Teacher
|
Gondová Taťána
|
|
ECTS credits
|
4
|
Hrs/week
|
2/-
|
|
Assessment
|
Examination
|
Semester
|
|
|
T/L method
|
Lecture
|
||
|
Content
|
Drugs; drug
dependence. Psychotropic and narcotic substances: classification, properties
and laws. Dose and tolerance, therapy, prevention. Pharmacokinetics of the
drug. Biological effects, biotransformations, receptors. The methods used in
the analysis of the drugs (clinical, forensic analysis): opiates, cocaine,
amphetamines and their analogues, hallucinogenics, cannabis products, etc.
|
||
|
Alternate courses
|
ÚCHV/APO1/99 or ÚCHV/APO1/00
|
||
|
Title
|
Special Toxicology
|
||
|
Code
|
ÚCHV/STOX/04
|
Teacher
|
Györyová Katarína
|
|
ECTS credits
|
5
|
Hrs/week
|
2/1
|
|
Assessment
|
Examination
|
Semester
|
|
|
T/L method
|
Lecture, Practical
|
||
|
Objective
|
To provide
students with knowledge of the toxicology of organic and inorganic compounds,
drugs, food additives, e.g., safety of substances, designation of substances
in accordance with norms of the European Union and the laws of the Slovak
Republic.
|
||
|
Content
|
Historical
aspects, types of toxic substances, dosage (LD50, ED50, TD50, tolerance),
absorption and distribution of toxic compounds. Metabolism of toxic compounds
(oxidation reactions, reduction, glucuronidation, glutathione conjugation,
acetylation); excretion of toxic compounds; toxicology of metals (alkali,
alkali earth and transition metals), radioactive substances, drugs, food
additives, industrial chemicals, household poisons, environmental pollutants
and organic compounds, animal toxins, fungal and microbial toxins. Risk and safety practices with chemical
substances, designation of substances in accordance with the norms of the
European Union and the laws of the Slovak Republic.
|
||
|
Recommended reading
|
J. A. Timbrell: Introduction to Toxicology, Taylor
and Francis, London 1989
H. Kenneth Dillon, Mat H. Ho: Biological Monitoring
of Exposure to
Chemicals: Metals, John Wiley & Sons, New York
1991
V. E. Forbes, T. L. Forbes: Toxicology in Theory and
Practice, Chapmane Hall, London 1994
H. M. Stahr: Analytical Methods in Toxicology, John
Wiley & Sons, New York 1991
|
||
INFORMATICS
Study programme Informatics
(Full-time
master)
Code Title
ECTS Credit Hours/week
Assessment Recommended
Year/Semester
Compulsory
courses
|
ÚINF/VYZ1/04
|
Computational Complexity
|
4
|
2/-
|
Examination
|
1/1
|
|
ÚINF/PDSI1/04
|
Diploma Thesis in Informatics Pro-seminar
|
2
|
-/2
|
Recognition
|
1/1
|
|
ÚMV/MMA2a/01
|
Mathematical Analysis
|
5
|
2/2
|
Examination
|
1/1
|
|
KFaDF/DF2p/07
|
History of Philosophy
|
4
|
2/1
|
Examination
|
1/1
|
|
ÚMV/PST2a/03
|
Probability and Statistics
|
5
|
3/1
|
Examination
|
1/2
|
|
ÚINF/SDI1a/03
|
Diploma Theses in Informatics Seminar
|
2
|
-/2
|
Recognition
|
1/2
|
|
ÚINF/PPU1a/04
|
Running Practice
|
2
|
-/2
|
Recognition
|
1/2
|
|
ÚINF/DPITa/06
|
Diploma Thesis in Informatics
|
4
|
-/4
|
Recognition
|
1/2
|
|
ÚINF/SPA1/05
|
Probabilistic Algorithms
|
4
|
-/3
|
Assessment
|
2/3
|
|
ÚINF/SDI1b/00
|
Diploma Theses in Informatics Seminar
|
2
|
-/2
|
Recognition
|
2/3
|
|
ÚINF/PPU1b/04
|
Running Practice
|
3
|
-/3
|
Recognition
|
2/3
|
|
ÚINF/DPITb/06
|
Diploma Thesis in Informatics
|
6
|
-/6
|
Recognition
|
2/3
|
|
ÚINF/SDI1c/00
|
Diploma Theses in Informatics Seminar
|
2
|
-/2
|
Recognition
|
2/4
|
|
ÚINF/DPITc/06
|
Diploma Thesis in Informatics
|
28
|
-/-
|
Recognition
|
2/4
|
Compulsory
elective courses
|
ÚINF/DSB1a/01
|
Security of Computer Networks Seminar
|
2
|
-/2
|
Assessment
|
1/2
|
|
ÚINF/NEU1/03
|
Neural Networks
|
5
|
2/1
|
Examination
|
1/1
|
|
ÚINF/DSL1a/01
|
Logic of Information Systems Seminar
|
2
|
-/2
|
Assessment
|
1 2
|
|
ÚINF/DSN1a/04
|
Neural Networks and Stringology Seminar
|
2
|
-/2
|
Assessment
|
1/2
|
|
ÚINF/KPI1/01
|
Encoding and Transfer of Information
|
4
|
2/1
|
Examination
|
1/1,2/3
|
|
ÚINF/DST1a/01
|
Theoretical Informatics Seminar
|
2
|
-/2
|
Assessment
|
1/2
|
|
ÚINF/ZNA1/06
|
Foundations of Knowledge Systems
|
4
|
2/-
|
Examination
|
1/1,2/3
|
|
ÚINF/DSA1a/06
|
Applied Infromatics Seminar
|
2
|
-/2
|
Assessment
|
1/2
|
|
ÚINF/KRP1/06
|
Cryptographic Protocols
|
4
|
2/1
|
Examination
|
1/1
|
|
ÚINF/MZK/06
|
Mathematical Foundations of Cryptography
|
6
|
3/2
|
Examination
|
1/1,2/3
|
|
ÚINF/LAD1/06
|
Logical Aspects of Databases
|
4
|
2/-
|
Examination
|
1/2
|
|
ÚINF/DSB1b/01
|
Security of Computer Networks Seminar
|
2
|
-/2
|
Assessment
|
2/3
|
|
ÚINF/SPS1/00
|
Network Programming Seminar
|
3
|
-/3
|
Assessment
|
1/1
|
|
ÚINF/DSL1b/01
|
of Information Systems Seminar
|
2
|
-/2
|
Assessment
|
2/3
|
|
ÚMV/TIN1/03
|
Theory of Information
|
4
|
2/-
|
Examination
|
1/1,2/3
|
|
ÚINF/DSN1b/04
|
Neural Networks and Stringology Seminar
|
2
|
-/2
|
Assessment
|
2/3
|
|
ÚINF/DST1b/01
|
Theoretical Informatics Seminar
|
2
|
-/2
|
Assessment
|
2/3
|
|
ÚINF/DSA1b/06
|
Applied Informatics Seminar
|
2
|
-/2
|
Assessment
|
2/3
|
|
ÚINF/KKV1/06
|
Classical and Quantum Computations
|
6
|
3/1
|
Examination
|
1/1,2/3
|
|
ÚFV/NOT1a/03
|
Nontraditional Optimisation Techniques I
|
5
|
2/2
|
Examination
|
1/1,2/3
|
|
ÚFV/NOT1b/03
|
Nontraditional Optimisation Techniques II
|
5
|
2/2
|
Examination
|
1/2
|
|
ÚFV/BSIM1/03
|
Biomolecular Simulations
|
6
|
2/2
|
Examination
|
1/2
|
|
ÚINF/SZS1/06
|
Semantics of Knowledge Systems
|
4
|
2/-
|
Examination
|
1/1,2/3
|
|
ÚMV/KOA1/04
|
Combinatorial Algorithms
|
5
|
3/-
|
Examination
|
1/2
|
|
ÚINF/AIS1/01
|
Architecture of Information Systems
|
4
|
2/1
|
Examination
|
1/2
|
|
ÚMV/ANP/03
|
Algorithmically Unsolvable Problems
|
4
|
2/-
|
Examination
|
1/2
|
|
ÚINF/VYU1/03
|
Computational Learning
|
5
|
2/1
|
Examination
|
1/2
|
|
ÚINF/SPG1/05
|
Computer Graphics Seminar
|
3
|
-/2
|
Assessment
|
1/2
|
|
ÚINF/OPS1/06
|
Security of Computer Networks
|
5
|
2/2
|
Examination
|
1/1,2/3
|
|
ÚINF/PDS1/03
|
Parallel and Distributed Systems
|
4
|
2/1
|
Examination
|
1/1,2/4
|
|
ÚINF/ARP1/05
|
Architecture of Computers
|
4
|
2/1
|
Examination
|
1/1,2/3
|
|
ÚMV/VP1/04
|
Computational Statistics and Simulation Methods
|
5
|
1/2
|
Examination
|
2 /3
|
Recommended
elective courses
|
ÚMV/DIS/04
|
Taxes and Information Systems
|
5
|
3/2
|
Examination
|
1/1,2/3
|
|
ÚMV/UM/05
|
Introduction to Maple
|
2
|
-/2
|
Assessment
|
1/1,2/3
|
|
ÚINF/OOP1/04
|
Object-oriented Programming
|
4
|
-/4
|
Assessment
|
1/2
|
|
ÚFV/ZKM1/01
|
Introductory Course in Quantum Mechanics for Informatics
|
4
|
2/1
|
Examination
|
1/1,2/3
|
|
ÚFV/KVP/02
|
Introductory Course in Quantum Computers
|
3
|
2/-
|
Examination
|
1/1,2/3
|
|
ÚINF/SVK1/00
|
Student Scientific Conference
|
4
|
-/-
|
Assessment
|
1/1,2/4
|
|
ÚINF/MIN1/06
|
Informatics for Medicine
|
2
|
-/2
|
Assessment
|
1/1,2/3
|
|
ÚMV/NM1/04
|
Numerical Mathematics
|
3
|
4/3
|
Examination
|
1/1,2/3
|
|
ÚINF/TDB1/06
|
Development of Web-oriented Database Applications
|
2
|
-/2
|
Assessment
|
1/1,2/4
|
|
ÚINF/BPM1/06
|
Business Process Management
|
2
|
-/2
|
Assessment
|
1/1,2/4
|
|
ÚINF/UUI1/06
|
Introduction to Artificial Intelligence
|
3
|
2/-
|
Examination
|
1/1,2/3
|
|
ÚINF/SAP1a/06
|
Introduction to mySAP Technology
|
2
|
-/2
|
Assessment
|
1/1,2/3
|
|
ÚINF/SAP1b/06
|
Administration of mySAP System
|
2
|
-/2
|
Assessment
|
1/1,2/4
|
|
ÚINF/MSW1/07
|
Modern Methods of Sofware System Development
|
4
|
-/2
|
Assessment
|
1/1,2/3
|
|
UMV/VP1/99
|
Computational Statistics and Simulation Methods
|
5
|
1/2
|
Examination
|
2/3
|
Course units
Compulsory courses
|
Title
|
Computational Complexity
|
||
|
Code
|
ÚINF/VYZ1/04
|
Teacher
|
Geffert Viliam
|
|
ECTS credits
|
4
|
Hrs/week
|
2/-
|
|
Assessment
|
Examination
|
Semester
|
1
|
|
T/L method
|
Lecture
|
||
|
Objective
|
To give
students background in the computational complexity and theory of
NP-completeness.
|
||
|
Content
|
Deterministic
and nondeterministic algorithms with polynomial time; NP-completeness.
Deterministic simulation of a nondeterministic Turing machine. Satisfiability
of Boolean formulae. Other NP-complete problems: satisfiability of a formula
in a conjunctive normal form, 3-satisfiability, 3-colorability of a graph,
3-colorability of a planar graph, knapsack problem, balancing, etc. Space
bounded computations, classes LOG-space and P-space. Deterministic
simulation: Savitch’s theorem. Closure under complement. Classification of
computational complexity of problems.
|
||
|
Alternate courses
|
ÚINF/VYZ1/03 or ÚINF/VYZ1/00
|
||
|
Recommended reading
|
A.V.Aho and J.D.Ullman. The design and analysis of
computer algorithms. Addison-Wesley, 19741
P.van Emde Boas. Machine models and simulations. In
J.van Leeuwen (ed.): Handbook of theoretical computer science. North-Holland,
1990
Ch.K.Yap. Introduction to the theory of complexity
classes. To be published by Oxford Univ. Press. (Electronic version available
via anonymous ftp://cs.nyu.edu/pub/local/yap/complexity-bk).
|
||
|
Title
|
Diploma Thesis
in Informatics Pro-seminar
|
||
|
Code
|
ÚINF/PDSI1/04
|
Teacher
|
Geffert Viliam
|
|
ECTS credits
|
2
|
Hrs/week
|
-/2
|
|
Assessment
|
Recognition
|
Semester
|
1
|
|
T/L method
|
Practical
|
||
|
Objective
|
To inform
students about areas of informatics suitable for their diploma thesis work
and to have them prepare, by the end of the semester, a prospectus for their
thesis that includes the theme(s) of the thesis, goals and recommended study
literature.
|
||
|
Content
|
Seminar is
oriented to problems pertinent to preparations of diploma theses.
|
||
|
Alternate courses
|
ÚBEV/DP2a/03 orÚCHV/DPCUa/04 orÚFV/DPF2a/03
orÚGE/DPGa/03 orÚMV/DPMUa/03
|
||
|
Recommended reading
|
ISO 690: 1987 Documentation - Bibliographic
references. Content, form and structure.
ISO 2145: 1978 Documentation - Numbering of divisions
and subdivisions in written documents.
|
||
|
Title
|
Probability and Statistics
|
||
|
Code
|
ÚMV/PST2a/03
|
Teacher
|
Skřivánková Valéria
|
|
ECTS credits
|
5
|
Hrs/week
|
3/1
|
|
Assessment
|
Examination
|
Semester
|
2
|
|
T/L method
|
Lecture, Practical
|
||
|
Content
|
Probability
space; properties of probability. Conditional probability and independence.
Random variables, their distributions and characteristics. Distribution,
quantile and characteristic functions, their properties. Special types of
distributions. Central limit theorem. Descriptive statistics.
|
||
|
Prerequisite courses
|
ÚMV/MMA2a/01
|
||
|
Recommended reading
|
Pfeiffer P.E.: Probability for applications,
Springer, New York, 199O.
Viniotis Y.: Probability and random processes,
Mc.Graw-Hill, Singapure, 1998
|
||
|
Title
|
Diploma Thesis
in Informatics Seminar
|
||
|
Code
|
ÚINF/SDI1a/03
|
Teacher
|
Geffert Viliam,
Andrejková Gabriela
|
|
ECTS credits
|
2
|
Hrs/week
|
-/2
|
|
Assessment
|
Recognition
|
Semester
|
2
|
|
T/L method
|
Practical
|
||
|
Objective
|
To provide
students with monitoring and assessment of the work done to this point on
thesis preparation and to give them the opportunity for public presentation
of their work.
|
||
|
Content
|
Every
thesis has a compulsory theoretical part and may also contain a software
part. To gain recognition, the following is necessary: a detailed compilation
of studied literature (a minimum of thirty pages) and at least twenty pages
of text containing the candidate's own views of the problem area, possible
research goals, own results are welcome (if the thesis is purely theoretical,
this will be judged more strictly). For the software part: a tested
implementation (must conform to user requirements, help and user friendly
user interface not necessary at this stage) and access to source texts. For
both parts there will be an oral presentation and discussion.
|
||
|
Alternate courses
|
ÚINF/SDI1a/00
|
||
|
Title
|
Probabilistic Algorithms Seminar
|
||
|
Code
|
ÚINF/SPA1/05
|
Teacher
|
Semanišin Gabriel, Lacko Vladimír
|
|
ECTS credits
|
4
|
Hrs/week
|
-/3
|
|
Assessment
|
Assessment
|
Semester
|
3
|
|
T/L method
|
Practical
|
||
|
Objective
|
To teach
basic concepts of probabilistic algorithms and to classify them according to
the probability of error point of view.
|
||
|
Content
|
Introduction
to probabilistic algorithms. Classification and development of probabilistic
algorithms; methods of development
(Las Vegas, Monte Carlo). Applications of the methods in some problems
Methods of transforming probabilistic algorithms to deterministic ones.
|
||
|
Exclusive courses
|
ÚINF/PAL1/01
|
||
|
Title
|
Diploma Thesis
in Informatics Seminar
|
||
|
Code
|
ÚINF/SDI1b/00
|
Teacher
|
Geffert Viliam
|
|
ECTS credits
|
2
|
Hrs/week
|
-/2
|
|
Assessment
|
Recognition
|
Semester
|
3
|
|
T/L method
|
Practical
|
||
|
Objective
|
To provide
students with monitoring and assessment of the work done to this point on
thesis preparation and to give them the opportunity for public presentation
of their work.
|
||
|
Content
|
Every
thesis has a compulsory theoretical part and may also contain a software
part. To gain recognition, the following is necessary: a detailed compilation
of studied literature (a minimum of thirty pages) and at least twenty pages
of text containing the candidate's own views of the problem area, possible
research goals, own results are welcome (if the thesis is purely theoretical,
this will be judged more strictly). For the software part: a tested
implementation (must conform to user requirements, help and user friendly
user interface not necessary at this stage) and access to source texts. For
both parts there will be an oral presentation and discussion.
|
||
|
Automatic prerequisite courses
|
ÚINF/SDI1a/03
|
||
|
Title
|
Diploma Theses
in Informatics Seminar
|
||
|
Code
|
ÚINF/SDI1c/00
|
Teacher
|
Geffert Viliam
|
|
ECTS credits
|
2
|
Hrs/week
|
-/2
|
|
Assessment
|
Recognition
|
Semester
|
4
|
|
T/L method
|
Practical
|
||
|
Objective
|
To provide
students with monitoring and assessment of the work done to this point on
thesis preparation and to give them the opportunity for public presentation
of their work.
|
||
|
Content
|
Every
thesis has a compulsory theoretical part and may also contain a software
part. To gain recognition, the following is necessary: a detailed compilation
of studied literature (a minimum of thirty pages) and at least twenty pages
of text containing the candidate's own views of the problem area, possible
research goals, own results are welcome (if the thesis is purely theoretical,
this will be judged more strictly). For the software part: a tested
implementation (must conform to user requirements, help and user friendly
user interface not necessary at this stage) and access to source texts. For
both parts there will be an oral presentation and discussion.
|
||
|
Automatic prerequisite courses
|
ÚINF/SDI1b/00
|
||
Tidak ada komentar:
Posting Komentar