B-트리와 데이터베이스 인덱스 이론 (왜 DB는 B-Tree를 선택하는가?)
카테고리
74 페이지
컴퓨터 과학
그래프 이론과 다익스트라법·A* 알고리즘: 경로 탐색의 수학적 기반과 구현
비잔틴 장군 문제와 합의 알고리즘의 심연: Paxos, Raft, BFT의 구조
정보 이론과 섀넌의 엔트로피: 데이터 압축과 통신의 한계 탐구
"P vs NP 문제"의 전모와 계산 복잡도 클래스: 밀레니엄 현상 문제 해설과 프로그래밍적 의의
람다 대수(Lambda Calculus)와 함수형 프로그래밍의 기원: 알론조 처치의 이론에서 Lisp, Haskell까지
오토마타와 형식 언어 이론: 정규 표현식의 이면과 촘스키 계층
튜링 머신과 계산 가능성 이론: 앨런 튜링의 사고 실험과 '정지 문제'
콘웨이의 생명 게임: 단순한 규칙에서 생명과 같은 복잡성이 창발하는 셀룰러 오토마타
4색 정리(Four Color Theorem) - 어떤 지도든 4색이면 칠할 수 있을까
괴델의 불완전성 정리: '절대로 증명할 수 없는 진리'의 수학적 증명
정지 문제(Halting Problem): 절대로 만들 수 없는 최강의 프로그램
로버트 플로이드의 순환 검출법(토끼와 거북이 알고리즘)
소인수분해의 한계와 계산량의 빅오(O) 표기법 해설
