전체 글에 해당하는 글 165건
- 집합론, 그 서른 번째 이야기 | 서수의 나눗셈 정리 ( Division Theorem for Ordinals )2021.08.31
- 논리학, 그 열 번째 이야기 | 명제논리에서의 건전성 정리와 완전성 정리 ( Soundness Theorem and Completeness Theorem for Propositional Logic )2021.08.18
- 논리학, 그 아홉 번째 이야기 | 명제논리에서의 콤팩트성 정리 ( Compactness Theorem for Propositional Logic )2021.08.16
- 논리학, 그 여덟 번째 이야기 | 명제논리에서의 치환 ( Substitution in Propositional Logic )2021.08.15
- 논리학, 그 일곱 번째 이야기 | 명제논리의 Boolean Interpretation ( Boolean Interpretation for Propositional Logic )2021.08.12
- 논리학, 그 여섯 번째 이야기 | 여러 가지 추론 규칙 ( Various Inference Rules )2021.08.10
- 논리학, 그 다섯 번째 이야기 | 이중부정 ( Double Negation )2021.08.05
- 논리학, 그 네 번째 이야기 | 대우법칙의 증명 ( The Proof of the Equivalence of Contrapositives )2021.08.05
- 논리학, 그 세 번째 이야기 | 추이법칙의 증명 ( The Proof of Law of Transitivity )2021.08.04
- 논리학, 그 두 번째 이야기 | 연역 정리 ( Deduction Theorem )2021.08.03
- 논리학, 그 첫 번째 이야기 | 명제논리 ( Propositional Calculus )2021.08.03
- 집합론, 그 스물아홉 번째 이야기 | '서수 집합의 합집합은 해당 집합의 상한이다'의 증명 ( Proof of 'Union of Ordinals is Least Upper Bound' )2021.06.14
- 추상대수학, 그 열두 번째 이야기 | Homomorphism의 Kernel (Kernel of Homomorphism)2021.02.27
- 추상대수학, 그 열한 번째 이야기 | 군론에서의 라그랑주 정리 ( Lagrange's Theorem - Group Theory )2021.02.27
- 집합론, 그 스물여덟 번째 이야기 | 집합의 분할 ( Partition of a Set )2021.02.27
- 추상대수학, 그 열 번째 이야기 | 몫군 ( Quotient Group )2021.02.15
- 선형대수학, 그 스무 번째 이야기 | 기저 변환과 닮음 행렬 ( Change of Basis & Similar Matrix )2021.02.15
- 추상대수학, 그 아홉 번째 이야기 | 켤레와 정규부분군 ( Conjugate & Normal Subgroup )2021.02.08
- 추상대수학, 그 여덟 번째 이야기 | 잉여류 ( Coset )2021.02.06
- 추상대수학, 그 일곱 번째 이야기 | 아벨군(가환군) ( Abelian Group; Commutative Group )2021.02.05
블로그 소개
초코맛 도비
생각날 때마다 포스팅하는 블로그