Logik für Studierende der Informatik im Wintersemester 2022

Zeit/Ort:	Mi 10 - 12, HS 00-026, Geb. 101, Georges-Köhler-Allee,
Teilnahme in Präsenz unter Beachtung der	Corona-Hygieneregelungen der Universität Freiburg.
Dozentin:	Prof. Dr. Heike Mildenberger
Sprechstunde Dozentin:	n. V.
Mitwirkung bei den Übungen	M.Sc. Christian Bräuninger
Sprechstunde Assistent:	n. V.

Studienleistung

Die verbindlichen Anforderungen für die Studienleistung finden Sie im Modulhandbuch. Wir erwarten dafür von Ihnen (hier zur Info ohne Gewähr):

• Mindestens 50% der erreichbaren Punkte auf die schriftlich zu bearbeitenden Übungsaufgaben.
• Mindestens zweimal Vorrechnen einer (Teil-)Übungsaufgabe im Tutorat; alle müssen in der Lage sein, die von ihnen abgegebenen Übungsaufgaben auf Zuruf an der Tafel zu präsentieren.

Kursseite in Ilias

ILIAS Kursseite (braucht Login zu Ilias) Die Anmeldung zur Veranstaltung ``Logik für Studierende der Informatik - Vorlesung'' in HISinOne erzeugt automatisch auch die Mitgliedschaft im Ilias-Kurs.

Vom Ilias-Start aus findet man die den Ilias-Kurs Vorlesung: Logik für Studierende der Informatik im Pfad:

Magazin > Lehrveranstaltungen aus HISinOne > Wintersemester 2022/23 > Technische Fakultaet > Logik für Studierende der Informatik - Vorlesung

Skript

Skript in der jeweils aktuellen Fassung,

falls Sie Fehler finden, melden Sie sich bitte.

Anmeldung/Organisatorisches

Anmeldung zur Vorlesung in HISinOne. Genaue Angaben zu den neun Gruppen findet man im HISinOne und im Ilias. Es gibt zwei englischsprachige Gruppen.

Übungsblätter

Die Übungsblätter werden wöchentlich am Mittwoch auf dieser Seite veröffentlicht. Die Teilnehmer(innen) geben ihre Lösungen bis zum darauffolgenden Mittwoch um 10 Uhr durch Hochladen auf Ilias oder durch Einwerfen in den Gruppen-Briefkasten in der Technischen Fakultät ab.

Die Übungsstunden beginnen am Montag und Dienstag in der zweiten Vorlesungswoche mit einer Saalübung zu Blatt 0. Die gemeinsame Abgabe in einer Zweiergruppe und auch die Abgabe in Einzelarbeit sind gestattet, jedoch nicht die gemeinsame Abgabe in größeren Gruppen.

Wir erwarten, dass Sie bei den Hausaufgaben bei Entscheidungsfragen Ihre Entscheidung durch einen Beweis oder ein Gegenbeispiel begründen.

Blatt	Ausgabe	Abgabe (vor 10 Uhr vormittags)
Blatt 0, Blatt 0 in englischer Sprache	21.10.2022	keine Abgabe, Anwesenheitsübungen
Blatt 1	19.10.2022	26.10.22

Version der Seite vom 19.10.2022, HM