새 문서 목록

2025년 9월 10일 (수)

• 04:382025년 9월 10일 (수) 04:38 Languages (역사 | 편집) [3,407 바이트] Pinkgo (토론 | 기여) (새 문서: 분류:계산 이론 개론 분류:컴퓨터 공학 상위 문서: Sets ==개요== ==각주==)

2025년 9월 9일 (화)

• 16:462025년 9월 9일 (화) 16:46 Functions and Relations (역사 | 편집) [3,186 바이트] Pinkgo (토론 | 기여) (새 문서: 분류:계산 이론 개론 분류:컴퓨터 공학 상위 문서: 계산 이론 개론 ==개요== 해당 문서에서는 함수(functions), 관계(relations)와 집합 사이의 관계에 대해 설명한다. ==Functions== 함수는 입력을 정의역(domain)에서 받아서 출력을 (codomain)에서 내놓는 블랙박스처럼 동작한다. 이때 중요한 것은 각 입력마다 단 하나의 출력만 존재한다...)
• 16:092025년 9월 9일 (화) 16:09 Natural Numbers (역사 | 편집) [1,213 바이트] Pinkgo (토론 | 기여) (새 문서: 분류:계산 이론 개론 분류:컴퓨터 공학 상위 문서: 계산 이론 개론 ==개요== 해당 문서에서는 자연수를 집합 이론을 통해 정의하는 방법을 설명한다. ==Definition of Natural Numbers== 자연수는 아래와 같이 집합으로 표현할 수 있다: <math>0 = \empty = \{\}</math> <math>1 = \{\empty\} = {0}</math> <math>2 = \{\empty,\{\empty\}\} = \{0,1\}</math> <math>3 = \{\e...)
• 15:212025년 9월 9일 (화) 15:21 Sets (역사 | 편집) [10,220 바이트] Pinkgo (토론 | 기여) (새 문서: 분류:계산 이론 개론 분류:컴퓨터 공학 상위 문서: 계산 이론 개론 ==개요== 집합은 수학의 데이터 구조라고 할 수 있으며, 모든 수학적 객체는 순수 집합(pure sets)로부터 구성할 수 있다. 집합론은 작은 공리(axioms)들과 추론 규칙(rule of inference)를 통해 공식화될 수 있다. ==Properties of Sets== ===Extensionality=== 집합론은 1차 논리(firs...)

2025년 9월 6일 (토)

• 18:012025년 9월 6일 (토) 18:01 Logic and Proofs (역사 | 편집) [6,652 바이트] Pinkgo (토론 | 기여) (새 문서: 분류:계산 이론 개론 분류:컴퓨터 공학 상위 문서: 계산 이론 개론 ==개요== ==각주==)
• 17:462025년 9월 6일 (토) 17:46 계산 이론 개론 (역사 | 편집) [3,259 바이트] Pinkgo (토론 | 기여) (새 문서: 분류:계산 이론 개론 분류:컴퓨터 공학 Category:계산 이론 개론 ==개요== ==각주==)
• 01:112025년 9월 6일 (토) 01:11 Data Structures (역사 | 편집) [19,431 바이트] Pinkgo (토론 | 기여) (새 문서: 분류:알고리즘 설계와 분석 분류:컴퓨터 공학 상위 문서: 알고리즘 설계와 분석 ==개요== 해당 문서에서는 알고리즘을 구현하기 위해서 사용되는 기초적인 자료구조들에 대해 살펴본다. ==Contiguous vs. Linked Data Structures== 자료구조는 그것들이 배열에 기반하는지 포인터에 기반하는지에 따라, 연속(contiguous) 또는 연결(linked)...)

2025년 9월 5일 (금)

• 22:472025년 9월 5일 (금) 22:47 Sorting Problem (역사 | 편집) [33,335 바이트] Pinkgo (토론 | 기여) (새 문서: 분류:알고리즘 설계와 분석 분류:컴퓨터 공학 이전 문서: 알고리즘 설계와 분석 ==개요== ==각주==) 태그: 시각 편집
• 16:532025년 9월 5일 (금) 16:53 The Big Oh Notation (역사 | 편집) [6,831 바이트] Pinkgo (토론 | 기여) (새 문서: 분류:알고리즘 설계와 분석 분류:컴퓨터 공학 ==개요== 주어진 어떤 알고리즘에 대한 시간 복잡도는 가능한 문제 인스턴스 크기에 대한 함수들이며, 이들을 정밀하게 다루는 것은 매우 어렵다. 따라서 이들을 단순화하여 분석하는 것이 매우 좋은 방식 중 하나이다. 예를 들어, <math>T(n) = 12754n^2 + 4353n + 834log_2^n + 13546</math>와 같은 시간 복잡도 함수는 정밀하게...)
• 16:032025년 9월 5일 (금) 16:03 The RAM Model of Computation (역사 | 편집) [3,166 바이트] Pinkgo (토론 | 기여) (새 문서: 분류:알고리즘 설계와 분석 분류:컴퓨터 공학 ==개요== 기계와 상관없이 독립적으로 작동하는 알고리즘의 설계는 RAM(Random Access Machine)이라고 불리는 가상의 컴퓨터에 의존한다. 이때 해당 컴퓨터의 특징은 아래와 같다. * 각각의 단순 연산(+, *, –, =, if, call)은 정확히 한 시간 단계(time step)를 소요한다. * 반복문과 서브루틴은 단순 연산으로 간주되지 않는다. *...)