Vorlesung: Logik und Diskrete Mathematik   (LV 19505)


Impressum

Wintersemester  2008/09
Dozent Dr. Klaus Kriegel

Veranstaltungstermine
 Dienstags 08-10 Uhr
 Donnerstags 10-12 Uhr

Aktuelles

Stand   07.04.2009:

Ergebnisse der Nachklausur:
Die Korrektur ist abgeschlossen. Jeder, der sich durch ein Kreuzchen einverstanden erklärt hat, findet sein vorläufiges Ergebnis (Angaben zunächst ohne Gewähr)
hier:  Ergebnisse2.pdf
Mit 17 Punkten hat man bestanden. Erster Termin zur Einsicht am 24.04.09 um 14:30 in Raum 134

Raumverteilung für die Nachklausur:
A-H  Hörsaal ZIB
I-O   SR 005
P-Z   Hörsaal Informatik

Zur Vorbereitung auf die Nachklausur kann man sich die folgende  Musterlösung.pdf  herunterladen.

Die Nachklausur wird am Freitag, den 17.04.09 in der Zeit von 14 bis 16 Uhr geschrieben
Als Räume stehen die Hörsäle Informatik, Mathematik und ZIB zur Verfügung. Die genaue Raumverteilung wird zwei Tage vor der Klausur bekannt gegeben.


Die Frist zur Anmeldung  für den Freiversuch wurde noch einmal bis zum 20.04.09 um 14:00 Uhr verlängert.

Zweiter Einsichtstermin:  5. März von 11:15 bis 12:00 Uhr

Klausurergebnisse:
Die Korrektur ist abgeschlossen. Jeder, der sich durch ein Kreuzchen einverstanden erklärt hat, findet sein Ergebnis hier (Uni-Account nutzen): Ergebnisse.pdf
Mit 17 Punkten hat man bestanden.
Ein Fragezeichen in der Rubrik Anmeldung bedeutet, dass keine ordnungsgemäße Anmeldung zur Klausur vorlag und deshalb noch Unklarheiten über die Wertung bestehen. In diesem Fall sollte man den Einsichtstermin oder eine Sprechstunde nutzen.
Die erste Möglichkeit zur Einsicht besteht am  Freitag, den  27.02.09 von 11:15 bis 12:30 Uhr.

Wie schom in Vorlesung und Forum angekündigt, steht der Klausurtermin jetzt fest:
Donnerstag, der 19.02.2009 von 10 bis 12 Uhr
Räume: Hörsaal Informatik, Hörsaal ZIB und SR 005
Die genaue Raumverteilung wird rechtzeitig bekannt gegeben.
Als einziges Hilfsmittel darf sich jeder Teilnehmer eine
A4-Seite (einseitig, handbeschrieben) mit Formeln, Definitionen und Fakten eigener Wahl vorbereiten.
Die Nachklausur wird in der ersten Vorlesungswoche des Sommersemesters an einem späteren Nachmittagstermin (wahrscheinlich 16 bis 18 Uhr)
geschrieben.

Neuer Termin für Tutorium -- Ummeldungen möglich:
Da das Tutorium am Montag von 10-12 sehr schwach belegt war, wurde es auf einen neuen Termin verschoben, der hoffentlich besser angenommen wird.
Der neue Termin ist Dienstag von 14 bis 16 Uhr
Teilnehmer der Seminargruppen A bis F, denen dieser Termin passt und die in einer weniger überfüllten Gruppe lernen wollen, können sich im KVV zum neuen Termin anmelden.

Ab der zweiten Vorlesungswoche beginnen alle Dienstagsvorlesungen um 8:30 und  enden um 10:00.
Für die Donnerstagsvorlesungen bleibt es bei dem üblichen Termin von 10:15 bis 11:45  (jeweils ohne Pause).


Erste Vorlesung am 14.10.2008 im Informatik Hörsaal
Beginn: 8:15  Uhr



















Inhalt der Vorlesung


Im Mittelpunkt der Vorlesung stehen Grundlagen aus  Logik, Mengenlehre und der Diskreten Mathematik,
auf die im weiteren Studienverlauf  zurückgegriffen wird.
Die Vorlesung beginnt mit einer Einführung in die  Aussagenlogik und einem Einblick in die Technik
von mathematischen Beweisen.
Der zweite Schwerpunkt ist der Mengenlehre gewidmet. Insbesondere geht es um Relationen, Funktionen,
natürliche Zahlen, vollständige Induktion und Abzählbarkeit sowie die Bedeutung dieser Begriffe in der
Informatik.
Im dritten Schwerpunkt werden mit  einer Einführung in die Kombinatorik und in die Graphentheorie zwei
zentrale Themengebiete der Diskreten Mathematik behandelt. Besondere Aufmerksamkeit wird (auf Grund
der Informatik-Relevanz) dem Thema Rekursion gewidmet.
Am Ende des Semesters kehren wir noch einmal zur Logik zurück.  Mit der Behandlung von Booleschen
Funktionen, Booleschen  Formeln und Normalformen werden Themen behandelt, die in der Informatik eine
besondere Rolle spielen. Entscheidbarkeit, Resolutionskalkül und ein Einblick in die Prädikatenlogik bilden
den Abschluss des vierten Schwerpunkts.

Scheinkriterien

Neben regelmäßiger Anwesenheit und Erreichen von mindestens 60% der Übungspunkte, muss
eine Klausur mit mindestens 50% der Punkte abgeschlossen werden. Es gibt eine Hauptklausur
und eine zweite Chance in einer Nachklausur.

Anmeldung

Alle Studierende im ersten Semester müssen sich in einer Seminargruppe anmelden. Damit entfällt eine weitere Anmeldung zu den Übungsterminen dieser Vorlesung.
Für alle anderen Teilnehmer (und nur für diese!) wird am Donnerstag, den 16.10.08 um 14:00 Uhr  die Anmeldung zu den Restplätzen in den Übungsgruppen freigeschaltet.  Diese Anmeldung erfolgt von der Seite im KVV oder über einen Link von hier.

Forum

Im Forum können Informationen und Meinungen zur Vorlesung ausgetauscht werden und man kann bei Unklarheiten zum Verständnis von Übungsaufgaben auch entsprechende Fragen stellen. Klarstellungen und kleinere Tips sind nicht nur erlaubt, sondern erwünscht - dagegen sind fertige oder auch halbfertige Lösungen unerwünscht und werden durch die Moderatoren entfernt.
Darüber hinaus hat Tobias Gehroldt einen  MafiBlog  eingerichtet, in dem insbesondere  Fragen zu den einzelnen Tutorien angesprochen werden können.

Übungen

Achtung: Die Fächer zur Abgabe sind nicht im Informatikgebäude, sondern in der Arnimallee 3 (über der Bibliothek)

1. Übung
2. Übung 3. Übung 4. Übung 5. Übung 6. Übung 7. Übung
u1.pdf
u2.pdf
u3.pdf
u4.pdf
u5.pdf
u6.pdf
u7.pdf

8. Übung
9. Übung
10. Übung
11. Übung
12. Übung
13. Übung
14. Übung
u8.pdf
u9.pdf
u10.pdf
u11.pdf
u12.pdf
u13.pdf
u14.pdf


Probeklausur und Musterlösungen zu den Übungen

Die folgende "Probe"-Klausur wurde im letzten Semester im Rahmen der Veranstaltungreihe Pro-Informatik geschrieben. Umfang und Schwierigkeitsgrad der Klausur am 19.02.09 werden vergleichbar sein.
Wenn man die PDF--Datei zweiseitig druckt und auf der linken Seite heftet, bieten die eingeschobenen Leerseiten genug Platz für das Aufschreiben der Lösungen ohne blättern zu müssen.
Um einen echten Test zu haben, sollte man sich genau 90 Minuten Zeit für die Lösung nehmen.
Probeklausur.pdf  


Skripten

Skript zu den Vorlesungen vom 14.10.08 bis 21.10.08        skript1.pdf
Skript zu den Vorlesungen vom 23.10.08 bis 13.11.08        skript2.pdf 
Skript zu den Vorlesungen vom 18.11.08 bis  04.12.08       skript3.pdf
Skript zu den Vorlesungen vom 09.12.08 bis  16.12.08       skript4.pdf
Skript zu den Vorlesungen vom 16.12.08 bis  20.01.09       skript5.pdf
Skript zu den Vorlesungen vom 22.11.09 bis  12.02.09       skript6.pdf




Literaturempfehlung