전체 글에 해당하는 글 165건
- 비행기는 어떻게 뜨나요? (회전익 편)2022.01.04
- 논리학, 그 열일곱 번째 이야기 | 1차 논리에서의 콤팩트성 정리 ( Compactness Theorem for First Order Logic )2022.01.04
- CPU 설계, 그 첫 번째 이야기 | 데이터 의존성2022.01.02
- 논리학, 그 열여섯 번째 이야기 | 1차 논리에서의 완전성 정리 ( Completeness Theorem for First Order Logic )2021.12.29
- 논리학, 그 열다섯 번째 이야기 | 1차 논리에서의 건전성 정리 ( Soundness Theorem for First Order Logic )2021.12.26
- 논리학, 그 열네 번째 이야기 | 1차 논리 ( First Order Logic )2021.12.20
- 논리학, 그 열세 번째 이야기 | 명제논리에서의 Unique Readability Theorem ( Unique Readability Theorem for Propositional Logic )2021.12.09
- 해석학, 그 열세 번째 이야기 | 거리공간에서의 점렬[수열]의 극한 ( Limit of Sequence for Metric Space )2021.11.23
- 해석학, 그 열두 번째 이야기 | 거리공간의 컴팩트 집합의 여러 성질 ( Properties of Compact Sets of Metric Spaces )2021.11.19
- 해석학, 그 열한 번째 이야기 | 거리공간에서의 컴팩트 집합 ( Compact Set for Metric Space )2021.11.16
- 거리공간에서의 쿠라토프스키 14개 집합 정리 ( Kuratowski's 14-Set Theorem for Metric Space; Kuratowski's Closure-Complement Problem for Metric Space )2021.11.10
- 해석학, 그 열 번째 이야기 | 거리공간에서의 Interior와 Closure ( Interior and Closure for Metric Space )2021.10.29
- 해석학, 그 아홉번째 이야기 | 거리공간에서의 열린집합과 닫힌집합 ( Open Sets & Closed Sets for Metric Space )2021.10.20
- 해석학, 그 여덟 번째 이야기 | 거리공간 ( Metric Space )2021.10.20
- 논리학, 그 열두 번째 이야기 | Recursion Theorem2021.10.17
- 논리학, 그 열한 번째 이야기 | 명제논리에서의 귀납법 ( Induction for Propositional Logic )2021.10.16
- 집합론, 그 서른네 번째 이야기 | 서수의 열의 극한 ( Limit of Sequence of Ordinals )2021.09.24
- 집합론, 그 서른세 번째 이야기 | Well-Founded Relation2021.09.12
- 집합론, 그 서른두 번째 이야기 | '원소관계의 무한 강하 사슬은 존재하지 않는다'의 증명 ( Proof of 'No Infinitely Descending Membership Chains' )2021.09.06
- 집합론, 그 서른한 번째 이야기 | 칸토어 표준형 정리 ( Cantor's Normal Form Theorem )2021.09.03
블로그 소개
초코맛 도비
생각날 때마다 포스팅하는 블로그