이산수학 · 고급
학습 계획: 추상적인 구조와 증명 기법을 근거로, 알고리즘의 정확성과 한계를 비교하고 복잡한 문제를 단순화하는 방법을 다룹니다. 예정 주제: 불변식과 정확성 증명, 이산 구조의 모델링, 계수와 점근적 분석. 글은 검수 후 순차적으로 추가합니다.
단계별 학습 목표
각 단계의 학습 목표입니다. 공개된 글은 위의 단계별 링크에서 바로 볼 수 있습니다.
초급 목표
명제와 집합 및 함수의 기본 표현을 익혀, 조건과 관계를 수학적으로 설명하고 간단한 논리를 점검하는 방법을 다룹니다.
학습 주제
- 명제와 논리 연산
- 집합과 함수
- 관계와 기본 증명
중급 목표
경우의 수와 그래프 및 점화식을 활용하여, 알고리즘 문제의 조건을 모델링하고 풀이 근거를 설명하는 방법을 다룹니다.
학습 주제
- 조합과 경우의 수
- 그래프와 연결 관계
- 귀납법과 점화식
고급 목표
추상적인 구조와 증명 기법을 근거로, 알고리즘의 정확성과 한계를 비교하고 복잡한 문제를 단순화하는 방법을 다룹니다.
학습 주제
- 불변식과 정확성 증명
- 이산 구조의 모델링
- 계수와 점근적 분석
총 0개의 글
고급 학습 글 준비 중
이 단계의 공개 글은 아직 없습니다. 아래 목표를 기준으로 내용을 채워 나갈 예정입니다.
추상적인 구조와 증명 기법을 근거로, 알고리즘의 정확성과 한계를 비교하고 복잡한 문제를 단순화하는 방법을 다룹니다.
예정 주제
- 불변식과 정확성 증명
- 이산 구조의 모델링
- 계수와 점근적 분석