Logik

bei Prof. Schwarz

Teilveranstaltung des Moduls Grundlagen der Informatik (Modul PTI812)

für Bachelor Informatik 1. Semester

Wintersemester 2008/09

Vorlesung:

Donnerstag 11:20 - 12:50 Uhr im Hörsaal 2

Inhalt:

Praktikum:

Mittwoch 15:20 - 16:50 Uhr im Raum 247
Donnerstag 15:20 - 16:50 Uhr im Raum 307

In den Praktika werden die Lösungen der schriftlichen Hausaufgaben besprochen:

Praktische Übungsaufgaben gibt es als Hausaufgaben im Autotool.

Hier gibt es viele nützliche Hinweise zum Autotool. Manches gilt speziell für die Studenten der Uni Leipzig, vieles ist aber auch für Sie interessant. Bei Problemen und Fragen zum Autotool, auf die Sie dort keine Antwort finden, wenden Sie sich bitte an mich.

Literaturempfehlungen:

Folien zur Vorlesung (werden jeweils nach der Vorlesung veröffentlicht):

Bücher:

Unter http://www.maths.qmw.ac.uk/~wilfrid/learning.pdf gibt es sieben uneingeschränkt richtige Hinweise zum Lernen von Mathematik, die selbstverständlich genauso für die Logik und die theoretische Informatik gelten.

http://wwwstud.fh-zwickau.de/~sibsc/ mailto:sibylle.schwarz@fh-zwickau.de