Přístupnostní navigace
E-application
Search Search Close
Course detail
FIT-SDLAcad. year: 2023/2024
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
Entry knowledge
Rules for evaluation and completion of the course
Final test, required is 55 points from 100.
Aims
Study aids
Prerequisites and corequisites
Basic literature
Recommended reading
Seminar
Teacher / Lecturer
Syllabus
(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)