Universität Bern (Projektleitung),
Universitäten Freiburg, St. Gallen, Genf, Hochschule Rapperswil
Logik ist die Basis für viele wissenschaftliche
Disziplinen. ViLoLa ist ein virtuelles Logiklabor, das um elementare und
fortgeschrittene logikorientierte Module herum aufgebaut ist.
ViLoLa wendet sich an Studierende verschiedener Fächer (z.B. Informatik,
Mathematik, Philosophie, Elektroingenieurwissenschaften, Kommunikationsmanagement).
Der e-Kurs hat zum Ziel, sowohl theoretische Kenntnisse zu vermitteln,
wie auch die Fähigkeit, die Theorie für die Lösung praktischer
Beispiele nutzbar zu machen.
Die Studierenden sollen den Computer kreativ nutzen.
Deshalb haben sie die Möglichkeit zu experimentieren und selbständig
zu lernen. Themen einzelner Module sind z.B. Logik und Ungewissheit, formale
Sprachen, Logik und Philosophie.