Course catalog

WiSe 14/15  
 Mathematics and...  
 Gesamtes Lehran...  
 19300901  
19300901 Lecture

WiSe 14/15: Logik und Diskrete Mathematik

Katharina Wolter

Comments

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

Suggested reading

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

32 Class schedule

Additional appointments

Fri, 2015-03-27 10:00 - 12:00
Nachklausur Hörsaal 1a Rostlaube, Habelschwerdter Allee 45

Lecturers:
Univ.-Prof. Dr. Katharina Wolter

Regular appointments

Tue, 08:00 - 10:00 16 Class schedule
Tue, 2014-10-14 08:00 - 10:00

Lecturers:
Univ.-Prof. Dr. Katharina Wolter

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Tue, 2014-10-21 08:00 - 10:00

Lecturers:
Univ.-Prof. Dr. Katharina Wolter

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Tue, 2014-10-28 08:00 - 10:00

Lecturers:
Univ.-Prof. Dr. Katharina Wolter

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Tue, 2014-11-04 08:00 - 10:00

Lecturers:
Univ.-Prof. Dr. Katharina Wolter

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Tue, 2014-11-11 08:00 - 10:00

Lecturers:
Univ.-Prof. Dr. Katharina Wolter

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Tue, 2014-11-18 08:00 - 10:00

Lecturers:
Univ.-Prof. Dr. Katharina Wolter

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Tue, 2014-11-25 08:00 - 10:00

Lecturers:
Univ.-Prof. Dr. Katharina Wolter

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Tue, 2014-12-02 08:00 - 10:00

Lecturers:
Univ.-Prof. Dr. Katharina Wolter

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Tue, 2014-12-09 08:00 - 10:00

Lecturers:
Univ.-Prof. Dr. Katharina Wolter

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Tue, 2014-12-16 08:00 - 10:00

Lecturers:
Univ.-Prof. Dr. Katharina Wolter

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Tue, 2015-01-06 08:00 - 10:00

Lecturers:
Univ.-Prof. Dr. Katharina Wolter

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Tue, 2015-01-13 08:00 - 10:00

Lecturers:
Univ.-Prof. Dr. Katharina Wolter

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Tue, 2015-01-20 08:00 - 10:00

Lecturers:
Univ.-Prof. Dr. Katharina Wolter

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Tue, 2015-01-27 08:00 - 10:00

Lecturers:
Univ.-Prof. Dr. Katharina Wolter

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Tue, 2015-02-03 08:00 - 10:00

Lecturers:
Univ.-Prof. Dr. Katharina Wolter

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Tue, 2015-02-10 08:00 - 10:00

Lecturers:
Univ.-Prof. Dr. Katharina Wolter

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Thu, 10:00 - 12:00 16 Class schedule
Thu, 2014-10-16 10:00 - 12:00

Lecturers:
Univ.-Prof. Dr. Katharina Wolter

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Thu, 2014-10-23 10:00 - 12:00

Lecturers:
Univ.-Prof. Dr. Katharina Wolter

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Thu, 2014-10-30 10:00 - 12:00

Lecturers:
Univ.-Prof. Dr. Katharina Wolter

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Thu, 2014-11-06 10:00 - 12:00

Lecturers:
Univ.-Prof. Dr. Katharina Wolter

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Thu, 2014-11-13 10:00 - 12:00

Lecturers:
Univ.-Prof. Dr. Katharina Wolter

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Thu, 2014-11-20 10:00 - 12:00

Lecturers:
Univ.-Prof. Dr. Katharina Wolter

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Thu, 2014-11-27 10:00 - 12:00

Lecturers:
Univ.-Prof. Dr. Katharina Wolter

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Thu, 2014-12-04 10:00 - 12:00

Lecturers:
Univ.-Prof. Dr. Katharina Wolter

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Thu, 2014-12-11 10:00 - 12:00

Lecturers:
Univ.-Prof. Dr. Katharina Wolter

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Thu, 2014-12-18 10:00 - 12:00

Lecturers:
Univ.-Prof. Dr. Katharina Wolter

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Thu, 2015-01-08 10:00 - 12:00

Lecturers:
Univ.-Prof. Dr. Katharina Wolter

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Thu, 2015-01-15 10:00 - 12:00

Lecturers:
Univ.-Prof. Dr. Katharina Wolter

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Thu, 2015-01-22 10:00 - 12:00

Lecturers:
Univ.-Prof. Dr. Katharina Wolter

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Thu, 2015-01-29 10:00 - 12:00

Lecturers:
Univ.-Prof. Dr. Katharina Wolter

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Thu, 2015-02-05 10:00 - 12:00

Lecturers:
Univ.-Prof. Dr. Katharina Wolter

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Thu, 2015-02-12 10:00 - 12:00

Lecturers:
Univ.-Prof. Dr. Katharina Wolter

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Back to list of modules

Location: Gr. Hörsaal\Taku 9 (Takustr. 9)

Schedule: Di 08:00-10:00, Do 10:00-12:00, zusätzliche Termine siehe LV-Details

Class starts on: 2014-10-14

Course language: German

Contact hours: 4

Limited attendance: No

Attendance required: No

Modules where this course belongs:
086bA4.1
086cA5.1
087cA1.2
087dA1.3
088cA1.2
E24nA1.1

Subjects A - Z