# Big-O

• 2026년 4월 5일 알고리즘
  알고리즘 오리엔테이션 — 알고리즘이란 무엇인가

  알고리즘의 정의와 올바름(Correctness)을 살펴보고, 수학적 귀납법과 루프 불변식으로 알고리즘을 증명한다. 정지 문제(Halting Problem)로 알고리즘의 근본 한계를 확인하고, RAM 모델과 점근적 표기법(Big-O, Θ, Ω)으로 효율을 분석한다.