6개 문서가 "discrete-mathematics" 태그에 분류되었습니다

집합, 함수, 수열, 행렬 등 이산수학의 기초가 되는 주요 구조들의 정의와 성질

부울 대수와 논리 회로의 설계 및 최소화 기법

기초 계수 원리부터 비둘기집 원리, 순열과 조합, 이항 계수 및 생성 알고리즘까지의 조합론 기초

정점과 간선을 이용한 이산 구조의 정의, 성질, 알고리즘 및 응용

문법, 유한 상태 기계, 튜링 기계를 이용한 계산 모델링과 언어 인식의 원리

명제 논리, 술어 논리, 추론 규칙 및 수학적 증명 전략의 체계적 정리