Archive — Archive

전체 글

Academic
Computer Science/Data Structures & Algorithms

[Data Structures] Array | 배열

Array 배열 - 연속적인 메모리 위치를 갖는 점이 특징인 Low-Level적 특성이 있는 자료구조이다. (구현 중심적) - 인덱스와 특정 값이 일대일로 Mapping(사상)되어 집합을 이루는 형태이다. - 대부분의 프로그래밍 언어에서는 추출, 저장, 생성 연산만을 제공하므로 추가적인 세부 연산을 위해서는 Operator Overloading이 필요한 자료구조이다. - 배열은 그 자체로 자료구조인 동시에, 다른 ADT(Abstract Data Type)구현에 이용 가능하다. * ADT {Abstract Data Tyep, 추상 데이터 타입) - Data Type(데이터 형)을 정의함에 있어서 해당 데이터 형에 적용 가능한 연산자와 제약조건과 같은 프로그래머 입장에서 최소한으로 알아야 할 내용만을 보여주..

Computer Science/C & C++

[C++] Enumeration | 열거체

Enumeration (enum) 열거체 - 기호 상수를 만드는 방법 중 하나이다. - Enumeration(열거체)은 enum형 변수를 의미한다. - 열거체에 적용되는 규칙은 꽤 엄격한 편이라서 열거체를 새로운 데이터형을 정의하는 수단으로 활용하기 보다는, 상호 관련이 있는 기호 상수들을 정의하는 용도로 쓰인다. Rules Ex. enum decalration enum spectrum {red, orange, yellow, green, blue, violet}; spectrum : 키워드 "enum"을 통해 만들어진 새로운 데이터형 red...violet : 0 부터 n-1까지의 정수 값에 각각 대응되는 기호 상수들, 이 상수들을 Enumerator(열거자)라고 한다. 차례대로 red는 0, orang..

Mathematics/Discrete Mathematics

[Discrete Mathematics] Fundamental Laws of Boolean Algebra | 불대수의 기본 법칙

Fundamental Laws of Boolean Algebra 불대수의 기본 법칙 * 여기서, \(T\)는 True값을, \(F\)는 False값을 의미한다. 1. Identity Laws (항등법칙) \(P \land T \iff P\) \(P \lor F \iff P\) 2. Domination Laws (지배법칙) \(P \lor T \iff T\) \(P \land F \iff F\) 3. Idempotent Laws (멱등법칙) \(P \lor P \iff P\) \(P \land P \iff P\) 4. Double Negation Laws (이중부정법칙) \(\neg (\neg P) \iff P\) 5. Commutative Laws (교환법칙) \(P \lor Q \iff Q \lor P..

Mathematics/Discrete Mathematics

[Discrete Mathematics] Logically Equivalent

Logically Equivalent 논리적 동치 - \(P \leftrightarrow Q\) 가 Tautology(항진명제)이면, \(P\), \(Q\)는 "논리적으로 동치"라 표현한다. - "\(P \iff Q\)" 또는 "\(P \equiv Q\)"라 표기한다. ex) \(\neg (P \lor Q) \iff \neg P \land \neg Q \qquad (De Morgan`s Laws)\) ex) \(P \to Q \iff \neg P \lor Q\) * 논리적 동치 관계의 증명 1. 진리표를 이용하는 방법 : 변수의 개수가 증가함에 따라 결과가 기하급수적으로 증가하는 문제가 있다. 2. 기증명된 논리적 동치관계를 이용해서 증명하는 방법 Sample QUIZ Q.1 Prove the propo..

Mathematics/Discrete Mathematics

[Discrete Mathematics] Logical Operator

Logical Operator 논리 연산자 - 하나의 명제를 논리 연산자를 이용하여 여러 단순 명제로 도출시켜(분할시켜), 여러 단순 명제의 Truth value(진리값)들로 부터 알고자하는 명제의 진리값을 알 수 있다. * Truth Table (진리표) - 명제들의 진리값 간의 관계를 나타내는 표 1. Negation (부정) : \(\neg, ~\) - 현재 진리값의 반대값을 취하게 하는 연산자이다. (NOT연산) \(P\) \(\neg P\) \(T\) \(F\) \(F\) \(T\) 2. Conjunction (논리곱) : \(\land\) - 두 진리값이 동시에 True값인 경우를 제외한 모든 경우에는 False를 도출시키는 연산자이다. (AND 연산) \(P\) \(Q\) \(P \land ..

Mathematics/Discrete Mathematics

[Discrete Mathematics] Proposition

Proposition 명제 - True나 False중 어느 한 값으로 표현이 가능한 문장 * Propositional Logic (명제 논리) - 내부 구조가 없는 논리 명제에 논리합, 부정 등과 같은 논리 연산을 가하여 구성한 논리 명제들을 다루는 논리체계이다. - H/W설계 시, Gates나 Circuit의 정확한 동작을 정의 및 관리하는 데 이용된다.

English/Grammar

[Grammar] Sentence Patterns

Sentence Patterns 문형, 문장형식 - 문장은 크게 다섯가지 방식 내에서 구성된다. 1 형식 Subject (주어) + Complete Intransitive Verb (완전자동사) - 주어와 동사만으로 완전한 의미의 문장이 된다. - 완전자동사란, 그 자체로 의미가 완전해서 뒤에 목적어, 보어를 필요로 하지 않는 동사를 의미한다. 2 형식 Subject (주어) + Incomplete Intransitive Verb (불완전자동사) + Subjective Complement (주격 보어) - 2형식 동사로 감각이나 상태를 나타내는 동사(감각동사, 기타동사)가 많이 쓰인다. - 보어 자리에는 대개 명사/형용사가 위치한다. - 불완전자동사란, 자동사이지만 주어를 보충하는 보어를 반드시 필요로하..

English/Grammar

[Grammar] 8 Word Classes | 8품사

8 Word Classes (8 Parts of Speech) 8품사 - 단어를 기능별/형태의 특징에 따라 분류한 것으로, 아래와 같이 크게 8가지로 구분된다: Noun (N, 명사) Verb (V, 동사) Adjective (a, 형용사) Adverb (adv, 부사) Pronoun (pron, 대명사) Preposition (prep, 전치사) Conjunction (conj, 접속사) Interjection (int, 감탄사) Noun (N, 명사) - 사물, 사람, 개념을 지칭하는 역할을 한다. - 주어, 목적어, 전치사 뒤 목적어(a.k.a. 전명구), 보어의 역할을 할 수 있다. * 전명구 : 관사 + 부사 + 형용사 + 명사, 어법상 부사로 취급된다. Verb (V, 동사) - "~하다", ..

lww7438
Archive