NotesFAQContact Us
Collection
Advanced
Search Tips
Publication Date
In 20250
Since 20240
Since 2021 (last 5 years)0
Since 2016 (last 10 years)0
Since 2006 (last 20 years)1
Descriptor
Computer Science1
Computer Science Education1
Computer Uses in Education1
Databases1
Educational Technology1
Foreign Countries1
Logical Thinking1
Problem Solving1
Teaching Methods1
Undergraduate Students1
Validity1
More ▼
Source
Acta Didactica Napocensia1
Author
Hendriks, Maxim1
Kaliszyk, Cezary1
Wiedijk, Freek1
van Raamsdonk, Femke1
Publication Type
Journal Articles1
Reports - Descriptive1
Education Level
Higher Education1
Postsecondary Education1
Audience
Location
Netherlands1
Laws, Policies, & Programs
Assessments and Surveys
What Works Clearinghouse Rating
Showing one result 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