Course detail
Seminar of Discrete Mathematics and Logics
FIT-SDLAcad. year: 2022/2023
Set, relation, map, function, equivalence, ordering, lattice. Algebraical structures with one and two operations. Homomorphisms and congruences. Lattices and Boolean algebras. Propositional and predicate logic: syntax, semantics, normal forms of formulae, proofs, theories, correctness and completeness.
Language of instruction
Number of ECTS credits
Mode of study
Guarantor
Department
Learning outcomes of the course unit
Prerequisites
Co-requisites
Planned learning activities and teaching methods
Assesment methods and criteria linked to learning outcomes
Final test, required is 55 points from 100.
Course curriculum
Work placements
Aims
Specification of controlled education, way of implementation and compensation for absences
- A written final test, with the maximum gain of 100 points. There will two terms of the test, hence a student has at most two attempts to pass the course (if he/she attends both terms).
- If a student can substantiate serious reasons for an absence from both tests, (s)he will be examined individually.
- Voluntary homeworks may be posted during the semester. They are scored according to their difficulty (solving the homeworks is not necessary to pass the course).
Recommended optional programme components
Prerequisites and corequisites
Basic literature
Recommended reading
Kolibiar, M. a kol., Algebra a príbuzné disciplíny, Alfa, Bratislava, 1992.
Matoušek J., Nešetřil J., Invitation to Discrete Mathematics, Oxford University Press, Oxford 2008.
Sochor, A., Klasická matematická logika, Karolinum, Praha 2001.
Elearning
Classification of course in study plans
- Programme MITAI Master's
specialization NADE , 1 year of study, winter semester, compulsory
specialization NBIO , 1 year of study, winter semester, compulsory
specialization NCPS , 1 year of study, winter semester, compulsory
specialization NEMB , 1 year of study, winter semester, compulsory
specialization NGRI , 1 year of study, winter semester, compulsory
specialization NHPC , 1 year of study, winter semester, compulsory
specialization NIDE , 1 year of study, winter semester, compulsory
specialization NISD , 1 year of study, winter semester, compulsory
specialization NISY up to 2020/21 , 1 year of study, winter semester, compulsory
specialization NMAL , 1 year of study, winter semester, compulsory
specialization NMAT , 1 year of study, winter semester, compulsory
specialization NNET , 1 year of study, winter semester, compulsory
specialization NSEC , 1 year of study, winter semester, compulsory
specialization NSEN , 1 year of study, winter semester, compulsory
specialization NSPE , 1 year of study, winter semester, compulsory
specialization NVER , 1 year of study, winter semester, compulsory
specialization NVIZ , 1 year of study, winter semester, compulsory
specialization NISY , 1 year of study, winter semester, compulsory
specialization NEMB up to 2021/22 , 1 year of study, winter semester, compulsory
Type of course unit
Seminar
Teacher / Lecturer
Syllabus
- Sets, relations, functions.
- Sets, relations, functions, excercises.
- Propositional and predicate logic.
- Propositional and predicate logic, excercises.
- Logical proof and logical systems.
- Algebraic structures with one and two operations.
- Logical systems and algebra, excercises.
(the seminar runs in the first 11 weeks of the semester, with four holes for the test from MSP, TIN, and for a state holiday)
Elearning