태그
- set theory
- 집합론
- Abstract Algebra
- 추상대수학
- Linear Algebra
- 선형대수학
- Mathematical Logic
- 논리학
- Number Theory
- 정수론
- analysis
- 해석학
- Axiom of Choice
- 선택공리
- Metric Space
- 거리공간
- Propositional Logic
- matrix multiplication
- Ordinal Number
- 서수
- Solvable Group
- 가해군
- 행렬곱의 성질
- matrix representation
- Linear transformation
- 벡터공간의 기저
- Arithmetic of Natural Numbers
- 자연수의 연산
- Recursion Theorem
- 순서동형
- Well-Ordered Set
- Ordinal
- 알고리즘 대회
- 문제해결 프로그래밍
- Order Isomorphic
- 정렬집합
- isomorphism
- IOI
- 명제논리
- cms
- 정보올림피아드
- KOI
- 리눅스
- Grothendieck Group of Commutative Monoid
- Grothendieck Group
- Free Abelian Group
- 자유 아벨군
- Sylow Subgroups
- 쉴로브 부분군
- Sylow Theorems
- 쉴로브 정리
- Alternating Group
- Symmetric Group
- 대칭군
- Stabilizer Subgroup
- 안정자군
- Group Action
- 군의 작용
- Semidirect Product
- 반직접곱
- 군의 중심
- 정규화 부분군
- 중심화 부분군
- Center of Group
- Centralizer
- Normalizer
- Composition Series
- Simple Group
- Jordan-Hölder Theorem
- 단순군
- 조르당-횔더 정리
- Zassenhaus Lemma
- Butterfly Lemma
- 차센하우스 보조정리
- 나비 보조정리
- Abelianization
- Derived Sequence
- Commutator Subgroup
- Commutator
- 아벨화
- 유도열
- 교환자 부분군
- Normal Tower
- Subgroup Series
- 부분군열
- Cyclic Group
- 생합성
- 생명의 시작
- Isomorphism Theorems
- Isomorphism Theorems for Groups
- 군의 동형 정리
- Compactness Theorem and Its Equivalence
- Compactness Theorem
- 콤팩트성 정리와 그의 동치명제
- 콤팩트성 정리
- Compactness Theorem for First Order Logic
- Data Dependency
- 데이터 의존성
- Completeness Theorem and Its Equivalence
- Completeness Theorem for First Order Logic
- Completeness Theorem
- 완전성 정리와 그의 동치명제
- 1차 논리에서의 완전성 정리
- 완전성 정리
- Soundness Theorem and Its Equivalence
- Soundness Theorem for First Order Logic
- Soundness Theorem
- 건전성 정리와 그의 동치명제
- 1차 논리에서의 건전성 정리
- 건전성 정리
- 1차 논리
- First Order Logic
- Unique Readability Theorem
- Propositional Calulus
- Properties of Limit
- 극한의 성질
- 점렬의 극한
- 점렬의 수렴성
- Convergence of Sequence
- Equivalent Conditions of Being Compact Set In Euclidan Space
- 유클리드 공간에서 컴팩트일 동치조건
- 컴팩트 집합의 성질
- Properties of Compact Sets
- Heine-Borel Theorem
- 하이네-보렐 정리
- Compact Set
- Kuratowski's Closure-Complement Problem
- Kuratowski's 14-Set Theorem
- 쿠라토프스키 14개 집합 정리
- Closed Set
- Open Set
- 술어 논리
- 서수의 열의 극한
- Limit of Sequence of Ordinals
- Height of a Well-Founded Set
- Rank of a Well-Founded Relation
- Well-Founded Relation
- No Sets That Contains Themselves
- 자기자신을 원소로 가지는 집합은 존재하지 않는다
- No Infinitely Descending Sequences of Ordinals
- 서수의 무한 강하열은 존재하지 않는다
- No Infinitely Descending Membership Chains
- 원소관계의 무한 강하 사슬은 존재하지 않는다
- Complete Cantor's Normal Form
- Cantor's Normal Form
- 완전 칸토어 표준형
- 칸토어 표준형
- Division Theorem for Ordinals
- 서수의 나눗셈 정리
- Completeness Theorem for Propositional Logic
- Soundness Theorem for Propositional Logic
- Finitely Satisfiable
- Satisfiable
- Compactness Theorem for Propositional Logic
- 명제논리에서의 콤팩트성 정리
- Substitution for Equivalent Subformula is Equivalent
- 명제논리에서의 치환
- Substitution in Propositional Logic
- Boolean Interpretation for Propositional Logic
- Disjunction Elimination/Introduction
- 선언 소거 및 도입
- 연언 소거 및 도입
- Conjunction Elimination/Introduction
- Inference Rules
- 추론 규칙
- Double Nagation Elimination
- Double Negation Introduction
- Double Negation
- 이중부정의 제거
- 이중부정의 도입
- Proof of the Equivalence of Contrapositives
- Equivalence of Contrapositives
- 대우법칙의 증명
- Proof of Law of Transitivity
- 추이법칙의 증명
- Law of Transitivity
- Metatheorem
- 메타정리
- Metalogic
- 메타논리
- Deduction Theorem
- 연역 정리
- Formal System
- 형식 체계
- Propositional Calculus
- Least Upper Bound of Ordinals
- Union of Ordinals
- 서수 집합의 합집합
- 서수 집합의 상한
- 군 준동형사상의 핵
- Kernel of Group Homomorphism
- Lagrange's Theorem
- 라그랑주 정리
- Refinement of a Partition
- 분할의 세분
- 집합의 분할
- Partition of a Set
- 몫군
- Quotient Group
- 동형 정리
- Direct Product
- Change of coordinate matrix
- Basis change
- Similar matrix
- Conjugacy Class
- Conjugate Relation
- Normal Subgroup
- 켤레류
- 켤레관계
- Double Coset
- 이중 잉여류
- Coset
- Commutative Group
- Abelian Group
- Subgroup
- 벡터 공간과 행렬의 관계
- relationship between vector space and matrix
- 역변환
- inverse of linear transformation
- Endomorphism
- Automorphism
- Isomorphic
- Homomorphism
- ordered basis
- coordinate vector
- one-to-one
- Dimension Theorem
- Rank nullity theorem
- 계수 퇴화차수 정리
- Kernal
- Null space
- 선형 변환
- 무한차원 벡터공간
- Dimension of Vector Space
- 벡터 공간의 차원
- Dimension of Vector Spaces
- Replacement Theorem
- Commutative Monoid
- 가환 모노이드
- 모노이드
- Monoid
- Basis of Vector Spaces
- Limit of Sequence
- Exponentiation
- Exponentiation of Real Numbers
- 켤레 복소수
- Conjugate Complex Number
- Least-Upper-Bound Property
- 최소 상계 성질
- Completeness of Real Numbers
- 실수의 완비성
- Density of Rational Numbers
- 유리수의 조밀성
- 정수의 연산
- Arithmetic of Integers
- 질량퍼센트
- Natural Number
- Linear Span
- 선형생성
- 일차 종속
- 일차 독립
- 선형 종속
- 선형 독립
- 반응지수
- 선형결합
- 부분 공간
- 벡터 공간의 기본적인 성질
- Basic Properties of Vector Spaces
- 벡터 공간
- Linear Congruence
- 진법 표현
- Theory of Congruence
- 합동이론
- Prime Numbers and Arithmetic Progression
- 소수와 등차수열
- 소수의 성질
- Property of Prime Numbers
- Diophantine Equation
- 디오판토스 방정식
- Fundamental Theorem of Arithmetic
- 산술의 기본정리
- Euclid's Lemma
- 유클리드 보조정리
- Division Theorem
- Binomial Theorem
- Archimedian Property
- 아르키메데스 성질
- 유한 귀납법의 기본 원리
- First Principle of Finite Induction
- Mathematical Induction
- Well Ordering Principle
- Peano Axioms
- Principle of Excluded Third
- Law of Excluded Third
- Principle of Excluded Middle
- Law of Excluded Middle
- Diaconescu's Theorem
- 다이아코네스쿠의 정리
- Syllogism
- 추이법칙
- 한계 반응물
- 과량
- 대우법칙
- Contradiction
- Tautology
- 모순명제
- 항진명제
- Quantifier
- 양화사
- Property of Cardinals
- Cantor's Theorem
- Arithmetic of Infinite Cardinals
- 무한 기수의 연산
- 알레프 제로
- Aleph Number
- Arithmetic of Cardinals
- Cardinal Number
- 순서동형사상
- Well-Ordering Theorem
- Zorn's Lemma
- Hausdorff Maximal Principle
- Bourbaki-Witt Theorem
- 부르바키 비트 고정점 정리
- Arithmetic of Ordinals
- Transfinite Induction
- Transitive Set
- Quotient Set
- 몫집합
- 칸토어 슈뢰더 베른슈타인 정리
- Cantor-Schroder-Bernstein Theorem
- Schroder-Bernstein Theorem
- Cantor-Bernstein Theorem
- 슈뢰더 베른슈타인 정리
- 칸토어 베른슈타인 정리
- 집합의 농도
- Inverse Function
- 함수의 합성
- Function Composition
- Binary Relation
- Restriction of Function
- Semigroup
- 실수의 거듭제곱
- 기수의 성질
- 칸토어 정리
- 고물실
- 함수의 축소
- 이항관계
- 가산 무한 기수
- aleph null
- aleph zero
- aleph nought
- 데카르트 곱
- 알레프 수
- 기수의 산술 연산
- 행렬곱
- Order Isomorphism
- 정렬 정리
- 초른 보조정리
- 하우스도르프 극대원리
- 추이적 집합
- 초한 귀납법
- 서수의 연산
- 동치류
- 일차원 운동
- 교환자
- 벡터의 미분
- 선형 합동식
- 순서관계
- 직접곱
- Double-ended Queue
- 레비-치비타 심볼
- 크로네커 델타
- 크로네커 심볼
- 벡터의 외적
- 벡터의 차
- 벡터의 합
- ZFC
- 닫힌집합
- 열린집합
- 잉여류
- 동형사상
- 가환군
- 아벨군
- 교대군
- 동치관계
- 동형
- 정규부분군
- 이중부정
- 컴팩트 집합
- proposition
- 수학적 귀납법
- 정렬성의 원리
- power set
- Completeness
- soundness
- 벡터의 내적
- 준동형사상
- 부분군
- 순환군
- 화학합성
- Cardinal
- 페아노 공리계
- 극좌표계
- 나눗셈 정리
- 화학식
- 몰분율
- 그래프이론
- inverse matrix
- cardinality
- 배중률
- 몰랄농도
- Vector Space
- Subspace
- linearly independent
- Linearly Dependent
- linear combination
- greatest common divisor
- GCD
- 공기저항
- 르 샤틀리에
- integer
- 밀러의 실험
- complex number
- ordering
- 멱집합
- Rational number
- Real number
- truth table
- 반군
- 거듭제곱
- 자연수
- 삼단논법
- 역함수
- 진리표
- span
- onto
- 켤레
- cpu 설계
- prime number
- 몰농도
- 곱집합
- HMP
- 외적
- DEQUE
- 수리물리
- closure
- 선형변환
- 같음
- 궤도
- 복소수
- radix
- 최대공약수
- 농도
- equivalence relation
- equivalence class
- Relation
- 연산
- base
- conjugate
- induction
- Range
- 내적
- 자유낙하
- 반응식
- 유리수
- 정수
- 분자식
- 화학양론
- 실험식
- 용액
- 생명이란
- 평형상수
- 생명과학
- 개론
- queue
- 명제
- 운동방정식
- 연결리스트
- 역행렬
- Interior
- function
- 중요성
- 분석화학
- 군
- Tree
- 큐
- 유기물
- orbit
- 마그마
- 유효숫자
- 벡터
- 특성
- 밀러
- group
- 소수
- 함수
- 자료구조
- 생명력
- 수행
- 기수
- 귀납법
- 특징
- 관계
- list
- Magma
- 정의
- 스택
- 리스트
- 실수
- Stack
- 생명
- image
- 이항정리
- 측정
- 컴퓨터
블로그 소개
초코맛 도비
생각날 때마다 포스팅하는 블로그