홈 > 강의목록
이산수학
신흥철 교수님 KAIST 대학원 전산학부 박사졸업
강의 신청하기 | 총 합계금액 : 150,000원 |
제목 | 강의시간 | 상세내용 |
---|---|---|
1장. 명제와 논리 | ||
[1강] 명제
|
0 :
23 :
04
|
|
명제의 정의, 논리 연산자, 합성명제 | ||
[2강] 명제. 논리적 동치
|
0 :
38 :
53
|
|
함축, 역, 이, 대우, 명제와 논리적 동치, 논리적 동치 법칙 | ||
[3강] 변수를 포함한 명제와 한정자. 논리
|
0 :
32 :
38
|
|
명제함수, 한정자, 논리와 추론, 정당한 추론(유효 추론), 논리적 추론 법칙 | ||
2장. 증명 | ||
[4강] 증명
|
0 :
38 :
05
|
|
증명의 정의, 직접증명법, 간접증명법, 수학적 귀납법 | ||
3장. 집합 | ||
[5강] 집합의 개념 및 종류
|
0 :
42 :
22
|
|
집합, 표기방식, 집합과 원소의 포함관계, 기수, 유한집합, 무한집합, 상등, 전체집합, 공집합, 부분집합, 진부분집합, 집합 간 포함관계 정리 | ||
[6강] 집합의 연산
|
0 :
39 :
52
|
|
합집합과 교집합, 서로소, 합집합과 교집합의 기수, 차집합, 대칭차집합, 여집합 또는 보집합, 곱집합, 멱집합 | ||
[7강] 집합의 대수법칙과 분할
|
0 :
42 :
03
|
|
집합의 대수법칙, 집합의 분할 | ||
4장. 수의 표현 | ||
[8강] 수와 그 성질. 수 체계
|
0 :
47 :
38
|
|
수의 종류, 수의 연산, 수 체계별 사칙연산, 수 체계의 변환 | ||
[9강] 보수의 표현 및 연산
|
0 :
59 :
52
|
|
컴퓨터에서의 데이터 표현, 보수 표현을 사용하는 이유, 보수의 10진수 변환, 보수의 연산 | ||
[10강] 수의 표현 요약
|
0 :
17 :
51
|
|
수 체계의 변환, 보수의 연산, 보수의 10진수 변환 | ||
5장. 행렬 | ||
[11강] 행렬의 개념. 연산. 종류. 행렬식
|
1 :
08 :
32
|
|
행렬의 개념, 행렬의 덧셈과 뺄셈 연산, 행렬의 스칼라 곱 연산, 행렬의 곱 연산, 행렬 연산의 성질, 영행렬, 대각행렬, 전치행렬, 대칭행렬, 부울행렬, 행렬식 | ||
[12강] 역행렬. 연립 1차 방정식
|
0 :
30 :
10
|
|
역행렬, 가우스 소거법, 가우스 조르단 소거법 | ||
6장. 관계 | ||
[13강] 관계의 개념. 표현. 성질
|
0 :
40 :
59
|
|
관계의 정의 및 유형, 화살표 선도·좌표도표·관계행렬·방향그래프를 이용한 관계 표현 방법, 반사 성질·대칭 성질·추이 성질에 따른 관계의 유형 | ||
[14강] 합성관계
|
0 :
51 :
21
|
|
합성관계의 정의·표기·연산 | ||
[15강] 관계의 폐포. 동치관계
|
0 :
54 :
05
|
|
폐포, 반사폐포, 대칭폐포, 추이폐포, 연결관계, 동치관계, 동치류 | ||
[16강] 부분순서관계
|
0 :
35 :
22
|
|
부분순서, 비교가능/불가능, 완전순서, 하세도표(Hasse Diagram) 그리는 규칙, 극대원소, 극소원소, 최대원소, 최소원소 | ||
7장. 함수 | ||
[17강] 함수의 개념 및 성질에 따른 분류
|
0 :
39 :
58
|
|
함수의 정의, 함수와 관계, 함수의 상, 정의역, 공변역, 치역, 함수의 연산(합과 곱), 단사함수, 전사함수, 전단사함수 | ||
[18강] 합성함수
|
0 :
37 :
32
|
|
합성함수의 정의, 합성함수의 정의역과 공변역, 합성함수의 연산, 합성함수의 성질 | ||
[19강] 함수의 종류
|
0 :
36 :
26
|
|
항등함수, 역함수, 상수함수, 특성함수, 바닥함수와 천정함수 | ||
8장. 그래프 | ||
[20강] 그래프 개념
|
0 :
31 :
09
|
|
그래프의 정의, 다중 그래프, 방향 그래프, 가중치 그래프, 차수 | ||
[21강] 그래프의 종류
|
0 :
41 :
16
|
|
부분 그래프와 부분신장 그래프, 동형 그래프, 평면 그래프, 연결 그래프, 완전 그래프, 정규 그래프, 이분 그래프와 완전이분 그래프 | ||
[22강] 오일러와 해밀턴
|
0 :
32 :
14
|
|
오일러의 정의, 해밀턴의 정의 | ||
[23강] 그래프의 표현 및 활용
|
0 :
41 :
48
|
|
인접행렬, 인접리스트, 최단경로 문제, 깊이 우선 탐색, 너비 우선 탐색 | ||
9장. 트리 | ||
[24강] 트리의 개념
|
0 :
22 :
09
|
|
트리, 서브트리, 트리관련용어 | ||
[25강] 이진 트리. 이진 탐색 트리
|
0 :
50 :
58
|
|
이진 트리의 정의, 이진 트리의 최대 노드 수, 이진 트리의 구현, 이진 트리의 순회, 이진 탐색 트리의 정의 | ||
[26강] 트리의 활용
|
0 :
39 :
57
|
|
최소 신장 트리, 허프만 코드 | ||
10장. 순열, 조합, 확률 | ||
[27강] 합의 법칙과 곱의 법칙. 순열
|
0 :
35 :
01
|
|
합의 법칙과 곱의 법칙의 정의, 순열의 정의, 중복순열, 같은 원소를 포함하는 순열 | ||
[28강] 조합. 이항계수
|
1 :
06 :
39
|
|
조합의 정의, 중복조합, 이항정리, 파스칼의 삼각형 | ||
[29강] 확률
|
0 :
44 :
27
|
|
확률의 정의, 확률의 덧셈정리, 확률의 곱셈정리 | ||
[30강] 확률분포
|
0 :
29 :
55
|
|
확률분포의 정의, 확률변수의 평균, 확률변수의 분산과 표준편차 | ||
[31강] 점화관계
|
0 :
32 :
25
|
|
점화관계, Fibonacci 수열, Hanoi탑 | ||
11장. 부울대수와 논리게이트 | ||
[32강] 부울대수와 부울함수의 표현
|
0 :
47 :
14
|
|
부울연산, 부울대수법칙, 최소항, 정규식 | ||
[33강] 정규식의 간략화. 논리게이트
|
0 :
35 :
30
|
|
부울대수법칙을 이용한 간략화, 카르노맵을 이용한 간략화, 논리게이트 | ||
12장. 알고리즘 | ||
[34강] 알고리즘의 개념 및 효율성
|
0 :
32 :
46
|
|
알고리즘의 정의, 복잡도 | ||
[35강] 다양한 알고리즘 (1)
|
0 :
38 :
56
|
|
유클리드 알고리즘, 재귀 알고리즘 | ||
[36강] 다양한 알고리즘 (2)
|
0 :
46 :
38
|
|
탐색 알고리즘 | ||
[37강] 다양한 알고리즘 (3)
|
1 :
20 :
01
|
|
정렬 알고리즘 | ||
13장. 그룹과 정보전송 | ||
[38강] 준그룹과 그룹
|
0 :
40 :
06
|
|
집합 A위에서의 이진 연산, 준그룹, 항등원, 모노이드, 그룹, 가환그룹, 부분그룹 | ||
[39강] 그룹의 곱과 몫
|
0 :
43 :
40
|
|
그룹의 곱과 몫, 정규 부분그룹 | ||
[40강] 2진 정보의 전송
|
0 :
49 :
43
|
|
(전송)메세지, 코드화 함수, Hamming거리, 코드화 함수의 최소 거리, Hamming 코드 | ||
14장. 형식 언어와 오토마타 | ||
[41강] 형식 언어. 문법과 의미
|
0 :
43 :
49
|
|
알파벳, 문자열의 길이, 문자열의 접속, 공문자열, 문자열 집합, 언어, 문법, 유도, 축약, 문자형태, 문장, 문법의 계층구조 | ||
[42강] 문법의 표기법. 정규 표현과 유한 오토마타
|
0 :
44 :
56
|
|
BNF, EBNF, 구문도표, 정규표현, 정규 표현의 대수학적 성질, 유한 오토마타, 상태 전이도 |
오늘 팝업 보이지 않기 | 닫기 |