Grundlagen der Logik in der Informatik Wintersemester 2023/24

Aktuelles

• Die Klausurergebnisse sind da und in campo eingetragen. Informationen zur Punkte- und Notenverteilung finden sich im entsprechenden Thread im GLoIn-Forum in Studon
• Die Klausureinsicht findet am Donnerstag, dem 11.04.2024, von 14:00 bis 15:00 Uhr im Raum H18 statt.
• A2 und A3 des Weihnachtsblatts sind jetzt bepunktet.
• Die Klausur findet am Dienstag, den 26.03.2024, statt (Raum und Uhrzeit werden zentral geplant und noch bekanntgegeben)
• Am Freitag, den 22.03.2024, gibt es von 10:15-11:45 Uhr eine Fragestunde im H12
• Am Montag, den 25.03.2024, gibt es von 11:00-13:00 Uhr eine weitere Fragestunde (vermutlich im H12; falls sich der Raum noch ändert, wird es hier noch bekanntgegeben)

Vorlesung (Kurs auf campo und auf StudOn)

Übungen (Kurs auf campo und auf StudOn)

Die Aufteilung auf die Übungsgruppen (für eine Liste der Termine siehe campo) fand am 19.10. um 19 Uhr statt; falls Sie die Anmeldung verpasst haben, können Sie sich noch in Übungen mit freien Plätzen auf StudOn nachtragen. Die Zeiten und Räume der Übungen sind auf campo gelistet. Der vorläufige Plan für die Übungsblätter ist:

Bitte verwenden Sie dieses Deckblatt für die Hausaufgaben-Abgabe:pdf, tex

Hinweise zum Lösen der Übungsblätter

Inhaltliche Tipps:

• Die Aufgabenstellungen verlangen meist irgendeine Form von Beweis. Zweck solcher Aufgaben ist es, strukturiertes (“logisches”) Denken und eine präzise Ausdrucksweise beim Aufschreiben der Gedankengänge zu trainieren. Diese Fertigkeiten werden ihnen nicht nur beim Programmieren, sondern in allen Disziplinen der Informatik von Nutzen sein!
• Beim Beweisen kann nicht einfach ein Standard-Schema abgespult werden; stattdessen müssen Sie von Situation zu Situation analysieren: Was ist gegeben? Was ist zu zeigen?
• Es ist normal, nicht auf Anhieb zu sehen, wie der gesuchte Beweis aussieht. Wenn man die Lösung auch nach längerem Überlegen und Nachschlagen von Definitionen nicht findet, hilft es oft, die Aufgabe für einen Tag beiseite zu legen und es dann nocheinmal zu versuchen. Fangen Sie deshalb nicht zu spät an, das Übungsblatt zu bearbeiten!
• Nutzen Sie den Austausch in Ihrer Abgabegruppe um gemeinsam nach der Lösung zu suchen!
• Ähnlich wie beim Programmieren kann man Beweise selten einfach “von oben nach unten runterschreiben”: Oft steckt die Beweisidee irgendwo in der Mitte, woraufhin man Argumente davor und danach ergänzt, bis der Beweis fertig ist. Schreiben Sie deshalb Beweise für die Abgabe ins Reine, so dass die Argumente sauber aufeinander aufbauen.
• Stellen Sie Fragen, egal ob zur inhaltliche Fragen zur Vorlesung, zur Übung oder zur Korrektur! Nutzen Sie das Forum in StudOn, um jederzeit schriftlich zu fragen. Beim schriftlichen Formulieren einer Frage lernt man selbst etwas, da man die eigenen Gedankengänge in präzise Formulierungen fassen muss. Fragen zur Korrektur kann der entsprechende Tutor am besten beantworten. Des weiteren gibt es in der wöchentlichen Intensivübung genug Zeit, um Fragen (auch zu zurückliegenden Themen) im Detail zu klären und die Lösung von vergangenen Hausaufgaben durchzugehen.

Hinweise zum Abgabeverfahren:

• Die Abgabe des Übungsblattes findet in Abgabegruppen zu je 4 (oder im Ausnahmefall 5) Studierenden statt.
• Es ist vorteilhaft (aber nicht zwingend notwendig), dass alle Mitglieder einer Abgabegruppe im selben Tutorium sind.
• Jede Abgabegruppe erstellt eine Lösung des Übungsblattes und gibt ein Examplar zusammen mit dem Deckblatt (pdf, tex) auf einem dieser Wege vor der Abgabefrist ab:
  • Elektronisch (als PDF) über StudOn
  • Durch persönliche Abgabe an den Tutor
  • Durch Einwurf in den Briefkasten („Übungsabgaben für die Lehrveranstaltungen“, „Grundlagen der Logik in der Informatik (GLoIn)“) vor dem blauen Informatik-Hochhaus (Martensstr. 3, 91058 Erlangen): Nachdem diese Abgabeoption auf den ersten Blättern nicht genutzt wurde, ist ab Blatt 03 die Briefkastenabgabe nicht mehr möglich. Falls doch Bedarf besteht, melden Sie sich bitte bei Thorsten Wißmann

Intensivübung (Kurs auf campo und auf StudOn)

Die Intensivübung von Thorsten Wißmann findet immer Montags 16:15-17:45 Uhr im Übungsraum 02.134-113 statt. Hier können Fragen zum Vorlesungs- und Übungsinhalt gestellt werden.

Hilfsmaterial

• • Es gibt ein Skript (Stand 19.03.24). Das Skript gibt den Inhalt der Veranstaltung wieder und enthält zusätzliches Hintergrundmaterial. Die Reihenfolge der Kapitel in der Vorlesung weicht zur besseren Synchronisation mit der Übung von der Reihenfolge im Skript ab.
  • Eine Einführung in Coq (Stand: 21.12.2023) sowie das Coq-Skript intro.v aus der Vorlesung vom 16.11.2023
  • Probeklausuren: Beachten Sie, dass sich der Vorlesungsinhalt (Notation sowie Themenschwerpunkte) über die Zeit ändert. Deshalb gibt Ihnen die jüngste Probeklausur die beste Einschätzung für die tatsächliche Klausur. Wir listen ältere Klausuren nur der Vollständigkeit halber:
    • Probeklausur WS23/24
    • Probeklausur WS21/22
    • Probeklausur WS19/20
    • Probeklausur WS18/19
    • Probeklausur WS16/17
    • Probeklausur WS15/16
  • Das RRZE zeichnet die Vorlesung auf.