Vorlesungsverzeichnis

19310201

SoSe 19: ProInformatik I: Logik und Diskrete Mathematik

Max Willert

Zusätzl. Angaben / Voraussetzungen

Eine Anmeldung zum Kurs kann nur über Onlineanmeldung erfolgen!

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

Schließen

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

Schließen

25 Termine

Zusätzliche Termine

Mi, 10.07.2019 09:30 - 12:00

ProInformatik I-II Registrierung

Räume:
T9/049 Seminarraum (Takustr. 9)

Regelmäßige Termine der Lehrveranstaltung

Mo, 08:00 - 12:00 25 Termine

Mo, 15.07.2019 08:00 - 12:00

Dozenten:
Max Willert

Räume:
A3/Hs 001 Hörsaal (Arnimallee 3-5)

Di, 16.07.2019 08:00 - 12:00

Dozenten:
Max Willert

Räume:
A3/Hs 001 Hörsaal (Arnimallee 3-5)

Mi, 17.07.2019 08:00 - 12:00

Dozenten:
Max Willert

Räume:
A3/Hs 001 Hörsaal (Arnimallee 3-5)

Do, 18.07.2019 08:00 - 12:00

Dozenten:
Max Willert

Räume:
A3/Hs 001 Hörsaal (Arnimallee 3-5)

Fr, 19.07.2019 08:00 - 12:00

Dozenten:
Max Willert

Räume:
A3/Hs 001 Hörsaal (Arnimallee 3-5)

Mo, 22.07.2019 08:00 - 12:00

Dozenten:
Max Willert

Räume:
A3/Hs 001 Hörsaal (Arnimallee 3-5)

Di, 23.07.2019 08:00 - 12:00

Dozenten:
Max Willert

Räume:
A3/Hs 001 Hörsaal (Arnimallee 3-5)

Mi, 24.07.2019 08:00 - 12:00

Dozenten:
Max Willert

Räume:
A3/Hs 001 Hörsaal (Arnimallee 3-5)

Do, 25.07.2019 08:00 - 12:00

Dozenten:
Max Willert

Räume:
A3/Hs 001 Hörsaal (Arnimallee 3-5)

Fr, 26.07.2019 08:00 - 12:00

Dozenten:
Max Willert

Räume:
A3/Hs 001 Hörsaal (Arnimallee 3-5)

Mo, 29.07.2019 08:00 - 12:00

Dozenten:
Max Willert

Räume:
A3/Hs 001 Hörsaal (Arnimallee 3-5)

Di, 30.07.2019 08:00 - 12:00

Dozenten:
Max Willert

Räume:
A3/Hs 001 Hörsaal (Arnimallee 3-5)

Mi, 31.07.2019 08:00 - 12:00

Dozenten:
Max Willert

Räume:
A3/Hs 001 Hörsaal (Arnimallee 3-5)

Do, 01.08.2019 08:00 - 12:00

Dozenten:
Max Willert

Räume:
A3/Hs 001 Hörsaal (Arnimallee 3-5)

Fr, 02.08.2019 08:00 - 12:00

Dozenten:
Max Willert

Räume:
A3/Hs 001 Hörsaal (Arnimallee 3-5)

Mo, 05.08.2019 08:00 - 12:00

Dozenten:
Max Willert

Räume:
A3/Hs 001 Hörsaal (Arnimallee 3-5)

Di, 06.08.2019 08:00 - 12:00

Dozenten:
Max Willert

Räume:
A3/Hs 001 Hörsaal (Arnimallee 3-5)

Mi, 07.08.2019 08:00 - 12:00

Dozenten:
Max Willert

Räume:
A3/Hs 001 Hörsaal (Arnimallee 3-5)

Do, 08.08.2019 08:00 - 12:00

Dozenten:
Max Willert

Räume:
A3/Hs 001 Hörsaal (Arnimallee 3-5)

Fr, 09.08.2019 08:00 - 12:00

Dozenten:
Max Willert

Räume:
A3/Hs 001 Hörsaal (Arnimallee 3-5)

Mo, 12.08.2019 08:00 - 12:00

Dozenten:
Max Willert

Räume:
A3/Hs 001 Hörsaal (Arnimallee 3-5)

Di, 13.08.2019 08:00 - 12:00

Dozenten:
Max Willert

Räume:
A3/Hs 001 Hörsaal (Arnimallee 3-5)

Mi, 14.08.2019 08:00 - 12:00

Dozenten:
Max Willert

Räume:
A3/Hs 001 Hörsaal (Arnimallee 3-5)

Do, 15.08.2019 08:00 - 12:00

Dozenten:
Max Willert

Räume:
A3/Hs 001 Hörsaal (Arnimallee 3-5)

Fr, 16.08.2019 08:00 - 12:00

Dozenten:
Max Willert

Räume:
A3/Hs 001 Hörsaal (Arnimallee 3-5)

Zur Modulübersicht