19310201
Lecture
SoSe 24: ProInformatik I: Discrete Structures in Computer Science
Benjamin Berendsohn, Katharina Klost
Additional information / Pre-requisites
The registration for the course can only be done through the Proinformatik registration!
Comments
Contents:
- propositional logic and mathematical proof techniques
- Boolean terms and functions, DNF and CNF, satisfiability, resolution
- set theory: sets, relations, equivalence and order relations, functions
- natural numbers and induction, countability
- predicate logic and mathematical structures
- combinatorics: counting, binomial coefficients and Stirling numbers, recursion, pigeonhole principle
- discrete probability theory
- graph theory: graphs and their representation, paths and cycles, trees
Suggested reading
- Christoph Meinel, Martin Mundhenk: Mathematische Grundlagen der Informatik, Teubner; 2. Auflage 2002
- Uwe Schöning: Logik für Informatiker, B.I.-Wissenschaftsverlag; 5.Auflage 2000
- Kenneth H. Rosen: Discrete Mathematics and its Applications, Mc-Graw Hill; 1999
- M. Aigner: Diskrete Mathematk, Vieweg, 5. Auflage 2004
48 Class schedule
Additional appointments
Mon, 2024-08-19 14:00 - 15:30ProInformatik I: Diskrete Strukturen in der Informatik
Location:
T9/SR 005 Übungsraum (Takustr. 9)
Klausur
Tue, 2024-08-27 10:00 - 11:00
Klausureinsicht
Regular appointments
Mon, 2024-07-22 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik
Tue, 2024-07-23 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik
Wed, 2024-07-24 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik
Thu, 2024-07-25 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik
Fri, 2024-07-26 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik
Mon, 2024-07-29 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik
Tue, 2024-07-30 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik
Wed, 2024-07-31 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik
Thu, 2024-08-01 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik
Fri, 2024-08-02 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik
Mon, 2024-08-05 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik
Tue, 2024-08-06 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik
Wed, 2024-08-07 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik
Thu, 2024-08-08 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik
Fri, 2024-08-09 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik
Mon, 2024-08-12 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik
Tue, 2024-08-13 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik
Wed, 2024-08-14 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik
Thu, 2024-08-15 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik
Fri, 2024-08-16 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik
Mon, 2024-08-19 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik
Tue, 2024-08-20 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik
Wed, 2024-08-21 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik
Thu, 2024-08-22 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik
Mon, 2024-07-22 14:00 - 15:30
ProInformatik I: Diskrete Strukturen in der Informatik
Tue, 2024-07-23 14:00 - 15:30
ProInformatik I: Diskrete Strukturen in der Informatik
Wed, 2024-07-24 14:00 - 15:30
ProInformatik I: Diskrete Strukturen in der Informatik
Thu, 2024-07-25 14:00 - 15:30
ProInformatik I: Diskrete Strukturen in der Informatik
Fri, 2024-07-26 14:00 - 15:30
ProInformatik I: Diskrete Strukturen in der Informatik
Mon, 2024-07-29 14:00 - 15:30
ProInformatik I: Diskrete Strukturen in der Informatik
Tue, 2024-07-30 14:00 - 15:30
ProInformatik I: Diskrete Strukturen in der Informatik
Wed, 2024-07-31 14:00 - 15:30
ProInformatik I: Diskrete Strukturen in der Informatik
Thu, 2024-08-01 14:00 - 15:30
ProInformatik I: Diskrete Strukturen in der Informatik
Fri, 2024-08-02 14:00 - 15:30
ProInformatik I: Diskrete Strukturen in der Informatik
Mon, 2024-08-05 14:00 - 15:30
ProInformatik I: Diskrete Strukturen in der Informatik
Tue, 2024-08-06 14:00 - 15:30
ProInformatik I: Diskrete Strukturen in der Informatik
Wed, 2024-08-07 14:00 - 15:30
ProInformatik I: Diskrete Strukturen in der Informatik
Thu, 2024-08-08 14:00 - 15:30
ProInformatik I: Diskrete Strukturen in der Informatik
Fri, 2024-08-09 14:00 - 15:30
ProInformatik I: Diskrete Strukturen in der Informatik
Mon, 2024-08-12 14:00 - 15:30
ProInformatik I: Diskrete Strukturen in der Informatik
Tue, 2024-08-13 14:00 - 15:30
ProInformatik I: Diskrete Strukturen in der Informatik
Wed, 2024-08-14 14:00 - 15:30
ProInformatik I: Diskrete Strukturen in der Informatik
Thu, 2024-08-15 14:00 - 15:30
ProInformatik I: Diskrete Strukturen in der Informatik
Fri, 2024-08-16 14:00 - 15:30
ProInformatik I: Diskrete Strukturen in der Informatik
Mon, 2024-08-19 14:00 - 15:30
ProInformatik I: Diskrete Strukturen in der Informatik
Tue, 2024-08-20 14:00 - 15:30
ProInformatik I: Diskrete Strukturen in der Informatik
Wed, 2024-08-21 14:00 - 15:30
ProInformatik I: Diskrete Strukturen in der Informatik
Thu, 2024-08-22 14:00 - 15:30
ProInformatik I: Diskrete Strukturen in der Informatik
Contents:
propositional logic and mathematical proof techniques Boolean terms and functions, DNF and CNF, satisfiability, resolution set theory: sets, relations, equivalence and ... read more