Mathematik I - Diskrete Strukturen und Logik (Wintersemester 2010/2011)

Lecturer: Prof. Dr. Christoph Meinel (Internet-Technologien und -Systeme)

General Information

• Weekly Hours: 4
• Credits: 6
• Graded: yes
• Enrolment Deadline: 1.10.2010 - 31.3.2011
• Teaching Form: VU
• Enrolment Type: Compulsory Module

Programs, Module Groups & Modules

Description

In der Veranstaltung werden die grundlegenden Begriffe und Methoden der (diskreten) Mathematik und der mathematischen Logik vermittelt. Es werden die folgenden drei Themenkomplexe behandelt:

• Grundlagen: Aussagenlogik; Mengen und Mengenoperationen; Mathematisches Beweisen, Relationen und Funktionen
• Techniken: Beweistechniken; vollständige Induktionen; Diskrete Stochastik
• Wichtige diskrete Strukturen: Boolesche Algebren; Graphen und Bäume; Aussagen- und Prädikatenlogik; Endliche Arithmetik

Literature

Ch. Meinel, M. Mundhenk: "Mathematische Grundlagen der Informatik"

Examination

Voraussetzungen für die Teilnahme an der Klausur am Ende des Semesters sind:

• Regelmäßige Teilnahme und aktive Mitarbeit in den Übungen
• Jeweils in der ersten und zweiten Semesterhälfte mindestens 50% der erreichbaren Punkte in den Übungsaufgaben
• Erfolgreiches Absolvieren der Klausur in der Mitte des Semesters
  Klausurtermin: 7.12.2010 11 Uhr in HS1
  

Nach der Abschlussklausur besteht für alle Studenten die Möglichkeit, an einer freiwilligen mündlichen Prüfung teilzunehmen.

Dates

Die Teilnahme an der Vorlesung und Übung ist obligatorisch. Die Vorlesungen und Übungen beginnen am Dienstag, dem 19.10.2010.

Bitte melden Sie sich bis 20.10.2010 für einen der vier Übungstermine an. Die Anmeldung erfolgt online (aus dem Netz des HPI). Zusätzlich ist eine Anmeldung bei Frau Pamperin vor Ablauf der Belegungsfrist erforderlich.

Vorlesung	Di + Mi, 11:00 - 12:30 Uhr (HS 1)
Übungen	Mi, 15:15 - 16:45 Uhr (H.E-51) Mi, 17:00 - 18:30 Uhr (H.E-51) Do, 11:00 - 12:30 Uhr (H.E-51) Mo, 13:30 - 15:00 Uhr (A-1.2)

Zurück