컴퓨터과학을 위한 필수 이산수학

HarryLewis

출간작으로『컴퓨터과학을위한필수이산수학』등이있다.

1.비둘기집원리
2.기본증명기법
3.수학적귀납법에의한증명
4.강력한귀납법
5.집합
6.관계및함수
7.가산집합과비가산집합
8.구조적귀납법
9.명제논리
10.정규형태
11.논리와컴퓨터
12.양화논리
13.유향그래프
14.유향그래프와관계
15.상태및불변량
16.무향그래프
17.연결성
18.착색
19.유한오토마타
20.정규언어
21.차수표기법
22.카운팅(셈)
23.부분집합계산
24.급수
25.점화식
26.확률
27.조건부확률
28.베이즈정리
29.확률변수의기댓값
30.모듈러연산
31.공개키암호
찾아보기