# Discrete Mathematics

18개의 포스트

트리

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

3일 전
·
0개의 댓글

그래프

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

4일 전
·
0개의 댓글

함수

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

7일 전
·
0개의 댓글

관계

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

2021년 11월 20일
·
0개의 댓글

증명

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

2021년 11월 17일
·
0개의 댓글

집합론

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

2021년 11월 16일
·
0개의 댓글

논리와 명제

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

2021년 11월 15일
·
0개의 댓글

Quantified Statements

TIL 20200914

2020년 9월 14일
·
0개의 댓글

Union & Intersection

TIL 20200903

2020년 9월 3일
·
0개의 댓글

Types of Sets

TIL 20200901

2020년 9월 1일
·
0개의 댓글
post-thumbnail

Introduction to Sets

TIL 20200901

2020년 9월 1일
·
0개의 댓글