김신건의 로그

중급 8개 챕터 · 약 8시간 · 업데이트 2026년 7월 7일

🎓 이산수학: 컴퓨터 과학의 언어

명제 논리부터 그래프 이론, 부울 대수, 점화식까지, 알고리즘 정확성 증명과 자료구조 분석의 기초가 되는 이산수학의 핵심 개념을 시각적 예시와 함께 순차 학습하는 경로.

Ch.1 위키 이산수학 (Discrete Mathematics)

이산수학이 무엇이고 왜 컴퓨터 과학의 기초인가
↓
Ch.2 위키 명제 논리 (Propositional Logic)

명제, 논리 연산, 진리표, 함의 - 논리적 사고의 기초
↓
Ch.3 위키 증명 기법 (Proof Techniques)

직접/대우/귀류/귀납법 - 알고리즘 정확성 증명 도구
↓
Ch.4 위키 집합, 관계, 함수 (Sets, Relations, Functions)

집합 연산, 관계 성질, 함수의 단사/전사/전단사
↓
Ch.5 위키 조합론 기초 (Combinatorics)

순열, 조합, 이항 정리, 포함배제 원리, 비둘기집
↓
Ch.6 위키 그래프 이론 기초 (Graph Theory)

정점/간선/차수, 경로/사이클, 트리, 이분 그래프, 매칭
↓
Ch.7 위키 부울 대수 (Boolean Algebra)

부울 함수, DNF/CNF, 카르노 맵, 논리 회로
↓
Ch.8 위키 점화식 (Recurrence Relations)

점화식 풀이, 특성 방정식, 마스터 정리 - 알고리즘 복잡도