Show simple item record

dc.contributor.authorCheng, Jingdeen
dc.contributor.authorAkimoto, Naokien
dc.contributor.authorGoto, Yuichien
dc.contributor.authorKoide, Masatoen
dc.contributor.authorNanashima, Kouichien
dc.contributor.authorNara, Sinsukeen
dc.coverage.spatialCY - Λευκωσίαen
dc.date.accessioned2016-02-16T06:53:59Z
dc.date.available2016-02-16T06:53:59Z
dc.date.issued2003
dc.identifier.urihttp://hdl.handle.net/10797/14683en
dc.descriptionΠεριέχει το πλήρες κείμενοel_GR
dc.description.abstractIn 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.en
dc.language.isoengen
dc.publisherDepartment of Educational Sciences, University of Cyprusen
dc.relation.ispartofInformation and communication technologyen
dc.rightsinfo:eu-repo/semantics/openAccessen
dc.titleHilbert: an autonomous evolutionary information system for teaching and learning logicen
dc.typeinfo:eu-repo/semantics/conferenceObjecten
dc.subject.uncontrolledtermReasoning and proofen
dc.subject.uncontrolledtermConditionalen
dc.subject.uncontrolledtermEntailmenten
dc.subject.uncontrolledtermClassical mathematical logicen
dc.subject.uncontrolledtermRelevant logicen
dc.subject.uncontrolledtermPhilosophical logicen
dc.subject.uncontrolledtermAutonomous evolutionen
dc.subject.uncontrolledtermComputer-based teachingen
dc.subject.uncontrolledtermComputer-based learningen
dc.contributor.conferenceorganizerLearning in Physics Group, University of Cyprusen


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record