19300901 Vorlesung

WiSe 15/16: Logik und Diskrete Mathematik

Frank Hoffmann

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

32 Termine

Zusätzliche Termine

Di, 16.02.2016 11:00 - 14:00
Klausur

Dozenten:
Dr. Frank Hoffmann

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

Fr, 15.04.2016 09:00 - 12:00
Nachklausur

Dozenten:
Dr. Frank Hoffmann

Räume:
SR 005/T9 Übungsraum (Takustr. 9)
SR 006/T9 Seminarraum (Takustr. 9)
Gr. Hörsaal\Taku 9 (Takustr. 9)

Regelmäßige Termine der Lehrveranstaltung

Di, 13.10.2015 08:00 - 10:00

Dozenten:
Dr. Frank Hoffmann

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Di, 20.10.2015 08:00 - 10:00

Dozenten:
Dr. Frank Hoffmann

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Di, 27.10.2015 08:00 - 10:00

Dozenten:
Dr. Frank Hoffmann

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Di, 03.11.2015 08:00 - 10:00

Dozenten:
Dr. Frank Hoffmann

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Di, 10.11.2015 08:00 - 10:00

Dozenten:
Dr. Frank Hoffmann

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Di, 17.11.2015 08:00 - 10:00

Dozenten:
Dr. Frank Hoffmann

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Di, 24.11.2015 08:00 - 10:00

Dozenten:
Dr. Frank Hoffmann

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Di, 01.12.2015 08:00 - 10:00

Dozenten:
Dr. Frank Hoffmann

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Di, 08.12.2015 08:00 - 10:00

Dozenten:
Dr. Frank Hoffmann

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Di, 15.12.2015 08:00 - 10:00

Dozenten:
Dr. Frank Hoffmann

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Di, 05.01.2016 08:00 - 10:00

Dozenten:
Dr. Frank Hoffmann

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Di, 12.01.2016 08:00 - 10:00

Dozenten:
Dr. Frank Hoffmann

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Di, 19.01.2016 08:00 - 10:00

Dozenten:
Dr. Frank Hoffmann

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Di, 26.01.2016 08:00 - 10:00

Dozenten:
Dr. Frank Hoffmann

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Di, 02.02.2016 08:00 - 10:00

Dozenten:
Dr. Frank Hoffmann

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Di, 09.02.2016 08:00 - 10:00

Dozenten:
Dr. Frank Hoffmann

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Do, 15.10.2015 10:00 - 12:00

Dozenten:
Dr. Frank Hoffmann

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Do, 22.10.2015 10:00 - 12:00

Dozenten:
Dr. Frank Hoffmann

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Do, 29.10.2015 10:00 - 12:00

Dozenten:
Dr. Frank Hoffmann

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Do, 05.11.2015 10:00 - 12:00

Dozenten:
Dr. Frank Hoffmann

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Do, 12.11.2015 10:00 - 12:00

Dozenten:
Dr. Frank Hoffmann

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Do, 19.11.2015 10:00 - 12:00

Dozenten:
Dr. Frank Hoffmann

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Do, 26.11.2015 10:00 - 12:00

Dozenten:
Dr. Frank Hoffmann

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Do, 03.12.2015 10:00 - 12:00

Dozenten:
Dr. Frank Hoffmann

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Do, 10.12.2015 10:00 - 12:00

Dozenten:
Dr. Frank Hoffmann

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Do, 17.12.2015 10:00 - 12:00

Dozenten:
Dr. Frank Hoffmann

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Do, 07.01.2016 10:00 - 12:00

Dozenten:
Dr. Frank Hoffmann

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Do, 14.01.2016 10:00 - 12:00

Dozenten:
Dr. Frank Hoffmann

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Do, 21.01.2016 10:00 - 12:00

Dozenten:
Dr. Frank Hoffmann

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Do, 28.01.2016 10:00 - 12:00

Dozenten:
Dr. Frank Hoffmann

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Do, 04.02.2016 10:00 - 12:00

Dozenten:
Dr. Frank Hoffmann

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Do, 11.02.2016 10:00 - 12:00

Dozenten:
Dr. Frank Hoffmann

Räume:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Studienfächer A-Z