[MpInf] Mathematics for Informatics

BCKIS

[MpInf] Mathematics for Informatics

Main objectives of the course:

Basic knowledge of the mathematical terms and procedures for problem solving. Get a basic overview of knowledge of mathematics used in informatics.

Lecturers from the department:

The course information sheet
Course information sheet
University: University of Žilina
Faculty: Faculty of Management Science and Informatics
Course ID: 5BF115Course name: Mathematics for Informatics (MpInf)
Form, extent and method of teaching activities:
Number of classes per week in the form of lectures,
laboratory exercises, seminars or clinical practice		Lectures: 2.0 Seminars: 2.0 Lab.exercises: 2.0
Methods by which the educational activity is deliveredCombined form of education
Applied educational activities and methods suitable for achieving learning outcomes
Number of credits: 7.0
Study workload: hours
Specification of the study workload:
Recommended term of study: 1. year, winter semester
Study degree: 1.
Required subsidiary courses:
Prerequisites:

Co-requisites:
Course requirements:
Continuous assessment / evaluation:
Working at term: 60%
Final assessment /evaluation:
Exam: 40%
The examination is a test of the theory and examples. For the test, it is possible to obtain 20 points of which must be at least 12 to continue the experimental section. For examples you can get 20 points of which must be received at least 12 Finally, add up the points gained through semester and during the test.

Final score:
Rating points obtained by:
91-100 points A; 81-90 points B; 71-80 points C; 61-70 points D; 51-60 points E; less than 51 points FX.
To enroll for an exam student must have 36 points.
Course outcomes:
Basic knowledge of the mathematical terms and procedures for problem solving. Get a basic overview of knowledge of mathematics used in informatics.

Lectures will be held ONLINE, exercises for students with OTP confirmation will be in presence form, if the epidemiological situation allows. Exercises for students without OTP confirmation will be ONLINE.
Course scheme:
1. Combinatoric counting.
2. Introduction to number theory, modular arithmetics. Algorithms in number theory.
3. State automata and Turing machines.
4. Mathematical logic and predicates.
5. Types of numbers. Number systems.
6. Sets and relations.
7. Relations and functions.
8. Sequences.
9. Finite sums and products.
10. Real functions part 1.
11. Real functions part 2.
12. Asymptotics. Mathematical proofs.
Literature:
Bachratá, K., Bachratý, H., Jančigová, I., Smiešková, M.: Mathematical Foundations for Computer Science, EDIS, 2019 (also available in electronic form)
Meyer, A.R.: Mathematics for Computer Science, MIT 2007,
Czimmermann, P. - Matematika pre informatikov, EDIS, 2012
Kluvánek, P. - Prípravka na diferenciálny a integrálny počet, EDIS, 1991
Graham, R., Knuth, D., Pataschnik, O. - Concrete mathematics, Addison-Wesley, 1990, ISBN 0-201-14236-8
Instruction language: slovak
Notes:
Course evaluation::
Total number of evaluated students: 285
ABCDEFX
4.91 % 9.12 %23.16 %35.09 %25.61 % 2.11 %
ABCDEFX
4.91 % 9.12 %23.16 %35.09 %25.61 % 2.11 %
Course teachers:
Lecture: doc. RNDr. Katarína Bachratá, PhD.
Lecture: Mgr. Peter Novotný, PhD.
Laboratory: doc. RNDr. Katarína Bachratá, PhD.
Laboratory: RNDr. Hynek Bachratý, PhD.
Laboratory: Mgr. Kristína Ďuračíková, PhD.
Laboratory: Mgr. Peter Novotný, PhD.
Laboratory: doc. Mgr. Juraj Smieško, PhD.
Laboratory: Mgr. Monika Smiešková, PhD.
Seminar: doc. RNDr. Katarína Bachratá, PhD.
Seminar: RNDr. Hynek Bachratý, PhD.
Seminar: Mgr. Kristína Ďuračíková, PhD.
Seminar: Mgr. Peter Novotný, PhD.
Seminar: doc. Mgr. Juraj Smieško, PhD.
Seminar: Mgr. Monika Smiešková, PhD.
Last updated: 2021-09-24 07:41:03.000
The person responsible for the course: doc. RNDr. Katarína Bachratá, PhD.
Approved by:
SOURCE: https://vzdelavanie.uniza.sk/vzdelavanie/planinfo.php?kod=274404&lng=en