컴퓨터수학1
1.Chapter 1.1 명제논리
논리(Logic) QUESTION 수학적 진술의 의미를 정확히 표현하려면? ANSWER 논리 규칙을 사용 논리 규칙 (The rules of logic) 논리규칙들을 사용하여 수학적 논증이 정당한지, 정당하지 않은지를 구분 The rules of logi
2.Chapter 1.2 명제의 동치
.png)
복합명제(Compound Propositions) QUESTION 주어진 복합 명제를 보다 간소화하거나 해결하기 쉬운 형태로 만들려면? ANSWER 하나의 명제 표현을 동일한 진리 값을 갖는 다른 명제 표현으로 대체 복합명제(Compound Propositions) p ∧ q 같이 명제변수로부터 논리 연산자들을 사용하여 만든 논리식 가능한 ...
3.Chapter 1.3 술어와 한정기호
술어(Predicate), 명제 함수(Propositional Function) Q(x, y) = "x = y + 3" R(x, y, z) = "x + y = z" 일반적으로 n개의 변수 $x1, x2, x3, ⋯, xn$을 포함하는 명제 함수는 $P(x1, x2, x3, ⋯, xn)$ 으로 표기한다. $P(x1, x2, x3, ⋯, xn)...
4.Chapter 1.4 중첩된 한정기호
.png)
소개 Chapter 1.3에서는 $∀x∃y(x + y = 0)$와 같은 하나의 한정기호 범위안에 다른 한정기호가 나타나는 중첩된 한정기호는 피했었다. But 이번 Chapter 1.4에서는 위와 같은 것을 알아볼 것이다. 어떤 한정기호 범위 안의 모든 것은 명제함
5.Chapter 2.1 함수
함수의 정의 대수학에서 이미 익숙하다시피, x∈R인 각각의 수 x를 y∈R인 특정한 값 y=f(x)로 할당하는 함수 f로 이해할 수 있다. 단, 함수의 개념은 실수 집합뿐만 아니라 임의의 집합들을 대상으로 일반화시킬 수 있음. 정의: A와 B를 집합이라 하자. 임의의
6.Chapter 3.1 알고리즘
About 알고리즘
7.Chapter 3.2 함수의 증가
Growth of Functions
8.Chapter 3.3 알고리즘 복잡도
What is Algorithm Complexity? 문제계산(computation)이 얼마나 어려운가를 나타내는 측정치이다. 계산을 위한 비용에 대한 측정치이다. 일반적인 복잡도 측정: 시간 복잡도: # 필요한 연산 or 단계들 공간 복잡도: # 필요한 메모