DocumentCode :
1847391
Title :
A New Approach to Teaching Logic in Discrete Mathematics
Author :
Li, Yi
Author_Institution :
Software Sch., Fudan Univ., Shanghai
fYear :
2008
fDate :
18-21 Nov. 2008
Firstpage :
2432
Lastpage :
2437
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;
fLanguage :
English
Publisher :
ieee
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
Type :
conf
DOI :
10.1109/ICYCS.2008.150
Filename :
4709355
Link To Document :
بازگشت