01825 Logik für Informatiker
aus Fernuni-Wiki, der freien Wissensdatenbank
(Weitergeleitet von 1825)
Inhaltsverzeichnis |
Organisatorisches
Der Kurs umfasst 4 + 2 SWS und besteht aus 7 Kurseinheiten.
Im SS 06 kann man den Leistungsnachweis durch eine mündliche Prüfung in Hagen, die Anfang September stattfinden soll, erwerben. Zulassungsbeschränkungen gibt es für diese Prüfung keine.
Am 01. Juli 2006 bietet das Lehrgebiet von Prof. Weihrauch einen Studientag zu diesem Kurs an.
Bachelor-Studenten können diesen Kurs nur über Katalog M wählen.
Fachliches
Links und Texte im Internet
Erfahrungsberichte
WS 2004/05
- Der Kurs ist sehr anspruchsvoll und ist nur zu empfehlen wenn man über fundiertes mathematisches Wissen verfügt und Spaß an Aussagenlogik hat. Ich habe die Fachprüfung irgendwie hinter mich gebracht, da die Prüfung sehr fair ablief. Allerdings würde ich den Kurs nicht wieder belegen.
