factoryStory

기본개념이항관계 : 두 집합 A,B에 대하여 A에서 B로의 이항관계binary relation는 A∗B의 부분집합이다.정의역 / 치역 : 관계 R의 순서쌍에서 모든 첫 번째 원소의 집합을 정의역domain이라고 하고 모든 두 번째 원소의 집합을 치역range이라고 하며, 각각 dom(R),ran(R)로 나타낸다.집합 A1,A2,…,An에 대한 n항 관계n−ary relation는 A1∗A2∗…∗An의 부분집합이다.역관계 : 집합 A에서 집합 B로 관계 R에 대한 역관계inverse relation는 R−1로 나타내며, 다음과 같이 정의한다.관계의 표현화살도표 : 두 집합 A,B가 있을 때 집합 A의 원소 a와 집합 B의 원소 b 사이에 관계가 성립하는 경우 그 관계를 화살표로 그려서 나타내는 방법좌표도표..

기본 개념집합 : 내용 규정이 명확한 대상의 모임원소 : 그 집합의 대상.전체집합 : 일정한 모임 전체의 원소를 포함하는 집합. U로 나타냄.공집합 : 하나의 원소도 포함하고 있지 않은 집합. { } 또는 ∅으로 나타냄.상등 : 두 집합 A와 B의 원소가 동일할 때 두 집합 A와 B는 서로 같다 또는 상등이라고 함. A=B로 나타냄.부분집합 : A와 B가 집합이고 A의 모든 원소가 B에 포함될 때 A를 B의 부분집합이라고 함. A⊆B로 나타낸다. 또한 A가 B의 부분집합이지만 A와 B가 같지 않다면 A를 B의 진부분집합이라고 하고, A⊂B로 나타낸다.기수 : 집합 A가 n개의 원소를 갖는 유한집합일 때 n을 A의 기수라고 하며, ∣A∣로 나타낸다.집합의 연산여집합 : 전체집합 U의 부분집합 A에 대하여 ..

2과 : 증명정리(theorem)란 참으로 확인된 명제를 말함. 하나의 명제를 참으로 확정하는 과정을 증명(proof)이라고 함.수학적 귀납법제1 수학적 귀납법제2 수학적 귀납법직접증명법명제의 함축 p→q가 참이 됨을 증명하는 방법.간접증명법대우증명법 : 증명하고자 하는 명제의 대우명제를 이용하는 방법모순증명법 : 주어진 명제를 부정한 뒤 그 식을 전개할 때 결론이 모순임을 보여 명제가 참임을 증명하는 방법반려에 의한 증명법 : 주어진 명제에 모순이 되는 간단한 예를 하나 보임으로써 명제를 증명하는 방법재귀법재귀법 : 하나의 문제를 그보다 작은 갑스을 가지는 동일한 문제로 계속 단순화시켜 해결하는 방법재귀 알고리즘 : 재귀법을 이용한 프로그램 알고리즘예제 : 하노이 탑Algorithm hanoi(from..

1과 : 논리와 명제기본 개념수학적 논리를 통해 명제의 개념을 파악한다.명제의 참과 거짓을 판별한다명제 : 참 또는 거짓을 명확히 구분할 수 있는 문장이나 수식진리값 : 명제에서 참 또는 거짓으로 나타내는 값논리연산자와 진리표다양한 논리연산자를 익힌다.진리표를 통해 명제의 진리값을 구한다.부정 : 문장 p가 명제일 때 not p도 명제다. 이를 명제 p의 Negation이라고 하며, ¬p또는 ~p로 나타낸다.논리곱 : 문장 p와 q가 명제일 때 p and q도 명제다. p∧q로 나타낸다.논리합 : 문장 p와 q가 명제일 때 p or q도 명제다. p∨q로 나타낸다.XOR : 문장 p와 q가 명제일 때 p XOR q도 명제다. p⊕q로 나타낸다.함축 : 문장 p와 q가 명제일 때 p implies q도 명..

#include int main(void) { printf("Hello World\n"); return 0;}

🎞 COMMENT "진짜 좋아요, 진짜로" ───────────────────────── 🎧 LIST 00:00 당신은 누구시길래 - EP, 여정 04:19 둘이 - EP, 둘이 07:46 사랑 - EP, 둘이 11:19 우리만은 - EP, 우리만은 15:16 숲 - EP, 유영 19:04 생각을 멈추다 보면 - EP, 생각을 멈추다 보면 22:20 살아간다 - EP, 여정 26:03 흔적 - EP, 여운 29:54 바다 - Single, 유영 34:16 잘 지내자, 우리 - Single, 잘 지내자, 우리 38:32 동그라미 - EP, 동그라미 43:26 Promise - '눈물의 여왕' OST Part.9 47:22 오랜만이야 - Single 52:16 밤, 바다 - '여행:플리' OST Part..