FI:IV119 Seminar on Discrete Methods - Course Information
IV119 Seminar on Discrete Mathematical MethodsFaculty of Informatics
- Extent and Intensity
- 0/2/0. 2 credit(s) (plus extra credits for completion). Recommended Type of Completion: k (colloquium). Other types of completion: z (credit).
- prof. RNDr. Petr Hliněný, Ph.D. (lecturer)
Mgr. David Klaška (seminar tutor)
- prof. RNDr. Mojmír Křetínský, CSc.
Department of Computer Science - Faculty of Informatics
Supplier department: Department of Computer Science - Faculty of Informatics
- Wed 8:00–9:50 C417
- Basics of undergraduate mathematics (IB000 is enough).
- Course Enrolment Limitations
- The course is offered to students of any study field.
- Course objectives
- The aim of this seminar is to introduce interested students into the beauties of mathematics and of clean mathematical proofs. This will teach students "mathematical thinking" - to understand math definitions, statements, and proofs in their full depth, and to make their own new proofs in all areas of mathematics and theoretical computer science.
- Selected nice topics from "Proofs from THE BOOK"; TBA each year.
- Number theory, Combinatorics, Combinatorial geometry, Graph theory.
- Different topics are chosen in subsequent years.
- required literature
- AIGNER, Martin and Günter M. ZIEGLER. Proofs from the book. Berlin: Springer, 1998. viii, 199. ISBN 3540636986. info
- Teaching methods
- This is a seminar; the lectures will consist of informal presentations by the teachers and also by all participating students, and of scientific discussion. Each student is expected to deliver his/her own presentation once during the semester.
- Assessment methods
- Students are evaluated by their active participation in lectures, and according to their own presentation of the assigned topic.
- Language of instruction
- Follow-Up Courses
- Further comments (probably available only in Czech)
- Study Materials
The course is taught annually.
- Teacher's information