Vorlesungsverzeichnis

WiSe 22/23  
 Mathematik und ...  
 Kernfach Inform...  
 19300901  
19300901 Vorlesung

WiSe 22/23: Logik und Diskrete Mathematik

Katharina Klost

Kommentar

  • 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
  • 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

48 Termine

Zusätzliche Termine

Do, 10.11.2022 16:00 - 18:00
Zentralübung

Räume:
T9/SR 005 Übungsraum (Takustr. 9)

Fr, 24.02.2023 10:00 - 13:00
Klausur

Dozenten:
Katharina Klost

Räume:
Hs 1a Hörsaal (Habelschwerdter Allee 45)
Hs 1b Hörsaal (Habelschwerdter Allee 45)

Fr, 03.03.2023 12:00 - 14:00
Klausureinsicht

Dozenten:
Katharina Klost

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

Di, 14.03.2023 16:00 - 18:00
Klausureinsicht

Dozenten:
Katharina Klost

Räume:
T9/SR 005 Übungsraum (Takustr. 9)

Di, 04.04.2023 14:00 - 16:30
Nachklausur

Räume:
T9/SR 005 Übungsraum (Takustr. 9)

Di, 04.04.2023 14:00 - 16:30
Nachklausur

Dozenten:
Katharina Klost

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Di, 04.04.2023 14:00 - 16:30
Klausur

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

Regelmäßige Termine der Lehrveranstaltung

Di, 10:00 - 12:00 Logik und Diskrete Mathematik (Serientermin 2) 16 Termine
Di, 18.10.2022 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)

Dozenten:
Katharina Klost

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Di, 25.10.2022 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)

Dozenten:
Katharina Klost

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Di, 01.11.2022 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)

Dozenten:
Katharina Klost

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Di, 08.11.2022 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)

Dozenten:
Katharina Klost

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Di, 15.11.2022 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)

Dozenten:
Katharina Klost

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Di, 22.11.2022 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)

Dozenten:
Katharina Klost

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Di, 29.11.2022 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)

Dozenten:
Katharina Klost

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Di, 06.12.2022 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)

Dozenten:
Katharina Klost

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Di, 13.12.2022 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)

Dozenten:
Katharina Klost

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Di, 03.01.2023 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)

Dozenten:
Katharina Klost

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Di, 10.01.2023 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)

Dozenten:
Katharina Klost

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Di, 17.01.2023 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)

Dozenten:
Katharina Klost

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Di, 24.01.2023 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)

Dozenten:
Katharina Klost

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Di, 31.01.2023 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)

Dozenten:
Katharina Klost

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Di, 07.02.2023 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)

Dozenten:
Katharina Klost

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Di, 14.02.2023 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)

Dozenten:
Katharina Klost

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Do, 10:00 - 12:00 Logik und Diskrete Mathematik (Serientermin 1) 16 Termine
Do, 20.10.2022 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)

Dozenten:
Katharina Klost

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Do, 27.10.2022 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)

Dozenten:
Katharina Klost

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Do, 03.11.2022 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)

Dozenten:
Katharina Klost

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Do, 10.11.2022 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)

Dozenten:
Katharina Klost

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Do, 17.11.2022 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)

Dozenten:
Katharina Klost

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Do, 24.11.2022 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)

Dozenten:
Katharina Klost

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Do, 01.12.2022 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)

Dozenten:
Katharina Klost

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Do, 08.12.2022 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)

Dozenten:
Katharina Klost

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Do, 15.12.2022 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)

Dozenten:
Katharina Klost

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Do, 05.01.2023 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)

Dozenten:
Katharina Klost

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Do, 12.01.2023 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)

Dozenten:
Katharina Klost

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Do, 19.01.2023 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)

Dozenten:
Katharina Klost

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Do, 26.01.2023 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)

Dozenten:
Katharina Klost

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Do, 02.02.2023 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)

Dozenten:
Katharina Klost

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Do, 09.02.2023 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)

Dozenten:
Katharina Klost

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Do, 16.02.2023 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)

Dozenten:
Katharina Klost

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Do, 16:00 - 18:00 Zentralübung 16 Termine
Do, 03.11.2022 16:00 - 18:00
Zentralübung

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

Do, 10.11.2022 16:00 - 18:00
Zentralübung
 Do, 17.11.2022 16:00 - 18:00
Zentralübung

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

Do, 24.11.2022 16:00 - 18:00
Zentralübung

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

Do, 01.12.2022 16:00 - 18:00
Zentralübung

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

Do, 08.12.2022 16:00 - 18:00
Zentralübung

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

Do, 15.12.2022 16:00 - 18:00
Zentralübung

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

Do, 22.12.2022 16:00 - 18:00
Zentralübung

Dozenten:
Katharina Klost

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

Do, 29.12.2022 16:00 - 18:00
Zentralübung

Dozenten:
Katharina Klost

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

Do, 05.01.2023 16:00 - 18:00
Zentralübung

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

Do, 12.01.2023 16:00 - 18:00
Zentralübung

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

Do, 19.01.2023 16:00 - 18:00
Zentralübung

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

Do, 26.01.2023 16:00 - 18:00
Zentralübung

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

Do, 02.02.2023 16:00 - 18:00
Zentralübung

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

Do, 09.02.2023 16:00 - 18:00
Zentralübung

Räume:
T9/SR 005 Übungsraum (Takustr. 9)

Do, 16.02.2023 16:00 - 18:00
Zentralübung

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

Zur Modulübersicht

Suche starten
Der Suchbegriff muss mindestens 3 Zeichen lang sein!

Ort: T9/Gr. Hörsaal (Takustr. 9)

Zeit: Di 10:00-12:00, Do 10:00-12:00, Do 16:00-18:00, zusätzliche Termine siehe LV-Details

Erster Termin: 18.10.2022

Unterrichtssprache: Deutsch

SWS: 4

Platzbeschränkung: Nein

Teilnahmepflicht: Nein

Fachsemester: 1

Module zu dieser LV

Information zum Mutterschutz

Studienfächer A-Z