•   Home
  • Proceedings
  • National Teaching Symposium on Cryptology and Information Se...

National Teaching Symposium on Cryptology and Information Security (NTSCIS 2010 E-BOOK)

Kunming,China,8.8-8.9，2010

ISBN: 978-1-935068-09-9 Scientific Research Publishing, USA

E-Book 469pp Pub. Date: August 2010

Category: Computer Science & Communications

Price: $80

Title: Teaching Mathematical Logic for Information Security Specialty
Source: National Teaching Symposium on Cryptology and Information Security (NTSCIS 2010 E-BOOK) (pp 405-408)
Author(s): Zhi-min Li, School of Computer and Information Science, Xiaogan University, Xiaogan, Hubei Province , China,432000
Jian-xin Chen, School of Computer and Information Science, Xiaogan University, Xiaogan, Hubei Province , China,432000
Jun Lu, School of Computer and Information Science, Xiaogan University, Xiaogan, Hubei Province , China,432000
Cong-huan Ye, School of Computer and Information Science, Xiaogan University, Xiaogan, Hubei Province , China,432000
Abstract: Mathematical logic is an important basic knownedge for learning in information security specialty．Through learning mathematical logic，students may have a solid foundation in studying professionalcourse and in the future speciality of security software and hardware development．For the purpose of improvingquality of teaching mathematical logic，the author proposes his teaching approach from the aspects offocusing on the reasonable extending of teaching content following the framework of Proof Theory，introducing basic knowledge on non-classical logic, introducing information security applications-orientedbackground knowledge and the imploying of advanced teaching resources and aided teaching tools（for exampleCOQ& Proof web）.
Proceedings by Subjects
Resources
Products
Contact us
book@scirp.org
WhatsApp +86 18163351462(WhatsApp)
Click here to send a message to me 1243940697
Book Publishing WeChat
Follow SCIRP
Free SCIRP Newsletters
Copyright © 2006-2024 Scientific Research Publishing Inc. All Rights Reserved.
Top