M1120 Discrete mathematics

Faculty of Science
Autumn 2010
Extent and Intensity
2/2/0. 4 credit(s) (příf plus uk k 1 zk 2 plus 1 > 4). Type of Completion: zk (examination).
Teacher(s)
Mgr. David Kruml, Ph.D. (lecturer)
prof. RNDr. Jiří Rosický, DrSc. (lecturer)
Mgr. Jitka Kühnová, Ph.D. (seminar tutor)
doc. Mgr. Michal Kunc, Ph.D. (seminar tutor)
Mgr. Petr Okrajek (seminar tutor)
Guaranteed by
prof. RNDr. Jiří Rosický, DrSc.
Department of Mathematics and Statistics – Departments – Faculty of Science
Timetable
Tue 14:00–15:50 M1,01017, Tue 16:00–17:50 A,01026
  • Timetable of Seminar Groups:
M1120/01: Fri 10:00–11:50 M4,01024, P. Okrajek
M1120/02: Fri 8:00–9:50 M4,01024, P. Okrajek
M1120/03: Fri 8:00–9:50 M5,01013, D. Kruml
M1120/04: Fri 10:00–11:50 M5,01013, D. Kruml
M1120/05: Tue 18:00–19:50 M1,01017, D. Kruml
M1120/06: Wed 14:00–15:50 M4,01024, M. Kunc
M1120/07: Tue 12:00–13:50 M4,01024, J. Kühnová
M1120/08: Wed 12:00–13:50 M4,01024, M. Kunc
Prerequisites
! M1125 Fundamentals of Mathematics && !NOW( M1125 Fundamentals of Mathematics )
Knowledge of high-school mathematics is supposeed.
Course Enrolment Limitations
The course is also offered to the students of the fields other than those the course is directly associated with.
fields of study / plans the course is directly associated with
Course objectives
The course links up high school knowledge with basic concepts of discrete mathematics. It mainly deals with fundaments of mathematical logic, set theory, combinatorics and graph theory. Students are prepared to use the knowledge in their following study.
Syllabus
  • Basic logical concepts (formulae, notation for mathematical statements, proofs)
  • Basics of set theory (set operations, including the Cartesian product).
  • Mappings (types of mappings, composition).
  • Cardinality of a set (finite, countable and uncountable sets).
  • Relations (types and properties of relations, composition).
  • Equivalences and partitions (kernel of a mapping, constructions of selected number domains).
  • Ordered sets (order relations, Hasse diagrams, complete lattices, isotone mappings).
  • Combinatorics (permutation, combination, inclusion and exclusion principle).
  • Graph theory (oriented and non-oriented graphs, conectedness, skeletons, Euler graphs, basic alghorithms).
Literature
  • Horák, Pavel. Základy matematiky. Učební text. Podzimní semestr 2010.
  • MATOUŠEK, Jiří and Jaroslav NEŠETŘIL. Kapitoly z diskrétní matematiky. Vyd. 2., opr. Praha: Univerzita Karlova v Praze, nakladatelství Karolinum, 2000, 377 s. ISBN 8024600846. info
Teaching methods
The subject consists of talks and obligatory seminars. The talk presents key notions, their properties and methods of use. Problems are collectively solved in seminars to develop student's insight.
Assessment methods
Students are examined in 2 tests during the term (10 pts per each) and in the final written test (80 pts). The mark is calculated as follows: A 90-100, B 80-89, C 70-79, D 60-69, E 50-59, F 0-49.
Language of instruction
Czech
Further comments (probably available only in Czech)
Study Materials
The course is taught annually.
Listed among pre-requisites of other courses
The course is also listed under the following terms Autumn 2007 - for the purpose of the accreditation, Autumn 1999, Autumn 2010 - only for the accreditation, Autumn 2000, Autumn 2001, Autumn 2002, Autumn 2003, Autumn 2004, Autumn 2005, Autumn 2006, Autumn 2007, Autumn 2008, Autumn 2009, Autumn 2011, Autumn 2011 - acreditation, Autumn 2012, Autumn 2013, Autumn 2014, Autumn 2015, Autumn 2016, autumn 2017, Autumn 2018, Autumn 2019, Autumn 2020, autumn 2021, Autumn 2022, Autumn 2023, Autumn 2024.
  • Enrolment Statistics (Autumn 2010, recent)
  • Permalink: https://is.muni.cz/course/sci/autumn2010/M1120