19310201
Vorlesung
SoSe 18: ProInformatik I: Logik und Diskrete Mathematik
Nadja Scharf Boris Klemz
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
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
25 Termine
Zusätzliche Termine
Fr, 24.08.2018 09:00 - 11:00
Räume:
A6/SR 007/008 Seminarraum (Arnimallee 6)
A6/SR 032 Seminarraum (Arnimallee 6)
A6/SR 031 Seminarraum (Arnimallee 6)
Räume:
A6/SR 025/026 Seminarraum (Arnimallee 6)
Räume:
T9/055 Seminarraum (Takustr. 9)
Regelmäßige Termine der Lehrveranstaltung
Mo, 23.07.2018 09:00 - 12:00
Di, 24.07.2018 09:00 - 12:00
Mi, 25.07.2018 09:00 - 12:00
Do, 26.07.2018 09:00 - 12:00
Fr, 27.07.2018 09:00 - 12:00
Mo, 30.07.2018 09:00 - 12:00
Di, 31.07.2018 09:00 - 12:00
Mi, 01.08.2018 09:00 - 12:00
Do, 02.08.2018 09:00 - 12:00
Fr, 03.08.2018 09:00 - 12:00
Mo, 06.08.2018 09:00 - 12:00
Di, 07.08.2018 09:00 - 12:00
Mi, 08.08.2018 09:00 - 12:00
Do, 09.08.2018 09:00 - 12:00
Fr, 10.08.2018 09:00 - 12:00
Mo, 13.08.2018 09:00 - 12:00
Di, 14.08.2018 09:00 - 12:00
Mi, 15.08.2018 09:00 - 12:00
Do, 16.08.2018 09:00 - 12:00
Fr, 17.08.2018 09:00 - 12:00
Mo, 20.08.2018 09:00 - 12:00
Di, 21.08.2018 09:00 - 12:00
Mi, 22.08.2018 09:00 - 12:00
Do, 23.08.2018 09:00 - 12:00
Fr, 24.08.2018 09:00 - 12:00
Inhalte:
Aussagenlogik und mathematische Beweistechniken Boolesche Formeln und Boolesche Funktionen, DNF und KNF, Erfüllbarkeit, Resolutionskalkül Mengenlehre: Mengen, ... Lesen Sie weiter