'Computer Science' 카테고리의 글 목록 (34 Page) — Archive

Computer Science

Computer Science/Database

[Database] SQL : Queries, Constraints, Triggers | SQL : 질의, 제약조건, 트리거 (5장)

SQL : Queries, Constraints, Triggers SQL : 질의, 제약조건, 트리거 Basic SQL Query Syntax SELECT [DISTINCT] targer_list FROM relation_list WHERE qualification 1) \(\texttt{target_list}\) - Relation의 Attribute의 리스트이다. - Attribute의 리스트는 Projection 연산의 결과이다. \(\texttt{SELECT} \iff \pi\) (Projection) * \(\texttt{DISTINCT}\) Option - Query 결과 중 중복되는 값들에 대한 제거 여부를 결정하는 부분이다. - \(\texttt{DISTINCT}\)라 명시하면, 중복되는 ..

Computer Science/Automata Theory

[Automata Theory] Regular Languages and Regular Grammars | 정규 언어와 정규 문법

Regular Languages and Regular Grammars 정규 언어와 정규 문법 Regular Expression (정규 표현) * Definition 3.1 (The Primitive Regular Expression; 기본 정규 표현) 주어진 알파벳 \(\sum\)에 대해, \(\phi, \lambda, a \in \sum\)는 모두 정규 표현이다. (이들을 Primitive Regular Expression이라 부른다.) \(r_1\)과 \(r_2\)가 정규표현이면, \(r_1 + r_2, \quad r_1 \cdot r_2, \quad r_{1}^{*}, \quad (r_1)\) 등은 모두 정규 표현이다. 특정 문자열이 정규 표현이 되기 위해서는, 기본 정규 표현에서 시작하여 위 규칙..

Computer Science/Digital Logic

[Digital Logic] Flip-Flop | 플립플롭

Flip-Flop 플립플롭 S-R Flip-Flop (S-R 플립플롭) S-R Flip-Flop Characteristic Table S R Q(t+1) 0 0 No Change 0 1 0 1 0 1 1 1 Indeterminate JK Flip-Flop (JK 플립플롭) * J : Jam * K : Kill JK Flip-Flop Symbol & State Diagram JK Flip-Flop Behavioral Table J K Q(t) Q(t+1) Description 0 0 0 0 Hold 0 0 1 1 0 1 0 0 Reset 0 1 1 0 1 0 0 1 Set 1 0 1 1 1 1 0 1 Toggle 1 1 1 0 JK Flip-Flop Characteristic Table J K Q(t+1)..

Computer Science/Digital Logic

[Digital Logic] S-R Latch | S-R 래치

S-R Latch S-R 래치 - Set(S)과 Reset(R)에 의해 출력 Q의 상태가 바뀌는 비동기 회로소자이다. - 기계적인 스위치에서 오는 불안정한 신호를 안정하게 해주는 Debouncing Circuit에 이용된다. * Latch: Asynchronous Circuit을 구성하는 가장 기본적인 소자이다. S-R Latch with NAND Gates (NAND 게이트로 설계된 S-R 래치) S R Q 0 0 No Change 0 1 1 1 0 0 1 1 Indeterminate (Active Low) S-R Latch with NOR Gates (NOR 게이트로 설계된 S-R 래치) S R Q 0 0 No Change 0 1 0 1 0 1 1 1 Indeterminate (Active High)..

Computer Science/Digital Logic

[Digital Logic] Encoder | 인코더

Encoder 인코더 * Decoder (디코더) (URL) - 디코더와 반대되는 동작을 수행하는 회로이다. - 특정 입력에 대해 특정 출력만을 출력한다. - Inputs의 개수가 Outputs의 개수보다 많다. Octal to Binary Encoder 1. Truth Table Inputs Outputs \(D_0\) \(D_1\) \(D_2\) \(D_3\) \(D_4\) \(D_5\) \(D_6\) \(D_7\) \(x\) \(y\) \(z\) 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0..

Computer Science/Digital Logic

[Digital Logic] Magnitude Comparator | 절댓값 비교기

Magnitude Comparator 절댓값 비교기 Specification Inputs \(A = a_3a_2a_1a_0\) \(B = b_3b_2b_1b_0\) Outputs \((A = B) \mathrm{\;is\;} T/F\) Logic \(A = a_3a_2a_1a_0\) \(B = b_3b_2b_1b_0\) \(x_i = a_ib_i + a_i'b_i' \qquad (\mathrm{for \;}i = 0, 1, 2, 3)\) \(\mathrm{i.} A = B\) \(\mathrm{Output\; =\; }x_3x_2x_1x_0\) \(\mathrm{ii.} A > B\) \(\mathrm{Output\; =\; }a_3b_3' + x_3a_2b_2' + x_3x_2a_1b_1' + x_3x..

Computer Science/Digital Logic

[Digital Logic] Binary Multiplier | 이진 곱셈기

Binary Multiplier 이진 곱셈기 * Multiplication Algorithm (URL) Specification Multiplicand : \(A_1A_0\) Multiplier : \(B_1B_0\) Product: \(C_3C_2C_1C_0\) Implementation

Computer Science/Digital Logic

[Digital Logic] BCD to Excess-3 Conversion Circuit | BCD에서 3-초과 부호로 변환하는 회로

BCD to Excess-3 Conversion Circuit BCD에서 3-초과 부호로 변환하는 회로 - BCD 코드에 0011을 더한 코드 체계이다. * BCD Code (URL) [Digital Logic] BCD Code Representation | BCD 코드 방식 BCD Code Representation BCD 코드 방식 - Binary Coded Decimal의 약자로, 우리말로는 2진화 10진 코드라고 한다. (8421코드라고 하기도 한다.) - 10진수를 이진코드로 표기하는 방법 중 하나로, 장점은 10진수와의 dad-rock.tistory.com * Excess-3 Code (URL) Excess-3 - Wikipedia From Wikipedia, the free encyclope..

lww7438
'Computer Science' 카테고리의 글 목록 (34 Page)