Hilbert: an autonomous evolutionary information system for teaching and learning logic
![Thumbnail](/bitstream/handle/7/64569/A_28_Cheng_AN%20AUTONOMOUS%20EVOLUTIONARY%20INFORMATION%20SYSTEM_CBLIS_2003.pdf.jpg?sequence=1&isAllowed=y)
Προβολή/ Open
Ημερομηνία
2003Συγγραφέας
Cheng, JingdeAkimoto, Naoki
Goto, Yuichi
Koide, Masato
Nanashima, Kouichi
Nara, Sinsuke
Εκδότης
Department of Educational Sciences, University of CyprusPlace of publication
CY - ΛευκωσίαSource
CBLIS Conference Proceedings 2003 Volume I: New Technologies and their applications in educationGoogle Scholar check
Keyword(s):
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.