"P vs NP 문제"의 전모와 계산 복잡도 클래스: 밀레니엄 현상 문제 해설과 프로그래밍적 의의
카테고리
70 페이지
컴퓨터 과학
람다 대수(Lambda Calculus)와 함수형 프로그래밍의 기원: 알론조 처치의 이론에서 Lisp, Haskell까지
오토마타와 형식 언어 이론: 정규 표현식의 이면과 촘스키 계층
튜링 머신과 계산 가능성 이론: 앨런 튜링의 사고 실험과 '정지 문제'
콘웨이의 생명 게임: 단순한 규칙에서 생명과 같은 복잡성이 창발하는 셀룰러 오토마타
4색 정리(Four Color Theorem) - 어떤 지도든 4색이면 칠할 수 있을까
괴델의 불완전성 정리: '절대로 증명할 수 없는 진리'의 수학적 증명
정지 문제(Halting Problem): 절대로 만들 수 없는 최강의 프로그램
로버트 플로이드의 순환 검출법(토끼와 거북이 알고리즘)
소인수분해의 한계와 계산량의 빅오(O) 표기법 해설
