# Discrete Mathematics

24개의 포스트
post-thumbnail

쉽게 이해하는 단사 함수, 전사 함수, 전단사 함수

수요와 공급의 비유를 통해 단사 함수, 전사 함수, 전단사 함수의 의미를 살펴봅니다

2022년 3월 31일
·
0개의 댓글
post-thumbnail

쉽게 이해하는 간접 증명(귀류법)

직접 증명과의 비교 및 구체적인 예시를 통해 간접증명을 쉽게 이해해봅시다

2022년 3월 24일
·
0개의 댓글
post-thumbnail

쉽게 이해하는 건설적 증명과 비건설적 증명

이산수학에서 헷갈릴 수 있는 개념인 건설적 증명과 비건설적 증명에 대해 구체적 예시와 함께 설명합니다.

2022년 3월 24일
·
0개의 댓글

행렬

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

2021년 12월 13일
·
0개의 댓글

순열, 이산적 확률, 재귀적 관계

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

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

트리

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

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

그래프

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

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

함수

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

2021년 11월 22일
·
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개의 댓글