Descrete Mathematics

수학적 모델링문제를 해결하기 위해 수학적 구조에 매핑시켜 체계적으로 해결하는 방법론1\. 주어진 문제의 상황과 배경2\. 문제와 수학저 구조와의 매핑3\. 수학적 기초 개념을 이용한 문제 해결명제 논리(prpositional logic): 주어와 술어를 구분하지 않고

수학적 성질을 가지는 객체들의 모임집합은 정확하게 정의되어야 하며, 어떤 객체가 그 집합에 속하는지 아닌지를 분명히 구분할 수 있어야 한다.중복되는 원소가 없어야 한다.원소 나열법집합의 원소들을 { } 사이에 하나씩 나열하는 방법의미가 명확한 경우 모든 원소를 나열하는

논리적 법칙을 이용하여 주어진 가정으로부터 결론을 유도해내는 추론의 한 방법어떠한 명제나 논증이 적절하고 타당한지를 입증하는 작업이다.연역법(deduction): 주어진 사실들과 공리(axioms)들에 입각하여 추론(inference)을 통해 새로운 사실을 도출하는 것

관계 집합에서의 원소들 간의 순서를 고려한 것, 관계는 곱집합의 임의의 부분집합. 이항관계(binary relation): 두 집합 A,B에 대하여, A로부터 B로의 이항 관계 R은두집합의 곱집합 A*B의 원소인 순서쌍 (a,b)가 주어졌을 때 (a,b)∈R과 aRb는

함수 관계의 특수한 형태 첫번째 원소가 같지 않은 순서쌍들의 집합 두집합 X와 Y에서 함수 f는 집합 x에서 y로의 관계의 부분집합으로서 집합 x에 있는 모든 원소 x가 집합 Y에 있는 원ㅅ와 하나씩만 대응하는 관계 f:X->Y X를 함수 f의 정의역 이라 하고 Y를

그래프G=(V,E)는 유한한 개수의 정점(vertex) 또는 노드들의 집합인 V와 연결선(edge)이라고 불리는 정점들의 쌍들의 집합인 E로 이루어진다.방향 그래프(directed graph, digraph)정점 v에서 w로 가는 아크는 v -> w 로 표시한다v를 w

tree하나 이상의 노드로 구성된 유한 집합.특별히 지정된 노드인 루트가 있다.나머지 노드들은 다시 각각 트링면서 연결되지 않느 $T_1, T_2,... , T_n$으로 나누어진다.($N \\geq 0$) 이때 T들을 루트의 서브트리 라고 한다.n개의 노드를 가진 트리

rule of sum두 사건 A,B ($A \\cap B \\neq 0$) 가 일어날 경우의 수를n(A)=mn(B)=n이라고 하면A 또는 B가 일어날 경우의 수는 m+n 이다.n($A \\cup B$)=n(A)+n(B)=m+nrule of product두 사건 A,B

수 또는 문자를 배열의 형태로 나타낸 것$A=a\_{ij}$, i=행, j=열 $a\_{ij}$를 ij-항(ij-entry), ij-성분(component) 라고 부른다.행렬의 각 행은 가로의 n 순서쌍으로 볼 수 있고 행 벡터(row vector)라 한다.각 열은 세