Hootix Academy

이산수학 전문가 Certification

논리, 구조, 계산의 수학

Key facts

About the 이산수학 전문가 certification

이산수학의 전문가 수준 자격증 — 컴퓨터 과학, 암호학, 네트워크, 형식 추론의 밑바탕이 되는 엄밀한 토대입니다. 명제 논리와 술어 논리(연결사, 진리표, 논리적 동치, 한정자, 추론 규칙 포함), 주요 증명 기법(직접 증명, 대우 증명, 귀류법, 일반 수학적 귀납법 및 강한 수학적 귀납법), 집합론(연산, 멱집합, 데카르트 곱, 집합의 크기와 가산/불가산 구분), 함수와 관계(단사/전사/전단사 함수, 동치 관계와 분할, 부분 순서와 하세 다이어그램), 조합론(합의 법칙과 곱의 법칙, 순열과 조합, 비둘기집 원리, 포함-배제 원리, 이항 계수, 생성 함수 입문), 점화식과 선형 점화식 풀이, 마스터 정리 입문, 수론(모듈러 산술, 유클리드 호제법을 이용한 최대공약수, 소수, 합동, RSA의 기본 원리), 그래프 이론(용어, 경로와 순환, 연결성, 트리와 신장 트리, 오일러 회로와 해밀턴 회로, 평면성, 그래프 색칠, 동형과 최단 경로), 부울 대수와 논리 회로, 그리고 빅-O 표기법을 이용한 알고리즘 분석과 P 대 NP, 유한 오토마타, 형식 언어를 포함한 복잡도 클래스 입문까지 모두 다룹니다. 모든 주제는 단계별 풀이 예제, 다이어그램, 그리고 솔직한 설명으로 가르치므로, 수료 후에는 엄밀한 논증을 읽고, 쓰고, 검증할 수 있는 능력 — 즉 전문적인 컴퓨터 과학과 수학의 실용 언어를 갖추게 됩니다.

What you will learn

The official 이산수학 전문가 study course covers:

  1. 논리와 증명 — 명제, 연결사, 한정자와 논증을 타당하게 만드는 추론 규칙에 대해 다룹니다.
  2. 증명 방법 — 직접 증명, 대우 증명과 귀류법, 그리고 일반 및 강한 귀납법에 대해 다룹니다.
  3. 집합, 함수와 관계 — 집합 연산과 농도, 세 가지 함수 유형, 동치 관계와 순서에 대해 다룹니다.
  4. 조합론 — 계수 원리, 순열과 조합, 비둘기집 원리, 포함-배제 원리와 이항정리에 대해 다룹니다.
  5. 정수론과 점화식 — 모듈러 연산, 유클리드 알고리즘, 소수와 RSA, 그리고 점화식 풀이에 대해 다룹니다.
  6. 그래프, 논리 회로와 계산 — 그래프 이론과 신장 트리, 부울 대수와 회로, Big-O와 P vs NP 문제에 대해 다룹니다.
  7. 실습 랩 — 논리, 조합 및 그래프 — Google Colab에서 진행하는 이산수학 캡스톤: 진리표를 만들고 논리적 동치를 검증하며, 순열과 조합으로 계산하고, 모듈러 연산과 점화식을 다루며, 그래프를 탐색하고 색칠합니다. 순수 Python으로, 무료로 실행할 수 있습니다.

Prerequisites

Frequently asked questions

Is the 이산수학 전문가 certificate verifiable?
Yes. Every issued Hootix Academy certificate carries a unique credential code that anyone can verify online.
How is the 이산수학 전문가 exam structured?
It is a 140-minute ID-verified multiple-choice exam of 88 questions; you need 75% to pass.
Do I need to buy the course to take the exam?
Each certification is sold three ways: the exam on its own, the online course on its own, or both together as a Course + exam bundle (the bundle price is the course price plus the exam price).
How long does the 이산수학 전문가 course take?
About 32 hours of self-paced study.

Related certifications