Hilbert: an autonomous evolutionary information system for teaching and learning logic
Προβολή/ Άνοιγμα
Ημερομηνία
2003Συγγραφέας
Cheng, Jingde
Akimoto, Naoki
Goto, Yuichi
Koide, Masato
Nanashima, Kouichi
Nara, Sinsuke
Metadata
Εμφάνιση πλήρους εγγραφήςΕπιτομή
In order to establish a widely useful computer-based environment for teaching and learning logic, we are developing an autonomous evolutionary information system, named “HILBERT,” for teaching and learning various logic systems underlying diverse reasoning forms in scientific discovery as well as everyday logical thinking. This paper presents our basic design ideas for the system, facilities and services provided by the system, and the architecture of the system.