이산수학 · 고급
이산수학 고급 단계에 공개된 학습 글입니다. 단계별 목표를 참고해 필요한 글부터 읽어 보세요.
단계별 학습 목표
각 단계의 학습 목표입니다. 공개된 글은 위의 단계별 링크에서 바로 볼 수 있습니다.
초급 목표
명제와 집합 및 함수의 기본 표현을 익혀, 조건과 관계를 수학적으로 설명하고 간단한 논리를 점검하는 방법을 다룹니다.
학습 주제
- 명제와 논리 연산
- 집합과 함수
- 관계와 기본 증명
중급 목표
경우의 수와 그래프 및 점화식을 활용하여, 알고리즘 문제의 조건을 모델링하고 풀이 근거를 설명하는 방법을 다룹니다.
학습 주제
- 조합과 경우의 수
- 그래프와 연결 관계
- 귀납법과 점화식
고급 목표
추상적인 구조와 증명 기법을 근거로, 알고리즘의 정확성과 한계를 비교하고 복잡한 문제를 단순화하는 방법을 다룹니다.
학습 주제
- 불변식과 정확성 증명
- 이산 구조의 모델링
- 계수와 점근적 분석
단계 안에서는 학습 순서대로 표시합니다. 선택 참고는 필수 진도에 포함하지 않습니다.
고급 2개
학습 11 / 12 · 필수 학습
정수론 RSA 쉽게 이해하기: 유클리드 호제법과 합동식 기준학습 12 / 12 · 필수 학습
오토마타 이론 쉽게 이해하기: DFA NFA와 형식 문법 기준
이 단계의 학습 글은 준비 중입니다.
