Welcome to Jingde Cheng's home page

Teaching

For Graduates

• Advanced Lecture on Knowledge Engineering
  
  • Logic: What Is It and Why Study It? ( PDF )
    
  • Classical Propositional Calculus ( PDF )
    
  • Classical Predicate Calculus ( PDF )
    
  • Philosophical Logic ( PDF )
    

  • Relevant Reasoning: Its Key Role in Discovery and Prediction ( PDF )
    
  • Strong Relevant Logic as the Universal Basis of Various Applied Logics for Knowledge Representation and Reasoning ( PDF )
    

• Formal Specification and Verification
  
  • Formal Specification and Verification ( PDF )
    

  • An Introduction to Petri Nets ( PDF )
    

  • Formal Specification Using Z (D. Lightfoot, 2nd Edition, Palgrave, 2001) ( PDF )
    
  • The Z Notation (V. S. Alagar and K. Periyasamy, "Specification of Software Systems (2nd Edition)," pp. 461-538, Spring-Verlag, 2011) ( PDF )
    
  • The B-Mathod (V. S. Alagar and K. Periyasamy, "Specification of Software Systems (2nd Edition)," pp. 577-633, Spring-Verlag, 2011) ( PDF )
    

  • The Z Notation: A Reference Manual (2nd Edition) (by J. M. Spivey, 1998) ( PDF )
    
  • ISO/ISC 13568: Information technology - Z formal specification notation - Syntax, type system and semantics ( PDF )
    
  • ISO/ISC 13568:2002/Cor.1:2007: Information technology - Z formal specification notation - Syntax, type system and semantics - Technical Corrigendum 1 ( PDF )
    

  • An Elementary Introduction to Set Theory (in Japanese) ( PDF )
    
  • Naive Set Theory ( PDF )
    
  • Classical Propositional Calculus ( PDF )
    
  • Classical Predicate Calculus ( PDF )
    

• Special Lecture on Information and Computer Sciences
  
  • Research and Writing for Computer Science and Software Engineering/Technology ( PDF )
    
  • Anticipatory Reasoning-Reacting Systems ( PDF )
    
  • Epistemic Programming ( PDF )
    
  • Relevant Reasoning ( PDF )
    
  • Persistent Computing ( PDF )
    
  • Dependence Analysis and Program Slicing ( PDF )
    
  • Ada 2012: The Language for Advanced Software Engineering ( PDF )
    

• Special Lecture for Foreign Students
  
  • A Guidance for Graduate Study in Science and Engineering ( PDF )
    

For Undergraduates

• Introduction to Information and Computer Sciences
  
  • Computer Science: What Is It and Why Study It? (in Japanese) ( PDF )
    

• Discrete Mathematics
  
  • Introduction (in Japanese) ( PDF )
    
  • An Elementary Introduction to Set Theory (in Japanese) ( PDF )
    
  • An Elementary Introduction to Graph Theory (in Japanese) ( PDF )
    
  • An Elementary Introduction to Combinatorics (in Japanese) ( PDF )
    

• Logic
  
  • Logic: What Is It?
    - A Collection of Definitions of 'Logic' and 'Mathematical Logic' ( PDF )
    

  • Logic: What Is It and Why Study It? ( PDF )
    
  • Logic: What Is It and Why Study It? (in Japanese) ( PDF )
    
  • Classical Mathematical Logic: What Is It and Why Study It? (in Japanese) ( PDF )
    
  • Classical Propositional Calculus ( PDF )
    
  • Classical Predicate Calculus ( PDF )
    
  • Philosophical Logic ( PDF )
    
  • An Elementary Introduction to Modal Logic (in Japanese) ( PDF )
    

  • An Elementary Introduction to Set Theory (in Japanese) ( PDF )
    

• Theories of Computation
  
  • An Introduction to the Theory of Computation (in Japanese) ( PDF )
    
  • An Introduction to Computability Theory (in Japanese) ( PDF )
    
  • An Introduction to Computational Complexity Theory (in Japanese) ( PDF )
    

  • An Elementary Introduction to Set Theory (in Japanese) ( PDF )
    

  • A List of Reference Books (in Japanese) ( PDF )
    

• Theories of Programming Languages
  
  • An Introduction to Theories of Programming Languages (in Japanese) ( PDF )
    

  • "The Semantics of Programming Languages - An Elementary Introduction using Structural Operational Semantics"
    by Matthew Hennessy, Translated by K. Araki and J. Cheng (in Japanese) ( PDF )
    

  • An Elementary Introduction to Set Theory (in Japanese) ( PDF )
    

  • A List of Reference Books (in Japanese) ( PDF )
    

• Information Security Engineering
  
  • An Introduction to Information Security Engineering (in Japanese) ( PDF )
    
  • An Introduction to Cryptography (in Japanese) ( PDF )
    
  • An Introduction to Cryptographic Protocols (in Japanese) ( PDF )
    
  • ISO/IEC 15408 (CC) (in Japanese) ( PDF )
    

  • An Elementary Introduction to Set Theory (in Japanese) ( PDF )
    
  • An Elementary Introduction to Combinatorics (in Japanese) ( PDF )
    
  • An Introduction to Elementary Theory of Numbers (in Japanese) ( PDF )
    
  • An Elementary Introduction to Abstract Algebra (in Japanese) ( PDF )
    

  • A List of Reference Books (in Japanese) ( PDF )