Hilbert: an autonomous evolutionary information system for teaching and learning logic
PublisherDepartment of Educational Sciences, University of Cyprus
Place of publicationCY - Λευκωσία
SourceCBLIS Conference Proceedings 2003 Volume I: New Technologies and their applications in education
Google Scholar check
MetadataShow full item record
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.