Berne University (Project Leader),
Freiburg, St. Gallen, Geneva Universities, University of Applied Sciences Rapperswil
Logic is the basis for many scientific disciplines. ViLoLa is a virtual logic laboratory built around elementary and advanced logic-oriented modules.
ViLoLa is targeted at students in different fields (e.g. IT, mathematics, philosophy, electronic engineering, communications management). In addition to providing theoretical instruction, this e-course aims to teach students how to to solve practical examples with the knowledge they acquire.
The idea is that course participants should use computers creatively. They are therefore encouraged to experiment and learn by themselves. Themes covered in individual modules include logic and uncertainty, formal languages, logic and philosophy.