수학에 해당하는 글 128

  1. 해석학, 그 열세 번째 이야기 | 거리공간에서의 점렬[수열]의 극한 ( Limit of Sequence for Metric Space )2021.11.23
  2. 해석학, 그 열두 번째 이야기 | 거리공간의 컴팩트 집합의 여러 성질 ( Properties of Compact Sets of Metric Spaces )2021.11.19
  3. 해석학, 그 열한 번째 이야기 | 거리공간에서의 컴팩트 집합 ( Compact Set for Metric Space )2021.11.16
  4. 거리공간에서의 쿠라토프스키 14개 집합 정리 ( Kuratowski's 14-Set Theorem for Metric Space; Kuratowski's Closure-Complement Problem for Metric Space )2021.11.10
  5. 해석학, 그 열 번째 이야기 | 거리공간에서의 Interior와 Closure ( Interior and Closure for Metric Space )2021.10.29
  6. 해석학, 그 아홉번째 이야기 | 거리공간에서의 열린집합과 닫힌집합 ( Open Sets & Closed Sets for Metric Space )2021.10.20
  7. 해석학, 그 여덟 번째 이야기 | 거리공간 ( Metric Space )2021.10.20
  8. 논리학, 그 열두 번째 이야기 | Recursion Theorem2021.10.17
  9. 논리학, 그 열한 번째 이야기 | 명제논리에서의 귀납법 ( Induction for Propositional Logic )2021.10.16
  10. 집합론, 그 서른네 번째 이야기 | 서수의 열의 극한 ( Limit of Sequence of Ordinals )2021.09.24
  11. 집합론, 그 서른세 번째 이야기 | Well-Founded Relation2021.09.12
  12. 집합론, 그 서른두 번째 이야기 | '원소관계의 무한 강하 사슬은 존재하지 않는다'의 증명 ( Proof of 'No Infinitely Descending Membership Chains' )2021.09.06
  13. 집합론, 그 서른한 번째 이야기 | 칸토어 표준형 정리 ( Cantor's Normal Form Theorem )2021.09.03
  14. 집합론, 그 서른 번째 이야기 | 서수의 나눗셈 정리 ( Division Theorem for Ordinals )2021.08.31
  15. 논리학, 그 열 번째 이야기 | 명제논리에서의 건전성 정리와 완전성 정리 ( Soundness Theorem and Completeness Theorem for Propositional Logic )2021.08.18
  16. 논리학, 그 아홉 번째 이야기 | 명제논리에서의 콤팩트성 정리 ( Compactness Theorem for Propositional Logic )2021.08.16
  17. 논리학, 그 여덟 번째 이야기 | 명제논리에서의 치환 ( Substitution in Propositional Logic )2021.08.15
  18. 논리학, 그 일곱 번째 이야기 | 명제논리의 Boolean Interpretation ( Boolean Interpretation for Propositional Logic )2021.08.12
  19. 논리학, 그 여섯 번째 이야기 | 여러 가지 추론 규칙 ( Various Inference Rules )2021.08.10
  20. 논리학, 그 다섯 번째 이야기 | 이중부정 ( Double Negation )2021.08.05