SoSe 21: ProInformatik I: Logics and Discrete Mathematics
N.N.
Additional information / Pre-requisites
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
65 Class schedule
Additional appointments
Fri, 2021-10-01 13:00 - 16:00
Location:
T9/Gr. Hörsaal (Takustr. 9)
Regular appointments
Lecturers:
N.N.
Location:
A3/Hs 001 Hörsaal (Arnimallee 3-5)
Lecturers:
N.N.
Location:
A3/Hs 001 Hörsaal (Arnimallee 3-5)
Lecturers:
N.N.
Location:
A3/Hs 001 Hörsaal (Arnimallee 3-5)
Lecturers:
N.N.
Location:
A3/Hs 001 Hörsaal (Arnimallee 3-5)
Lecturers:
N.N.
Location:
A3/Hs 001 Hörsaal (Arnimallee 3-5)
Lecturers:
N.N.
Location:
A3/Hs 001 Hörsaal (Arnimallee 3-5)
Lecturers:
N.N.
Location:
A3/Hs 001 Hörsaal (Arnimallee 3-5)
Lecturers:
N.N.
Location:
A3/Hs 001 Hörsaal (Arnimallee 3-5)
Lecturers:
N.N.
Location:
A3/Hs 001 Hörsaal (Arnimallee 3-5)
Lecturers:
N.N.
Location:
A3/Hs 001 Hörsaal (Arnimallee 3-5)
Lecturers:
N.N.
Location:
A3/Hs 001 Hörsaal (Arnimallee 3-5)
Lecturers:
N.N.
Location:
A3/Hs 001 Hörsaal (Arnimallee 3-5)
Lecturers:
N.N.
Location:
A3/Hs 001 Hörsaal (Arnimallee 3-5)
Lecturers:
N.N.
Location:
A3/Hs 001 Hörsaal (Arnimallee 3-5)
Lecturers:
N.N.
Location:
A3/Hs 001 Hörsaal (Arnimallee 3-5)
Lecturers:
N.N.
Location:
A3/Hs 001 Hörsaal (Arnimallee 3-5)
Lecturers:
N.N.
Location:
A3/Hs 001 Hörsaal (Arnimallee 3-5)
Lecturers:
N.N.
Location:
A3/Hs 001 Hörsaal (Arnimallee 3-5)
Lecturers:
N.N.
Location:
A3/Hs 001 Hörsaal (Arnimallee 3-5)
Lecturers:
N.N.
Location:
A3/Hs 001 Hörsaal (Arnimallee 3-5)
Lecturers:
N.N.
Location:
A3/Hs 001 Hörsaal (Arnimallee 3-5)
Lecturers:
N.N.
Location:
A3/Hs 001 Hörsaal (Arnimallee 3-5)
Lecturers:
N.N.
Location:
A3/Hs 001 Hörsaal (Arnimallee 3-5)
Lecturers:
N.N.
Location:
A3/Hs 001 Hörsaal (Arnimallee 3-5)
Lecturers:
N.N.
Location:
A3/Hs 001 Hörsaal (Arnimallee 3-5)
Lecturers:
N.N.
Location:
A3/Hs 001 Hörsaal (Arnimallee 3-5)
Lecturers:
N.N.
Location:
A3/Hs 001 Hörsaal (Arnimallee 3-5)
Lecturers:
N.N.
Location:
A3/Hs 001 Hörsaal (Arnimallee 3-5)
Lecturers:
N.N.
Location:
A3/Hs 001 Hörsaal (Arnimallee 3-5)
Lecturers:
N.N.
Location:
A3/Hs 001 Hörsaal (Arnimallee 3-5)
Lecturers:
N.N.
Location:
A3/Hs 001 Hörsaal (Arnimallee 3-5)
Lecturers:
N.N.
Location:
A3/Hs 001 Hörsaal (Arnimallee 3-5)
Lecturers:
N.N.
Location:
A3/Hs 001 Hörsaal (Arnimallee 3-5)
Lecturers:
N.N.
Location:
A3/Hs 001 Hörsaal (Arnimallee 3-5)
Lecturers:
N.N.
Location:
A3/Hs 001 Hörsaal (Arnimallee 3-5)
Contents:
propositional logic and mathematical proof techniques Boolean terms and functions, DNF and CNF, satisfiability, resolutionset theory: sets, relations, equivalence and order ... read more