Title :
A New Approach to Teaching Logic in Discrete Mathematics
Author_Institution :
Software Sch., Fudan Univ., Shanghai
Abstract :
Logic is a very important part of discrete mathematics, which is fundamental to computer science. It now has wide applications in many areas and plays more and more important role in computer science. Soundness, completeness,and compactness theorem are added into typical discrete mathematics. Specially, It adopts tableau proof system instead of traditional axiomatic proof system. This can simplify teaching and make student focus on semantics of logic. Furthermore, we share some experiences of teaching logic as part of discrete mathematics.
Keywords :
computer science education; formal logic; teaching; axiomatic proof system; compactness theorem; completeness theorem; computer science; discrete mathematics; logic semantic teaching approach; soundness theorem; tableau proof system; Algebra; Computer science; Education; Educational institutions; Formal languages; Logic devices; Logic programming; Mathematics; Prosthetics; Set theory; Discrete mathematics; logic; tableau proof;
Conference_Titel :
Young Computer Scientists, 2008. ICYCS 2008. The 9th International Conference for
Conference_Location :
Hunan
Print_ISBN :
978-0-7695-3398-8
Electronic_ISBN :
978-0-7695-3398-8
DOI :
10.1109/ICYCS.2008.150