DocumentCode
3286084
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
fYear
2002
fDate
3-6 Dec. 2002
Firstpage
1083
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computers in Education, 2002. Proceedings. International Conference on
Print_ISBN
0-7695-1509-6
Type
conf
DOI
10.1109/CIE.2002.1186158
Filename
1186158
Link To Document