카테고리

Math

10 articles.

고속 푸리에 변환 (FFT)

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

2022-05-14

단조 수렴 정리

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

2022-04-24

축소구간 정리

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

2022-04-24