Vorlesung Logik (WS 2006/07)

Hörerkreis: 1. Semester
Informatik, Softwaretechnik

Vorlesung: Di 09:45-11:15,
Do 09:45-11:15 (14-tägig)
Raum V38.01

Software:
Folgende Tools werden in der Vorlesung und in den Übungen eingesetzt.

• limboole (siehe auch Infoblatt [PostScript] [PDF] )
• otter
• o2d.pl (Perl-Script zur Visualisierung von Resolutionsbeweisen, benötigt dot)