Title :
Providing assistance for proofs in the teaching of theory of computation
Author :
Krishnan, Padmanabhan
Author_Institution :
Sch. of Inf. Technol., Bond Univ., Gold Coast, Qld., Australia
Abstract :
In this article we present a technique which helps students in understanding proofs in the context of automata theory. The main conclusion is that student understanding can be improved by using a collection of lemmas and trying to automate the proof in a mechanical theorem prover.
Keywords :
automata theory; computer aided instruction; computer science education; automata theory; computation theory teaching; lemmas collection; mechanical theorem prover; proof automation; proofs understanding; student understanding; undergraduate computer science student; Application software; Australia; Automata; Bonding; Collaboration; Computer science; Education; Gold; Information technology; Writing;
Conference_Titel :
Computers in Education, 2002. Proceedings. International Conference on
Print_ISBN :
0-7695-1509-6
DOI :
10.1109/CIE.2002.1186158
