Übungsblätter zur Vorlesung
"Einführung in die Logik für Informatiker" (BachelorEtten)
von Dr. J. Koslowski im SS 2017

Vorlesung: Mi 9:45-11:15, PK 2.2

Klausur: Do, 2017-08-24, Zeit und Raum noch offen
Als Hilfsmittel zugelassen ist ein doppelseitig handschriftlich beschriebenes Cheat-Sheet im Format Din-A4.
Einsicht: noch offen, vermutlich im IZ 358

Materialien zur Vorlesung
Partielles Script als PDF-Datei, Stand 2017-05-17. Änderungen gegenüber früheren Versionen.

Übungsbetrieb
Die Organisation der Übungsgruppen kann erst erfolgen, wenn die Anzahl der Teilnehmer klar ist, insofern empfehlen wir den Bersuch der ersten Vorlesung am Mittwoch, 2017-04-05 um 09:45! Spätere Sonderwünsche sind nur schwer zu berücksichtigen. Listen werden hoffentlich ab Donnerstag, 2017-04-06, 11:00 aushängen. Der Übungsbetrieb beginnt am 10. April. Aus gegebenem Anlaß möchten wir Sie nochmals bitten, sich möglichst gleichmäßig auf die Gruppen zu verteilen, auch im Interesse der Hiwis.

Am Donnerstag, 2017-05-11, waren morgens die von den Hiwis noch nicht abgeholten am Dienstag zuvor abgegebenen Hausaufgaben aus meinem abgeschlossenen Büro verschwunden (5 Gruppen). Eine Aufklärung des Vorfalls steht noch aus. Allen Studenten wird auf jeden Fall die volle Punktzahl von Blatt 3 gutgeschrieben.

Wegen Karfreitag (gleich in der 1. Übungswoche, 2017/04/14) habe ich den in der 1. Vorlesung angedachten Freitags-Termin auf Donnerstag umgelegt. Darüberhinaus fallen am Ostermontag und am 1. Mai die beiden Montagstermine aus. Einen davon können wir in der Himmelfahrtswoche nachholen (Montag, 2017/05/22).

Keine Übungen am 23. und am 25. Mai.

Ab Blatt 5 ist der Abgabetermin für die Hausaufgaben wieder der Montag, erstmals 2017-05-29.

Sie sollten die Hausaufgaben in 2'er-Gruppen abgeben. Die Übungsblätter werden als PDF-Dateien vorliegen.
Letzte Änderung: 2017-05-17, 12:25
E-mail contact: koslowj at tu-bs dot de