ΛΗΚΥΘΟΣ
    • Ελληνικά
    • English
  • English 
    • Ελληνικά
    • English
  • Login
View Item 
  •   DSpace Home
  • Κυπριακή ερευνητική παραγωγή / Cyprus research production
  • ΕΝΔΟ - Ενδοπανεπιστημιακή ερευνητική παραγωγή Πανεπιστημίου Κύπρου
  • Συνέδρια - Conferences
  • Computer Based Learning in Science (CBLIS)
  • CBLIS Conference Proceedings 2003 Volume I: New Technologies and their applications in education
  • View Item
  •   DSpace Home
  • Κυπριακή ερευνητική παραγωγή / Cyprus research production
  • ΕΝΔΟ - Ενδοπανεπιστημιακή ερευνητική παραγωγή Πανεπιστημίου Κύπρου
  • Συνέδρια - Conferences
  • Computer Based Learning in Science (CBLIS)
  • CBLIS Conference Proceedings 2003 Volume I: New Technologies and their applications in education
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Hilbert: an autonomous evolutionary information system for teaching and learning logic

Thumbnail
View/Open
cheng (167.0Kb)
Date
2003
Author
Cheng, Jingde
Akimoto, Naoki
Goto, Yuichi
Koide, Masato
Nanashima, Kouichi
Nara, Sinsuke
Metadata
Show full item record
Abstract
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.
URI
http://hdl.handle.net/10797/14683
Collections
  • CBLIS Conference Proceedings 2003 Volume I: New Technologies and their applications in education [120]

DSpace software copyright © 2002-2015  DuraSpace
Contact Us | Send Feedback
 

 

Browse

All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

My Account

LoginRegister

Statistics

View Usage Statistics

DSpace software copyright © 2002-2015  DuraSpace
Contact Us | Send Feedback