수학 — 0archlinux0

고속 푸리에 변환 (FFT)

DFT의 정규화부터 radix-2 버터플라이와 다항식 합성곱까지 살펴보고, 부동소수점 정수 계산의 한계를 설명합니다.

2022. 5. 14.

유한 차원 유클리드 공간의 유계 수열에서 수렴 부분수열을 얻는 증명을 살펴보고 콤팩트성과 구별합니다.

2022. 4. 24.

잔여 네트워크의 도달 가능성을 이용해 최대 유량 최소 컷 정리를 증명하고, 작은 예제로 최적성을 확인합니다.

2022. 4. 12.

실수 단조 수열의 수렴 정리를 상한 성질로 증명하고 대표적인 예로 설명합니다.

2022. 4. 24.

실수의 완비성으로 중첩 닫힌구간의 공통점을 보이고, 길이가 0으로 줄어들 때 유일함을 증명합니다.

2022. 4. 24.

대수 구조, 거리공간, 순서, 완비성, 극한 개념을 주제별로 정리한 해석학 참고 자료입니다.

2022. 4. 15.

집합, 대수적 구조, 함수, 기수에 관한 기초 개념 19가지를 예와 함께 주제별로 정리한 간략 참고 자료입니다.

2022. 4. 13.

두 정수의 최대공약수가 정수 선형결합으로 표현됨을 최소 양의 결합으로 증명하고, 체 위 다항식 확장도 구분해 설명합니다.

2022. 4. 12.

유클리드 알고리즘의 불변식과 계산 예를 증명하고, 비음수 입력을 전제로 한 C++ 구현 및 로그 단계 수를 설명합니다.

2022. 4. 12.

실현 가능한 유량부터 잔여 간선의 증가와 취소, 컷의 상한, 포드–풀커슨 알고리즘의 종료 조건까지 살펴봅니다.

2022. 4. 12.

오일러 공식을 이용해 드무아브르 공식의 양수·0·음수 정수 지수를 구분해 증명하고 세제곱 예를 살펴봅니다.

2021. 11. 24.