NotesFAQContact Us
Collection
Advanced
Search Tips
Publication Date
In 20260
Since 20250
Since 2022 (last 5 years)0
Since 2017 (last 10 years)0
Since 2007 (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