정의 : 계산을 수행하거나 문제를 해결하기 위한 정확한 지침의 유한한 집합 정수의 유한한 수열에서 최대값을 얻는 알고리즘을 찾기 1. 임시 최댓값을 수열의 첫 번째 정수와 동일하게 설정한다 2. 수열의 다음 정수를 임시 최대값과 비교해 더 크다면 그 정수를 임시 최대값로 설정한다 3. 정수가 더 많으면 이전 단계를 반복한다 4. 알고리즘이 종료되면 임시 ...

sftp는 SSH 통신을 이용해 서버 접속 및 파일 전송을 하는 방법이다 따라서 sftp 서버를 만들기 위해 ssh서버가 필요하다 sftp 접속 유저를 위한 sftpgroup 그룹을 만든다 해당 그룹에 속한 sftpuser 유저를 만든다 접속을 위한 패스워드를 지정한다 sftp 유저가 접속할 디렉토리를 생성하고 다음과 같이 권한을 설정한다 다음 파일에 들어...

"User is not in the sudoers file. This incidnet will be reported." sudo 명령을 사용했을 때 다음과 같은 메세지가 나온다면, 현재 사용자가 sudo 권한을 가지지 않은 것이다 su 명령을 통해 root 계정으로 전환한다 다음 파일에 위 텍스트를 추가한다. <username에 실제 유저명을 추가한다 ...

보드와 호스트간 랜선을 연결한 상태에서 진행한다 {: file='uboot'} 사용중인 ip segment와 겹친다면 다르게 설정한다 이더넷 포트를 꽂으면 enxxx형태로 나타나며, 쉽게 찾을수 있다 호스트가 가상머신 환경일 경우 VirtualBox 기준으로 네트워크 설정에서 어댑터에 브리지를 사용해 연결하는 것이 안정적이다. 가상머신에 바로 연결할 경우 ...

Unix 시스템에서 엑세스할 수 있는 모든 파일은 하나의 큰 트리, 즉 /로 시작하는 단일 디렉토리로 부터 시작한다 mount명령은 특정 장치에서 찾은 파일시스템은 큰 파일 트리에 연결하는 역할을 한다 해당 명령은 커널이 디바이스에서 찾은 파일시스템은 dir에 마운트한다. t 옵션은 선택사항이다 마운트된 동안, 원래 해당 경로의 이전 파일과 소유자 및 di...

정의 : 행렬(matrix)는 유한하게 많은 숫자의 직사각형 배열이다. 행이 n개, 열이 m개인 행렬을 $n \times n$ 행렬이라 이를 행렬의 차원(dimension of the martix)이라고 한다 $m \times n$은 "m by n"으로 읽는다 $m$과 $n$이 양수라고 했을때, $$M = \left[ \begin{matrix} ...

정의 : 집합 A의 크기(cardinality)는 iff 집합 B와 일대일 대응(bijection)인 경우만 집합 B와 동일하며 $\mid A \mid = \mid B \mid$로 표현된다 A에서 B로의 일대일 함수(Injection)가 있는 경우, A의 cardinality가 B의 cardinality보다 작거나 같다. 이를 $ \mid A \mid \l...

수열(Sequence)은 유한하거나 무한한 원소의 ordered lists다 $1,2,3,5,8$ $1,3,9,27,81$ 정의 : 수열(sequence)은 정수의 부분집합($N$ or $N^= N \backslash \set{0}$)에서 공집합이 아닌 집합으로의 함수이다 $an$ 표기는 정수 $n$의 상을 표기하는데 사용한다 $N^=\set{1,2,...

정의 : A와 B가 공집합이 아닌 집합이라 가정하자. A에서 B로 가는 함수 f(denoted f: A→B)는 A의 각 원소를 정확히 B의 정확히 한 원소에 할당하는 것이다. 이것을 $b = f(a)$로 쓸 수 있다. $b$는 $B$의 고유한 원소를 의미하고 $a$는 $A$의 원소를 의미한다. 또, 함수는 $(a,b) \in A \times B$ 이면서 ...

명제 미적분과 집합록은 모두 부울 대수라고 하는 대수 체계의 일부다 집합론의 연산자는 명제적 미적분학의 연산자와 유사하다 항상 전체 집합 $U$가 존재해야 하며, 모든 집합은 $U$의 하위집합이다 정의 : $A$와 $B$의 교집합을 다음과 같이 정의한다 $A \cap B := \set{ x \in U \mid (x \in A) ∨ (x \in B)}$...

집합은 이산수학에서 고려되는 객체유형의 기본구성 요소중 하나다 집합(set)은 순서가 없는 객체의 모음(collection of objects)이다 집합의 개체를 원소(element)또는 구성원(member)라고 한다 $a∈A$ 표기는 $a$가 집합 $A$의 요소임을 나타낸다 집합은 원소의 순서가 중요하지 않다 $S = \set{a,b,c,d}= \set...

(p1 ∨ p2 ∨ p3 ∨ ... ∨ pn) → q Use the tautology: [(p1 ∨ p2 ∨ p3 ∨ ... ∨ pn) → q] ↔ [(p1 → q) ∨ (p2 → q) ∨ ... (p1 → q)] Each of the implications pi → q is a case $$ a @ b= Min\{a,b\} = \begin{cases} ...

명제(proposition) 명제 논리 (Propositional Logic) 명제 변항 (Propositional Variable) 원자 명제 (Atomic Propositions) 복합 명제 (Compound Propositions) 논리 연산자 (Logicla Connectives) 부정 (Negation) 연언, 논리곱 (Conjuncti...

증명은 서술문(statement)의 진실을 입증하는 유효한 논증(valid argument)이다 theorem는 다음을 이용해 참임을 보여줄 수 있는 서술문이다 정의 (definition) 또다른 정리 (other theorem) 공리 (axioms) 추론 규칙 (rules of inference) lemma는 정리를 증명하는데 필요한 'helpin...

유효한 논증은 일련의 서술문(a sequence of statement)이다 각 서술문은 전제(premise)이거나, 이전 서술문으로부터 추론 규칙(rueles of interence)에 의해 유도된 것이다. 1. ∀x P(x) 1. ∴ P(c) 예시: 정의역은 모든 개이며 Fido는 개이다 "모든 개는 귀엽다" "그러므로, Fido는 귀엽다" 1....

술어 논리(predicate logic)에서 전제(premise)와 결론(conclusion)의 나열을 논증(argument)라고 한다 1. 사람은 죽는다 (전제) 2. 소크라테스는 사람이다 (전제) 3. 소크라테스는 죽는다 (결론) 이를 논증(argument)으로 변환할 수 있다 ∀x(Man(x)→Mortal(x)) 전제 Man(Socrates) ...

"모든 실수는 덧셈 역원이 존재한다" ∃x (∀y (x + y = 0)) 이를 중첩된 술어 함수로 볼 수 있다 ∃x Q(x) Q(x) is ∃y P(x,y) P(x,y) is x + y = 0 ∀x∀y P(x, y) 에 대해 x 값에 대해 루프 각 스탭에 대해 y 값에 대해 루프 P(x, y)가 거짓인 xy 쌍이 발견된다면, ∀x...

beagleplay 보드를 이용해 크로스컴파일, 부트로더 등을 학습하기 압축 푼 디렉토리의 이름이 systemprogramminglabs이 아니라면, 해당 이름으로 바꾼다 필요한 패키지 설치 Getting Crosstoolng 설정 Path and misc options Try features marked as EXPERIMENTAL : 활성화...

술어를 포함하는 문은 동등한 진리값을 가질 경우 논리적으로 동등(logically equivalent)하다 ≡ 표기는 두 statement가 논리적으로 동등함을 나타낸다 ∀x ¬(¬S(x)) ≡ ∀x S(x) 정의역(domain)이 유한할 경우 전체 양화사(universally quantifier)를 가진 술어는 술어들의 논리곱(conjunction)과 ...

ssh 명령과 유사하다 P 옵션을 사용해 포트를 지정할 수 있다. ssh 명령과 달리 대문자 P이다