Discrete Mathematics
Study programs
Teaching information
Teaching form
Lecture, Seminar, Numerical exercisesStudy method
AttendanceLanguage
slovenskýHours per week (full-time)
3,1,2Hours per semester (part-time)
ZS 78,26,52/,39,13,26/LS 78,26,52/,39,13,26Teachers
doc. RNDr. Marián Klešč, PhD. doc. RNDr. Helena Myšková, PhD. RNDr. Mária Timková, PhD. RNDr. Štefan Berežný, PhD. RNDr. Emília Draženská, PhD. RNDr. Juraj Valiska, PhD. RNDr. Ivana Varga, PhD.
Schedule
Prerequisites
26001210 - Mathematics I
Learning outcomes
To present the basic theoretical knowledge from Boolean algebra and to show the applications of the boolean functions. To introduce the basic algebraic structures and combinatorial princples and methods for algorithms evaluation.
Course outline
- Some set properties, theory of numbers, - Binary relations and mappings, partially ordered sets, - Lattices, Boolean algebras, Boolean functions, - Propositional logic - Formulas of a propositional logic, predicate logic, predicate calculus, - Graphs, special graphs, - Directed graphs, acyclic directed graphs and trees, - Planar graphs, graph colloring, - Acyclic graphs, spanning trees, binary graphs, - Graph applications, graph algorithms, network flows.
Completion conditions
Assessment and completion of the course: Credit test and examination Continuous assessment: Student passes the continuous assessment and receives credits when he or she meets the requirement to obtain at least 1u out of 1u16% out of 30%. written form test Final assessment: Student passes the final assessment and passes the examination when he or she meets the requirement to obtain at least 36% out of 70%. oral form exam Overall assessment: Overall assessment is the sum of the assessments obtained by students in the assessment period. The overall result is determined in accordance with the internal regulations of the Technical University in Košice. (Study Regulations, the internal regulation principles of doctoral studies)
Recommended literature
1. Bučko, M. - Klešč, M.: Diskrétna matematika. Elfa, Košice, 1995, 1997, 1999. 2. Kolář, J. - Štepánková, O. - Chytil, M.: Logika, algebry a grafy. SNTL, Praha 1989. 3.Draženská, E. - Myšková, H.: Matematická logika, Equilibria, 2011.
Grade distribution
Total graded students: 4673