이산수학: 공학과 수학의 만남

제0장 시작하며
0.1 디지털 시스템과의 약속
0.2 약속을 활용한 스위치 만들기

제1장 수의 체계와 집합
1.1 수의 세계
1.2 집합
제1장 핵심문제
제1장 연습문제

제2장 관계와 함수
2.1 관계
2.2 함수
제2장 핵심문제
제2장 연습문제

제3장 그래프 이론
3.1 그래프
3.2 여러 가지 그래프
3.3 그래프 응용
3.4 그래프의 표현
3.5 그래프의 탐색
제3장 핵심문제
제3장 연습문제

제4장 트리의 구조와 응용
4.1 트리
4.2 트리의 응용
4.3 신장트리(생성트리)
제4장 핵심문제
제4장 연습문제

제5장 행렬과 행렬식
5.1 행렬
5.2 행렬식
5.3 행렬을 이용한 그래프 문제 해결
제5장 핵심문제
제5장 연습문제

제6장 헤아림 문제와 행렬의 응용
6.1 합의 법칙과 곱의 법칙
6.2 순열과 조합
6.3 행렬을 이용한 연립일차방정식의 해법
6.4 부울 행렬
제6장 핵심문제
제6장 연습문제

제7장 명제와 논리구조
7.1 명제와 논리
7.2 조건명제, 항진명제, 모순명제
7.3 명제의 추론 및 논리적 함축
제7장 핵심문제
제7장 연습문제

제8장 부울대수
8.1 기본 정의
8.2 논리회로
8.3 표준 분리형과 부울식의 최소화
제8장 핵심문제
제8장 연습문제

제9장 형식언어와 유한상태기계
9.1 형식언어
9.2 유한상태기계
제9장 핵심문제
제9장 연습문제

제10장 알고리즘
10.1 알고리즘과 의사코드
10.2 알고리즘의 시간복잡도 분석
10.3 알고리즘의 예
제10장 핵심문제
제10장 연습문제

신정훈 대구가톨릭대학교