Welcome to Jingde Cheng's home page

授　　業

大学院

• 知識工学特論
  
  • 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 )
    

  • 集合論入門 ( PDF )
    
  • Naive Set Theory ( PDF )
    
  • Classical Propositional Calculus ( PDF )
    
  • Classical Predicate Calculus ( PDF )
    

• 情報工学特別講義
  
  • Research and Wrinting 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 )
    

• 留学生特別講義
  
  • 大学院研究ガイド (A Guidance for Graduate Study in Science and Engineering) ( PDF )
    

学部

• 情報システム工学入門
  
  • 計算機科学とは何か ( PDF )
    

• 離散数学
  
  • 講義案内 ( PDF )
    
  • 集合論入門 ( PDF )
    
  • グラフ論入門 ( PDF )
    
  • 組合せ論入門 ( PDF )
    

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

  • 論理学とは何か ( PDF )
    
  • Logic: What Is It and Why Study It? ( PDF )
    
  • 古典数理論理とは何か ( PDF )
    
  • Classical Propositional Calculus ( PDF )
    
  • Classical Predicate Calculus ( PDF )
    
  • Philosophical Logic ( PDF )
    
  • 様相論理入門 ( PDF )
    

  • 集合論入門 ( PDF )
    

  • 参考書リスト ( PDF )
    

• 計算論
  
  • 計算論入門 ( PDF )
    
  • 計算可能性理論入門 ( PDF )
    
  • 計算複雑さ理論入門 ( PDF )
    

  • 集合論入門 ( PDF )
    

• プログラミング言語論
  
  • プログラミング言語論入門 ( PDF )
    

  • 「プログラミング言語の意味論：構造的操作意味論による入門」
    著者： Matthew Hennessy, University of Sussex, John Wiley & Sons, 1990
    訳者： 荒木 啓二郎, 程 京徳, サイエンス社, 1993
    
    • 表紙 ( JPG | PDF )
      
    • 目次、まえがき ( PDF )
      
    • 第１章　準備 ( PDF )
      
    • 第２章　算術式 ( PDF )
      
    • 第３章　評価意味論−単純な関数型言語 ( PDF )
      
    • 第４章　評価意味論−他の言語 ( PDF )
      
    • 第５章　計算意味論 ( PDF )
      
    • 第６章　並列性 ( PDF )
      
    • あとがき、参考文献 ( PDF )
      

  • 集合論入門 ( PDF )
    

  • 参考書リスト ( PDF )
    

• 情報セキュリティ工学
  
  • 情報セキュリティ工学入門 ( PDF )
    
  • 暗号理論入門 ( PDF )
    
  • 暗号プロトコル入門 ( PDF )
    
  • 情報技術セキュリティ評価基準ISO/IEC 15408 (CC) ( PDF )
    

  • 集合論入門 ( PDF )
    
  • 組合せ論入門 ( PDF )
    
  • 初等数論入門 ( PDF )
    
  • 抽象代数入門 ( PDF )
    

  • 参考書リスト ( PDF )