Arbeitsgruppe
Grundlagen der Informatik
Prof. Dr. K. Madlener
Inhalt
Ehemalige Neuigkeiten gibt es auch noch.
- Eintrag im Vorlesungsverzeichnis:
- 2 Std. Vorlesung
mittwochs, 11:45 Uhr bis 13:15 Uhr, HS 52-207. Beginn: 18.04.2011
2 Std. Übung
Termine siehe Übungen.
- Siehe KIS-Seiten zur
Vorlesung
bzw. zur
Übung
- Aussagen- und Prädikatenlogik, logische Kalküle,
Vollständigkeits- und Kompaktheitssätze sowie Anwendung in der
Informatik.
- Schöning: Logik für Informatiker.
Nissanke: Introductory
Logic and Sets for Computer Scientists.
Kreuzer, Kühling: Logik für Informatiker
- Mathematik für Informatiker I,II oder HM 1-3.
- Leistungsnachweis nach erfolgreicher Teilnahme an Übungen und
Abschlussklausur.
- Pflichtveranstaltung im Grundstudium "Bachelor Informatik", "Diplom Informatik", "Diplom-Technoinformatik", "WI Richtung Informatik".
- Weitere Literatur: (BibTeX-File)
-
| Folien zum Lesen am Rechner: |
|---|
| Inhalt |
Seiten |
| Grundlagenkapitel: Syntax und Semantik der Aussagenlogik, Kalküle |
1-74 |
| Zusätzlich Tableaux, Davis-Putnam und Resolution in der Aussagenlogik |
1-137 |
| Zusätzlich Grundlagen der Prädikatenlogik und kleinere Änderungen bei der Resolution |
1-189 |
| Kompletter Foliensatz für die Vorlesung |
1-298 |
- Das Skript zur Vorlesung.
- Übungsklausur zur Abschlussklausur von Jan Bormann (von letztem Jahr).
- Zusammenfassung der Kalküle aus der Vorlesung.
- Jan Bormanns Infoseite zu seinen Übungen.
Auf den Übungsblättern gibt es bewertete und unbewertete Aufgaben. Nur die bewerteten Aufgaben werden korrigiert. Die unbewerteten Aufgaben sollen jeweils in den Übungsstunden nach Ausgabe des Blattes besprochen werden und dienen z.T. als Vorbereitung für die bewerteten Aufgaben.
-
| Übungstermine: |
|---|
| Gruppe |
Termin |
Raum |
Übungsleiter |
| 1 |
Do 10:00 - 11:30 Uhr |
32-439 |
Jan Bormann (Englisch) |
| 2 |
Do 11:45 - 13:15 Uhr |
48-379 |
Peter Zeller |
| 3 |
Do 15:30 - 17:00 Uhr |
11-262 |
Sean Buckheister |
| 4 |
Fr 08:15 - 09:45 Uhr |
48-379 |
Albert Schimpf |
| 5 |
Fr 10:00 - 11:30 Uhr |
11-262 |
Peter Zeller |
| 6 |
Fr 11:45 - 13:15 Uhr |
11-260 |
Albert Schimpf |
| 7 |
Fr 13:45 - 15:15 Uhr |
11-262 |
Sean Buckheister |
- Außerdem gibt es Montags um 13:45 Uhr in 46-280 eine Fragestunde.
- Die Anmeldung für die Übungsgruppen wird nach der ersten Vorlesung im PAS möglich sein, bitte rechtzeitig Zugang registrieren!
- Die Übungen beginnen am Donnerstag, den 21.04.2011.
- Abgaben zu den Übungen bitte zu zweit oder zu dritt.
- Die Übungsblätter werden jeweils Mittwochs möglichst bald nach der Vorlesung auf diese Seite gestellt.
- Abgabe: Jeweils Mittwochs 10:00h im Kasten neben Raum 34-401.4.
-
| Ersatztermine für Fronleichnam: |
|---|
| Gruppe |
Ursprünglicher Termin |
Ersatztermin |
| 1 |
Do 10:00 Uhr |
Mo 15:30 Uhr, 11-262 |
| 2 |
Do 11:45 Uhr |
Fr 15:30 Uhr, 11-262 |
| 3 |
Do 15:30 Uhr |
Fr 15:30 Uhr, 11-260 |
-
Generell: An einer Klausur kann im Allgemeinen nur nach
rechtzeitiger Anmeldung teilgenommen werden. Es sind keine Hilfsmittel
erlaubt, außer Schreibutensilien. Lösungen mit nicht dokumentenechten
Stiften, z.B. Bleistift, werden in der Einsichtnahme nicht mehr
angesehen. Zur Klausur sind ein Lichtbildausweis und der
Studierendenausweis mitzubringen. Die Aktivierung von tragbaren
elektronischen Geräten, z.B. Handys, Armbanduhren mit
Sonderfunktionen, während der Klausur, muss als Täuschungsversuch
geahndet werden. Einsichtnahmen zählen als Teil der Klausur.
Die Abschlussklausur stellt für modularisierte Studiengänge die
Modulprüfung dar. Studierende anderer Fachbereiche erwerben durch
Bestehen der Abschlussklausur einen qualifizierten/benoteten
Schein.
Folgende Studienleistungen sind Voraussetzung zur Zulassung zur
Abschlussklausur: Regelmäßige Mitarbeit in den Übungen, mindestens 50%
der Punkte auf die Übungen und
mindestens 50% der Punkte der Semestralklausur. Die Punkte auf die
Übungen und die Semestralklausur werden nicht auf die Abschlussklausur
angerechnet. Die Semestralklausur kann zum Termin der Abschlussklausur wiederholt werden.
Falls Studienleistungen oder Prüfungsleistungen aus gesundheitlichen
Gründen nicht erbracht werden können, ist das umgehend unter Vorlage eines
ärztlichen Attestes anzuzeigen, damit ggf. rechtzeitig Möglichkeiten für
Ersatzleistungen eingerichtet werden können.
Semestralklausur(en)
- Die Anmeldung zur Semestraklkausur (Aufsichtsarbeit) erfolgt durch Anmeldung zu den Übungen
- Termin: Mi, 01.06.2011 ab 17:30 Uhr in 46-215
- Dauer: 60 Minuten
- Einsichtnahme: Fr, 10.06.2011 ab 13:00 in 34-420.
- Ergebnisse der Semstralklausur
- Die Bestehensgrenze liegt bei 25 Punkten.
- Die Ergebnisse sind nur aus dem Uninetz erreichbar.
- Um an der zweiten Zwischenklausur teilnehmen zu können, ist eine Anmeldung per Mail an
huechting@informatik.uni-kl.de erforderlich.
1. Abschlussklausur
- Termin: Mittwoch, 17.8.2011, 13:30 Uhr bis ca. 15:30 Uhr in Hörsaal 46-215.
- Zulassungslisten für Abschluss- und zweite Zwischenklausur (Uni-Intern)
- Wer sich auf diesen Listen nicht wiederfindet, ist entweder nicht angemeldet, oder hat die jeweilige Zulassung nicht erreicht.
Insbesondere hat man die Zulassung nicht erreicht, wenn man die erste Zwischenklausur nicht bestanden hat oder nicht mindestens
138 Übungspunkte hat. Bitte in jedem Fall zuerst die Anmeldung beim Prüfungsamt überprüfen.
- Die Grenze von 138 Punkten ist ebenfalls Voraussetzung für die zweite Zwischenklausur, da das Erreichen der Zulassung ohne diese Bedingung
ohnehin nicht möglich ist.
- Ergebnisse der Abschlussklausur und der zweiten Semestralklausur (Uni-Intern)
- Die Bestehensgrenze der Abschlussklausur liegt bei 34 Punkten. Die genauen Noten bitte im PDF nachsehen.
- Die Bestehensgrenze der zweiten Zwischenklausur liegt bei 21 Punkten.
- Die Ergebnisse sind nur aus dem Uninetz erreichbar.
- Termin Einsichtnahme: Dienstag, 30.08.2011 ab 13 Uhr in 34-420
2. Abschlussklausur
- 26.09.2011: Die morgige Klausur findet ab 14 Uhr in Raum 42-115 statt.
- 19.09.2011: Jan Bormann hat noch einmal eine überarbeitete Version seiner Probeklausur erstellt.
- 05.09.2011: In der Woche vor der zweiten Abschlussklausur findet am 19.09. und am 23.09. jeweils ab 13:45 Uhr in 32-439 eine Fragestunde statt.
- 25.08.2011: Die Ergebnisse der Abschlussklausur und der zweiten Zwischenklausur sind verfügbar.
- 25.08.2011: Die Einsichtnahme zur Abschluss- und zweiten Zwischenklausur findet am Dienstag, 30. August um 13 Uhr in Raum 34-420 statt.
- 14.08.2011: Am Montag, 15.8. und Dienstag, 16.8. bietet Jan Bormann jeweils ab 9:00 Uhr Zusatzübungen in 48-462 an. Mittagspause und Ende der Übung werden nach Absprache festgelegt
- 10.08.2011: Morgen (Donnerstag) findet um 13:45 Uhr in 46-280 noch eine zusätzliche Fragestunde statt.
- 10.08.2011: Unter Klausuren gibt es jetzt eine Liste der Klausuranmeldungen und -zulassungen und genauere Informationen zum Ablauf der Klausur.
- 02.08.2011: Um an der zweiten Zwischenklausur teilnehmen zu können, ist eine Anmeldung per Mail an
huechting@informatik.uni-kl.de erforderlich.
- 25.07.2011: Die Fragestunde findet bis zur Klausur weiterhin Montags um 13:45 Uhr in 46-280 statt.
- 20.07.2011: Blatt 13 ist verfügbar.
- 13.07.2011: Blatt 12 und die Lösung zu Blatt 11 sind verfügbar-
- 06.07.2011: Blatt 11 und die Lösung zu Blatt 10 sind verfügbar.
- 06.07.2011: Die Folien bis Vorlesungsende sind online.
- 01.07.2011: Die Lösung zu Blatt 9 ist jetzt auch lesbar.
- 29.06.2011: Blatt 10 und die Lösung zu Blatt 9 sind verfügbar.
- 22.06.2011: Blatt 9 und die Lösung zu Blatt 8 sind verfügbar.
- 20.06.2011: Die Ersatztermine für Fronleichnam stehen jetzt fest, siehe Übungen.
- 09.06.2011: In der Ergebnisliste der Zwischenklausur steht bei denjenigen mit 25 Punkten, dass sie nicht bestanden hätten. Dies ist ein Fehler, wer 25 punkte hat, hat auch wirklich bestanden.
- 09.06.2011: Die Einsichtnahme zur Zwischenklausur wird auf Freitag, 13 Uhr vorverlegt.
- 08.06.2011: Die Einsichtnahme zur Zwischenklausur findet am kommenden Freitag, dem 10.06.2011 ab 14:00 in 34-420 statt
- 08.06.2011: Das Ergebnis der Zwischenklausur steht online und hängt im Flur der AG Madlener aus.
- 08.06.2011: Blatt 8 und die Lösung zu Blatt 7 sind verfügbar.
- 01.06.2011: Blatt 7 und die Lösung zu Blatt 6 sind verfügbar.
- 01.06.2011: Es sind neue Folien verfügbar.
- 31.05.2011: Die Ersatztermine für Himmelfahrt stehen jetzt fest, siehe Übungen.
- 27.05.2011: Jan Bormann hat eine eigene Infoseite zu seinen Übungen gemacht und dort auch eine Probeklausur veröffentlicht.
- 25.05.2011: Blatt 6 und die Lösung zu Blatt 5 sind verfügbar.
- 18.05.2011: Blatt 5 und die Lösung zu Blatt 4 sind verfügbar.
- 18.05.2011: In den neuen Folien wurden noch einige Fehler korrigiert.
- 17.05.2011: Neue Folien bis zum Ende der Aussagenlogik sind verfügbar.
- 11.05.2011: Blatt 4 und die Lösung zu Blatt 3 sind verfügbar.
- 10.05.2011: Unter Folien/Vorbereitung gibt es jetzt eine Zusammenfassung der Kalkülregeln (letzte und diese Woche) mit einigen Hinweisen zur Beweisführung in Kalkülen.
- 09.05.2011: Die Lösung zu Blatt 2 ist verfügbar.
- 04.05.2011: Das dritte Übungsblatt ist verfügbar.
- 27.04.2011: Das zweite Übungsblatt und die Lösungen zu Blatt 1 sind verfügbar.
- 20.04.2011: Das erste Übungsblatt steht online (Deutsch, Englisch).
- 19.04.2011: Die ersten Folien stehen online.
