개발자를 위한 이산수학 - 논리·집합·그래프·확률을 코드로

명제·논리 연산·진리표, 함의와 대우, 드모르간 법칙으로 조건 단순화, 완성 코드는 두 조건식이 같은지 진리표로 판정

직접 증명·귀류법·수학적 귀납법을 코드 감각으로, 반례 찾기, 성질 기반 테스트의 생각, 완성 코드는 1부터 n 까지 합 공식을 귀납 구조로 확인하고 틀린 공식의 반례를 찾음

합집합·교집합·차집합·여집합, 부분집합, 멱집합, 권한 계산 예, 완성 코드는 역할별 권한 집합 계산과 멱집합 생성

관계의 성질(반사·대칭·추이), 동치류와 그룹 묶기, 함수의 단사·전사, 해시 함수 감각, 완성 코드는 동치 관계로 그룹 나누기(유니온 파인드 단순판)

곱의 법칙·합의 법칙, 순열·조합, 중복, 비둘기집 원리와 해시 충돌, 완성 코드는 itertools 로 센 결과와 공식 비교

표본 공간과 사건, 조건부 확률, 독립, 생일 문제와 ID 충돌, 기댓값, 완성 코드는 seed 고정 시뮬레이션과 계산값 비교

나눗셈과 나머지, 최대공약수·유클리드 호제법, 모듈러 연산, 거듭제곱의 나머지, 완성 코드는 gcd·모듈러 거듭제곱 구현과 pow 비교

점화식 세우기, 피보나치와 하노이, 분할 정복 시간의 감각, 메모이제이션, 완성 코드는 점화식 값과 재귀 호출 수 표

정점·간선·차수, 인접 리스트, 경로와 연결 요소, 방향 그래프와 위상 정렬(빌드 순서), 완성 코드는 의존성 그래프 위상 정렬과 순환 감지

트리의 성질(간선 수 = 정점 수 - 1), 루트·깊이, 이진 트리, 신장 트리, 완성 코드는 폴더 구조 트리 출력과 깊이 계산

불 대수와 논리 회로, 유한 상태 기계, 정규 표현식과의 관계, 화면·주문 상태 설계, 완성 코드는 주문 상태 기계와 잘못된 전이 거부

문제를 수학 구조로 바꾸기(집합·그래프·경우의 수), 정리표, 완성 코드는 세 문제(권한 조합·의존성 순서·충돌 확률)를 앞 장 도구로 해결