SoSe 21: ProInformatik I: Logik und Diskrete Mathematik
N.N.
Zusätzl. Angaben / Voraussetzungen
Kommentar
Inhalte:
- Aussagenlogik und mathematische Beweistechniken Boolesche Formeln und Boolesche Funktionen, DNF und KNF, Erfüllbarkeit, Resolutionskalkül
- Mengenlehre: Mengen, Relationen, Äquivalenz- und Ordnungsrelationen, Funktionen
- Natürliche Zahlen und vollständige Induktion, Abzählbarkeit
- Prädikatenlogik und mathematische Strukturen
- Kombinatorik: Abzählprinzipien, Binomialkoeffizienten und Stirling-Zahlen, Rekursion, Schubfachprinzip
- diskrete Wahrscheinlichkeitsverteilungen
- Graphentheorie: Graphen und ihre Darstellungen, Wege und Kreise in Graphen, Bäume
Literaturhinweise
- 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 Termine
Zusätzliche Termine
Fr, 01.10.2021 13:00 - 16:00
Räume:
T9/Gr. Hörsaal (Takustr. 9)
Regelmäßige Termine der Lehrveranstaltung
Dozenten:
N.N.
Räume:
A3/Hs 001 Hörsaal (Arnimallee 3-5)
Dozenten:
N.N.
Räume:
A3/Hs 001 Hörsaal (Arnimallee 3-5)
Dozenten:
N.N.
Räume:
A3/Hs 001 Hörsaal (Arnimallee 3-5)
Dozenten:
N.N.
Räume:
A3/Hs 001 Hörsaal (Arnimallee 3-5)
Dozenten:
N.N.
Räume:
A3/Hs 001 Hörsaal (Arnimallee 3-5)
Dozenten:
N.N.
Räume:
A3/Hs 001 Hörsaal (Arnimallee 3-5)
Dozenten:
N.N.
Räume:
A3/Hs 001 Hörsaal (Arnimallee 3-5)
Dozenten:
N.N.
Räume:
A3/Hs 001 Hörsaal (Arnimallee 3-5)
Dozenten:
N.N.
Räume:
A3/Hs 001 Hörsaal (Arnimallee 3-5)
Dozenten:
N.N.
Räume:
A3/Hs 001 Hörsaal (Arnimallee 3-5)
Dozenten:
N.N.
Räume:
A3/Hs 001 Hörsaal (Arnimallee 3-5)
Dozenten:
N.N.
Räume:
A3/Hs 001 Hörsaal (Arnimallee 3-5)
Dozenten:
N.N.
Räume:
A3/Hs 001 Hörsaal (Arnimallee 3-5)
Dozenten:
N.N.
Räume:
A3/Hs 001 Hörsaal (Arnimallee 3-5)
Dozenten:
N.N.
Räume:
A3/Hs 001 Hörsaal (Arnimallee 3-5)
Dozenten:
N.N.
Räume:
A3/Hs 001 Hörsaal (Arnimallee 3-5)
Dozenten:
N.N.
Räume:
A3/Hs 001 Hörsaal (Arnimallee 3-5)
Dozenten:
N.N.
Räume:
A3/Hs 001 Hörsaal (Arnimallee 3-5)
Dozenten:
N.N.
Räume:
A3/Hs 001 Hörsaal (Arnimallee 3-5)
Dozenten:
N.N.
Räume:
A3/Hs 001 Hörsaal (Arnimallee 3-5)
Dozenten:
N.N.
Räume:
A3/Hs 001 Hörsaal (Arnimallee 3-5)
Dozenten:
N.N.
Räume:
A3/Hs 001 Hörsaal (Arnimallee 3-5)
Dozenten:
N.N.
Räume:
A3/Hs 001 Hörsaal (Arnimallee 3-5)
Dozenten:
N.N.
Räume:
A3/Hs 001 Hörsaal (Arnimallee 3-5)
Dozenten:
N.N.
Räume:
A3/Hs 001 Hörsaal (Arnimallee 3-5)
Dozenten:
N.N.
Räume:
A3/Hs 001 Hörsaal (Arnimallee 3-5)
Dozenten:
N.N.
Räume:
A3/Hs 001 Hörsaal (Arnimallee 3-5)
Dozenten:
N.N.
Räume:
A3/Hs 001 Hörsaal (Arnimallee 3-5)
Dozenten:
N.N.
Räume:
A3/Hs 001 Hörsaal (Arnimallee 3-5)
Dozenten:
N.N.
Räume:
A3/Hs 001 Hörsaal (Arnimallee 3-5)
Dozenten:
N.N.
Räume:
A3/Hs 001 Hörsaal (Arnimallee 3-5)
Dozenten:
N.N.
Räume:
A3/Hs 001 Hörsaal (Arnimallee 3-5)
Dozenten:
N.N.
Räume:
A3/Hs 001 Hörsaal (Arnimallee 3-5)
Dozenten:
N.N.
Räume:
A3/Hs 001 Hörsaal (Arnimallee 3-5)
Dozenten:
N.N.
Räume:
A3/Hs 001 Hörsaal (Arnimallee 3-5)
Inhalte:
Aussagenlogik und mathematische Beweistechniken Boolesche Formeln und Boolesche Funktionen, DNF und KNF, Erfüllbarkeit, ResolutionskalkülMengenlehre: Mengen, Relationen, ... Lesen Sie weiter