수학/논리학 | Mathematical Logic에 해당하는 글 17건

  1. 논리학, 그 열일곱 번째 이야기 | 1차 논리에서의 콤팩트성 정리 ( Compactness Theorem for First Order Logic )2022.01.04
  2. 논리학, 그 열여섯 번째 이야기 | 1차 논리에서의 완전성 정리 ( Completeness Theorem for First Order Logic )2021.12.29
  3. 논리학, 그 열다섯 번째 이야기 | 1차 논리에서의 건전성 정리 ( Soundness Theorem for First Order Logic )2021.12.26
  4. 논리학, 그 열네 번째 이야기 | 1차 논리 ( First Order Logic )2021.12.20
  5. 논리학, 그 열세 번째 이야기 | 명제논리에서의 Unique Readability Theorem ( Unique Readability Theorem for Propositional Logic )2021.12.09
  6. 논리학, 그 열두 번째 이야기 | Recursion Theorem2021.10.17
  7. 논리학, 그 열한 번째 이야기 | 명제논리에서의 귀납법 ( Induction for Propositional Logic )2021.10.16
  8. 논리학, 그 열 번째 이야기 | 명제논리에서의 건전성 정리와 완전성 정리 ( Soundness Theorem and Completeness Theorem for Propositional Logic )12021.08.18
  9. 논리학, 그 아홉 번째 이야기 | 명제논리에서의 콤팩트성 정리 ( Compactness Theorem for Propositional Logic )2021.08.16
  10. 논리학, 그 여덟 번째 이야기 | 명제논리에서의 치환 ( Substitution in Propositional Logic )2021.08.15
  11. 논리학, 그 일곱 번째 이야기 | 명제논리의 Boolean Interpretation ( Boolean Interpretation for Propositional Logic )2021.08.12
  12. 논리학, 그 여섯 번째 이야기 | 여러 가지 추론 규칙 ( Various Inference Rules )2021.08.10
  13. 논리학, 그 다섯 번째 이야기 | 이중부정 ( Double Negation )2021.08.05
  14. 논리학, 그 네 번째 이야기 | 대우법칙의 증명 ( The Proof of the Equivalence of Contrapositives )2021.08.05
  15. 논리학, 그 세 번째 이야기 | 추이법칙의 증명 ( The Proof of Law of Transitivity )2021.08.04
  16. 논리학, 그 두 번째 이야기 | 연역 정리 ( Deduction Theorem )2021.08.03
  17. 논리학, 그 첫 번째 이야기 | 명제논리 ( Propositional Calculus )22021.08.03
이전 1 다음

티스토리툴바