Chapter 1. 논리와 명제
01. 기본 개념
02. 논리 연산자와 진리표
03. 논리적 동치
04. 한정기호
요약
연습문제
Chapter 2. 증명
01. 수학적 귀납법
02. 직접증명법
03. 간접증명법
04. 재귀법
05. 프로그램 검증
요약
연습문제
Chapter 3. 집합
01. 기본 개념
02. 집합의 연산
03. 곱집합과 멱집합
04. 집합의 분할
05. 퍼지집합
요약
연습문제
Chapter 4. 관계
01. 기본 개념
02. 관계의 표현
03. 관계의 성질
04. 관계의 연산
05. 관계의 폐포
06. 동치관계
07. 부분순서관계
요약
연습문제
Chapter 5. 함수
01. 기본 개념
02. 함수의 성질
03. 합성함수
04. 여러 가지 함수
요약
연습문제
Chapter 6. 행렬
01. 기본 개념
02. 행렬의 연산
03. 여러 가지 행렬
04. 행렬식
05. 역행렬
06. 연립일차방정식
07. 부울행렬
요약
연습문제
Chapter 7. 경우의 수
01. 기본 개념
02. 순열과 조합
03. 이항계수
04. 비둘기집 원리
요약
연습문제
Chapter 8. 그래프
01. 기본 개념
02. 오일러와 해밀턴 순환
03. 여러 가지 그래프
04. 그래프의 표현
05. 그래프 탐색
요약
연습문제
Chapter 9. 트리
01. 기본 개념
02. 이진트리
03. 신장트리
04. 최소신장트리
요약
연습문제
Chapter 10. 알고리즘
01. 기본 개념
02. 정렬 알고리즘
03. 탐색 알고리즘
04. 알고리즘 복잡도
요약
연습문제
Chapter 11. 부울대수와 논리회로
01. 부울대수
02. 부울함수
03. 논리 게이트
04. 논리회로
05. 조합회로의 최소화
요약
연습문제
Chapter 12. 형식언어, 문법과 유한상태기계
01. 형식언어
02. 문법
03. 유한상태기계
요약
연습문제
01. 기본 개념
02. 논리 연산자와 진리표
03. 논리적 동치
04. 한정기호
요약
연습문제
Chapter 2. 증명
01. 수학적 귀납법
02. 직접증명법
03. 간접증명법
04. 재귀법
05. 프로그램 검증
요약
연습문제
Chapter 3. 집합
01. 기본 개념
02. 집합의 연산
03. 곱집합과 멱집합
04. 집합의 분할
05. 퍼지집합
요약
연습문제
Chapter 4. 관계
01. 기본 개념
02. 관계의 표현
03. 관계의 성질
04. 관계의 연산
05. 관계의 폐포
06. 동치관계
07. 부분순서관계
요약
연습문제
Chapter 5. 함수
01. 기본 개념
02. 함수의 성질
03. 합성함수
04. 여러 가지 함수
요약
연습문제
Chapter 6. 행렬
01. 기본 개념
02. 행렬의 연산
03. 여러 가지 행렬
04. 행렬식
05. 역행렬
06. 연립일차방정식
07. 부울행렬
요약
연습문제
Chapter 7. 경우의 수
01. 기본 개념
02. 순열과 조합
03. 이항계수
04. 비둘기집 원리
요약
연습문제
Chapter 8. 그래프
01. 기본 개념
02. 오일러와 해밀턴 순환
03. 여러 가지 그래프
04. 그래프의 표현
05. 그래프 탐색
요약
연습문제
Chapter 9. 트리
01. 기본 개념
02. 이진트리
03. 신장트리
04. 최소신장트리
요약
연습문제
Chapter 10. 알고리즘
01. 기본 개념
02. 정렬 알고리즘
03. 탐색 알고리즘
04. 알고리즘 복잡도
요약
연습문제
Chapter 11. 부울대수와 논리회로
01. 부울대수
02. 부울함수
03. 논리 게이트
04. 논리회로
05. 조합회로의 최소화
요약
연습문제
Chapter 12. 형식언어, 문법과 유한상태기계
01. 형식언어
02. 문법
03. 유한상태기계
요약
연습문제