컴퓨터 탐험가 찰리

1. 개요 컴퓨터 공학적 알고리즘 보다는 수학적 알고리즘의 의미를 학습한다. 알고리즘 문제를 해결하기 위한 방법을 순차적으로 나열한 것 알고리즘의 특징 입력 : 입력값을 가진다. 출력 : 출력값을 가진다. 유한성(finiteness) : 유한 시간 내에 종료되어야 한다. 정확성(precision) : 각각의 중간과정은 명확하게 서술되어야 한다. 일반성(generality) : 여러 입력값에 대해 적용 가능해야 한다. 알고리즘 분석 기준 정확도 : 값이 얼마나 정확한가 코드 복잡도 : 코드가 인간이 보기에 얼마나 복잡한가 공간 복잡도 : RAM, 하드디스크 등의 하드웨어를 얼마나 사용하는가 시간 복잡도 : 주어진 입력자료에 대해 실행시간이 얼마나 긴 가 정확도와 시간 복잡도가 가장 객관적이고 중요할 수 있..

1. 함수 정의 집합 A, B에 대하여 모든 집합 A의 원소에 대하여 집합 B의 원소가 하나씩 대응될 때 A에서 B로 가는 함수 f라고 한다. f: A -> B 라고 표기한다. 정의역 : f가 정의된 집합 A 공역 : B 치역 : { b | ∃ a ∈ A, f(a) = b} 함수 종류 일대일 함수(단사 함수) : 정의역의 모든 원소들이 서로 다른 공역의 원소와 대응하는 함수 전사 함수 : 공역과 치역이 일치하는 함수 일대일 대응함수(전단사함수) : 일대일 함수 중에서 공역과 치역이 일치하는 함수 2. 수열 함수 중에서 정의역이 자연수의 부분집합인 함수 3. 관계 두 집합 또는 집합의 원소간 관계를 다룬다. 여기서 특히 cartesian product 같은 경우에는 sql문에서도 나오는 개념이다. 순서쌍과..

1. 집합 여러 원소들의 모임이다. 중복된 원소를 갖지 않는다. 순서를 갖지 않는다. 원소 나열법 : A = {1, 2, 3} / 조건제시법 : A = {x | 0 q의 진리값은 p가 거짓일 경우 항상 참이고, p가 참일 경우 q의 진리값과 일치한다. 즉 p가 거짓일 때 p -> q의 진리값은 항상 참으로 정의한다. 명제함수와 한정자(quantifier) 명제함수 P(x) 변수 x를 포함한 명제 ex) P(x)가 x + 1 = 0 전체한정자 ∀, for every 모든 값에 대하여 라고 표현할 때 쓴다. ∀xP(x) 는 다루는 모든 x에 대하여 참인 경우 참인 명제가 된다. 존재한정자 ∃, there exists 어떤 값이 존재하여..