이산수학
- 가톨릭대학교
- 노상욱
페이스북
트위터
카카오톡
네이버밴드
링크복사
-
- 주제분류
- 공학 >컴퓨터ㆍ통신 >컴퓨터공학
-
- 강의학기
- 2019년 2학기
-
- 조회수
- 12,101
-
- 평점
- 4/5.0 (2)
- 강의계획서
- 강의계획서
컴퓨터 과학에서 이산 수학의 기본 개념을 이해하고 C 또는 C ++ 프로그래밍 언어를 사용하여 코딩
- 수강안내 및 수강신청
- ※ 수강확인증 발급을 위해서는 수강신청이 필요합니다
Sets and subsets
차시별 강의
| 1. | |
Sets and subsets | 집합과 부분집합의 정의 |  |
|
Operations on sets | 집합과 집합 연산자 | |
|
|
Regular expression | 집합과 집합 연산자 | |
|
| 2. | |
Properties of intergers 1 | 정수의 속성 | |
|
Properties of intergers 2 | 소수와 최대공약수 알고리즘 | |
|
| 3. | |
Propositions and logical operations | 논리의 정의 및 논리 연산자 | |
|
Propositional logic | 명제논리의 구문론과 의미론 | |
|
|
Inference rules | 항진명제와 추론규칙 | |
|
| 4. | |
Methods of proof | 예제를 통한 논리적 증명방법의 이해 | |
| 5. | |
Mathematical induction | 수학적 귀납법 | |
|
Counting technique | 순열 및 조합 | |
|
|
Pigeonhole principle | 비둘기집 원리 | |
|
| 6. | |
Recurrence relations | 재귀적 관계에 대한 일반식 | |
| 7. | |
Product sets and relation | 곱집합과 관계의 정의 | |
| 8. | |
Properties of relations 1 | 관계에 대한 속성 | |
|
Properties of relations 2 | 관계에 대한 속성의 예제 | |
|
| 9. | |
Closures | 폐포와 전이성폐포를 위한 알고리즘 | |
| 10. | |
Functions | 함수의 정의, 차수 및 복잡도 | |
|
Growth of functions | 함수의 차수 및 복잡도 | |
|
| 11. | |
Partially ordered sets and Boolean algebra | 부분순서 관계와 디지털 논리 회로 | |
| 12. | |
Trees 1 | 트리의 정의 및 표현 | |
|
Trees 2 | 트리 탐색: 노드의 방문순서 | |
|
|
Trees 3 | spanning tree | |
|
|
Trees 4 | minimal spanning tree | |
연관 자료
