Ueli Maurer: Catalogue data in Autumn Semester 2020 |  |
| Name | Prof. Dr. Ueli Maurer |
| Field | Informatik |
| Address | Inst. f. Theoretische Informatik ETH Zürich, CAB H 19.2 Universitätstrasse 6 8092 Zürich SWITZERLAND |
| Telephone | +41 44 632 74 20 |
| Fax | +41 44 632 18 92 |
| maurer@inf.ethz.ch | |
| URL | http://www.crypto.ethz.ch/~maurer/ |
| Department | Computer Science |
| Relationship | Full Professor |
| Number | Title | ECTS | Hours | Lecturers | |
|---|---|---|---|---|---|
| 252-0025-01L | Discrete Mathematics   | 7 credits | 4V + 2U | U. Maurer | |
| Abstract | Content: Mathematical reasoning and proofs, abstraction. Sets, relations (e.g. equivalence and order relations), functions, (un-)countability, number theory, algebra (groups, rings, fields, polynomials, subalgebras, morphisms), logic (propositional and predicate logic, proof calculi). | ||||
| Objective | The primary goals of this course are (1) to introduce the most important concepts of discrete mathematics, (2) to understand and appreciate the role of abstraction and mathematical proofs, and (3) to discuss a number of applications, e.g. in cryptography, coding theory, and algorithm theory. | ||||
| Content | See course description. | ||||
| Lecture notes | available (in english) | ||||