Language

Propositional-calculus

Language

GitHub

Home
Language
Language
- Introduction
- Classification
  Classification
  - Introduction
  - Domain-specific-language
    Domain-specific-language
    
    Introduction
    
    martinfowler-Domain-Specific-Languages
    martinfowler-Domain-Specific-Languages
    
    Introduction
  - GPL-and-DSL
  - Official-and-dialect
  - Host-and-embeded-and-meta
- Language-and-computation
  Language-and-computation
  - Introduction
  - Language-for-structure
    Language-for-structure
    
    Introduction
    
    Zephyr-ASDL
    Zephyr-ASDL
    
    Introduction
    
    thegreenplace-Using-ASDL-to-describe-ASTs-in-compilers
    thegreenplace-Using-ASDL-to-describe-ASTs-in-compilers
    
    Introduction
    
    paper-The-Zephyr-Abstract-Syntax-Description-Language
    paper-The-Zephyr-Abstract-Syntax-Description-Language
    
    Introduction
  - Structure-of-language
    Structure-of-language
    
    Grammar
- Language-in-discipline
- Expressive-power
  Expressive-power
  - Introduction
- Language-agnostic
  Language-agnostic
  - Introduction
Formal-language
Formal-language
- Introduction
- Formal-and-formal-langugae
  Formal-and-formal-langugae
  - Introduction
- wikipedia-Formal-language
  wikipedia-Formal-language
  - Introduction
- Intermediate-language
  Intermediate-language
  - Introduction
- Formal-grammar
  Formal-grammar
  - Formal-grammar
    Formal-grammar
    
    Introduction
  - Production
    Production
    
    Introduction
  - Chomsky-hierarchy
    Chomsky-hierarchy
    
    Introduction
    
    Type-0
    Type-0
    
    Recursively-enumerable-language
    
    Type-1
    Type-1
    
    Context-sensitive-language
    
    Type-2
    Type-2
    
    Context-free-language
    
    Pushdown-automaton
    Pushdown-automaton
    
    Introduction
    
    Type-3
    Type-3
    
    Introduction
    
    对比分析
    对比分析
    
    Introduction
  - Parsing-Expression-Grammars
    Parsing-Expression-Grammars
    
    Introduction
- Summary-of-theory
  Summary-of-theory
  - Introduction
Formal-language-processing
Formal-language-processing
- Introduction
- Formal-language-processor
  Formal-language-processor
  - Introduction
- Pattern
  Pattern
  - Introduction
  - Composite-pattern
    Composite-pattern
    
    Introduction
  - Interpreter-pattern
    Interpreter-pattern
    
    Introduction
  - Translator-Pattern
    Translator-Pattern
    
    Introduction
Regular-language
Regular-language
- Introduction
- Regular-expression
  Regular-expression
  - Introduction
  - Regex-Engine
    Regex-Engine
    
    Introduction
    
    Thompson's-construction
    Thompson's-construction
    
    Introduction
    
    Powerset-construction
    Powerset-construction
    
    Introduction
Mathematical-logic
Mathematical-logic
- Introduction
- Propositional-calculus Propositional-calculus
  Table of contents
  - wikipedia Propositional calculus
- Axiom-schema
Symbolic-computation
Symbolic-computation
- Introduction
- What-is-symbol
  What-is-symbol
  - Introduction
- Symbolic-computation
  Symbolic-computation
  - Introduction
  - risc-Studying-Symbolic-Computation
    risc-Studying-Symbolic-Computation
    
    Introduction
- Symbolic-programming
  Symbolic-programming
  - Introduction
  - utexas-CS-378-Symbolic-Programming
    utexas-CS-378-Symbolic-Programming
    
    Introduction
- Symbol-expression
  Symbol-expression
  - Introduction
- Expression-oriented-language
  Expression-oriented-language
  - Introduction
- Expression-problem
  Expression-problem
  - Introduction
  - Extended-visitor-pattern
    Extended-visitor-pattern
    
    Introduction
    
    eli.thegreenplace-The-Expression-Problem-and-its-solutions
    eli.thegreenplace-The-Expression-Problem-and-its-solutions
    
    Introduction
    
    Synthesizing-Object-Oriented-and-Functional-Design-to-Promote-Re-Use
    Synthesizing-Object-Oriented-and-Functional-Design-to-Promote-Re-Use
    
    Introduction
  - Object-Algebra
    Object-Algebra
    
    Introduction
- Computer-algebra
  Computer-algebra
  - Introduction
LaTeX
LaTeX
- Introduction
- LaTeX-under
  LaTeX-under
  - Introduction
Dyck-language
Dyck-language
- Introduction

Propositional calculus

"Propositional calculus"的中文意思是"命题演算"，我是在阅读wikipedia Calculus发现它的。

Propositional calculus

wikipedia Propositional calculus