목차 일부
저자 머리말 ... 4
워밍업 ... 6
강의 계획표 ... 8
숲과 나무 이야기 ... 10
강의 보조 자료와 관련 서비스 ... 12
Chapter 01 논리와 명제
01 기본 개념 ... 20
02 논리연산자와 진리표 ... 22
부정 ... 22
논리곱 ... 23
논리합 ... 25
배타적 논리...
더보기
목차 전체
저자 머리말 ... 4
워밍업 ... 6
강의 계획표 ... 8
숲과 나무 이야기 ... 10
강의 보조 자료와 관련 서비스 ... 12
Chapter 01 논리와 명제
01 기본 개념 ... 20
02 논리연산자와 진리표 ... 22
부정 ... 22
논리곱 ... 23
논리합 ... 25
배타적 논리합 ... 26
함축 ... 28
쌍조건문 ... 31
명제의 역, 이, 대우 ... 33
03 논리적 동치 ... 35
04 한정기호 ... 41
명제함수 ... 41
한정기호 ... 43
요약 ... 47
연습문제 ... 49
Chapter 02 증명
01 수학적 귀납법 ... 54
02 직접증명법 ... 62
03 간접증명법 ... 64
대우증명법 ... 64
모순증명법 ... 67
반례에 의한 증명법 ... 70
04 재귀법 ... 73
05 프로그램 검증 ... 80
요약 ... 86
연습문제 ... 87
Chapter 03 집합
01 기본 개념 ... 90
02 집합의 연산 ... 96
03 곱집합과 멱집합 ... 114
04 집합의 분할 ... 119
05 퍼지집합 ... 121
요약 ... 125
연습문제 ... 127
Chapter 04 관계
01 기본 개념 ... 132
02 관계의 표현 ... 137
화살도표 ... 137
좌표도표 ... 138
관계행렬 ... 138
방향그래프 ... 139
03 관계의 성질 ... 141
반사관계, 비반사관계 ... 141
대칭관계, 반대칭관계 ... 144
추이관계 ... 148
04 관계의 연산 ... 151
합성관계 ... 151
여러 가지 연산 ... 155
05 관계의 폐포 ... 157
반사폐포 ... 157
대칭폐포 ... 158
추이폐포 ... 159
06 동치관계 ... 162
07 부분순서관계 ... 166
요약 ... 175
연습문제 ... 178
Chapter 05 함수
01 기본 개념 ... 182
02 함수의 성질 ... 189
03 합성함수 ... 194
04 여러 가지 함수 ... 198
요약 ... 208
연습문제 ... 210
Chapter 06 행렬
01 기본 개념 ... 214
02 행렬의 연산 ... 216
03 여러 가지 행렬 ... 223
04 행렬식 ... 226
05 역행렬 ... 230
06 연립일차방정식 ... 233
07 부울행렬 ... 243
요약 ... 246
연습문제 ... 249
Chapter 07 경우의 수
01 기본 개념 ... 254
02 순열과 조합 ... 265
03 이항계수 ... 276
04 비둘기집 원리 ... 282
요약 ... 286
연습문제 ... 288
Chapter 08 그래프
01 기본 개념 ... 292
02 오일러와 해밀턴 순환 ... 305
03 여러 가지 그래프 ... 310
04 그래프의 표현 ... 316
인접행렬 ... 316
인접리스트 ... 317
05 그래프 탐색 ... 319
깊이우선탐색 ... 319
너비우선탐색 ... 321
요약 ... 323
연습문제 ... 325
Chapter 09 트리
01 기본 개념 ... 330
02 이진트리 ... 334
이진트리순회 ... 338
이진탐색트리 ... 342
힙 ... 344
허프만 코드 ... 346
03 신장트리 ... 351
04 최소신장트리 ... 357
프림의 알고리즘 ... 357
크루스칼의 알고리즘 ... 360
요약 ... 362
연습문제 ... 364
Chapter 10 알고리즘
01 기본 개념 ... 370
02 정렬 알고리즘 ... 376
버블정렬 ... 376
선택정렬 ... 381
삽입정렬 ... 385
퀵정렬 ... 389
합병정렬 ... 394
03 탐색 알고리즘 ... 399
선형탐색 ... 399
이진탐색 ... 401
이진탐색트리 ... 403
04 알고리즘 복잡도 ... 405
요약 ... 409
연습문제 ... 411
Chapter 11 부울대수와 논리회로
01 부울대수 ... 414
02 부울함수 ... 419
03 논리게이트 ... 424
AND 게이트 ... 424
OR 게이트 ... 425
NOT 게이트 ... 425
NAND 게이트 ... 426
NOR 게이트 ... 426
XOR 게이트 ... 427
04 논리회로 ... 430
조합회로 ... 430
순서회로 ... 431
05 조합회로의 최소화 ... 433
요약 ... 442
연습문제 ... 444
Chapter 12 형식언어, 문법과 유한상태기계
01 형식언어 ... 448
02 문법 ... 453
03 유한상태기계 ... 461
출력이 있는 유한상태기계 ... 461
출력이 없는 유한상태기계 ... 464
요약 ... 472
연습문제 ... 475
찾아보기 ... 479
더보기 닫기