Point-and-Click Logic
Students of proof theory, a branch of formal logic, can benefit from computerized tools. We describe the principles behind one such tool called ProEd. This tool is targeted especially at novice students, and therefore it is designed to support effortless exploratory use. We moreover argue that focus...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Vilnius University
2005-04-01
|
| Series: | Informatics in Education |
| Subjects: | |
| Online Access: | http://www.mii.lt/informatics_in_education/pdf/INFE051.pdf |