NotesFAQContact Us
Collection
Advanced
Search Tips
Showing all 3 results Save | Export
Teaching Logic Using a State-of-the-Art Proof Assistant
Peer reviewed Peer reviewed
PDF on ERIC Download full text
Hendriks, Maxim; Kaliszyk, Cezary; van Raamsdonk, Femke; Wiedijk, Freek – Acta Didactica Napocensia, 2010
This article describes the system ProofWeb developed for teaching logic to undergraduate computer science students. The system is based on the higher order proof assistant Coq, and is made available to the students through an interactive web interface. Part of this system is a large database of logic problems. This database will also hold the…
Descriptors: Logical Thinking, Teaching Methods, Validity, Undergraduate Students
Computer Education in the Vocational Teacher Training Centre at Eindhoven.
Houben, J. W. M. A.; Verbunt, J. A. – Technological Horizons in Education, 1985
Teachers from The Netherland's 26 higher technical colleges in need of a teaching qualification (called an "informatica") were able to obtain it by in-service training, organized and offered by universities. Types of courses offered and policy describing information technology activities to be developed in the country by 1989 are…
Descriptors: Computer Science Education, Higher Education, Information Science, Inservice Teacher Education
Teaching Hypertext and Hypermedia through the Web.
PDF on ERIC Download full text
de Bra, Paul M. E. – 1996
This paper describes a World Wide Web-based introductory course titled "Hypermedia Structures and Systems," offered as an optional part of the curriculum in computing science at the Eindhoven University of Technology (Netherlands). The technical environment for the current (1996) edition of the course is presented, which features…
Descriptors: Assignments, Computer Assisted Instruction, Computer Assisted Testing, Computer Managed Instruction