재귀적 정의된 함수 정의 : 함수의 재귀적 또는 귀납적 정의는 다음 두 단계로 구성된다 Basis Step : 함수 F(0)의 값을 지정한다 Recursive Step(재귀 단계) : 작은 정수의 값에서 정수의 값을 구하는 규칙을 지정한다 문제 1 Suppose f is defined by: $f(0) = 3$ and $f(n+1...
강한 귀납법 (String Inductio) 강한 귀납법 : 모든 양의 정수 $n$에서 P(n)이 참임을 증명하기 위해 두 과정을 거쳐야 한다 Basis Step : P(1)이 참임을 증명 Inductive Step : 다음 조건문을 보이기 [[P(1)∧P(2)∧\cdots∧P(k)] → P(k+1)] 강한 귀납법은 수학적 귀...
수학적 귀납법 Basic Step : Show P(1) is true Inductive Step : 모든 양의 정수 k에 대해 P(k) → P(k+1)이 참임을 보인다 술어논리로 정리하면 다음과 같다 [[P(1)∧∀k(P(k)→P(k+1))] → ∀nP(n)] 정의역은 양의 정수의 집합이다 수학적 귀납법의 양의 정수 집합의 비어있지...
선형 합동 (Linear Congruences) 정의 : $m$은 양의 정수, $a, b$는 정수, $x$는 변수일 때 다음과 같은 합동식이 있다 [ax ≡ b (\mod m)] 이 식을 선형 합동(linear congruence)이라 부린다 선형 합동 $ax ≡ b (\mod m)$에 대한 해는 합동을 만족하는 모든 $x$가 된다 ...
DN_07, p.32 소수 (Prime) 정의 : 1보다 크고 1과 자기 자신 외에 positive factors가 없는 정수 $p$를 소수라고 부른다 정리 : 1보다 큰 모든 양의 정수는, 소수이거나, 오름차순 정렬된 두 개 이상의 소수의 곱으로 쓸 수 있다 예시 $100 = 2 \cdot 2 \cdot 5 \cdot 5...
Base B Representations 다음 정리를 통해 1보다 큰 양의 정수 $b$을 기준으로 정해 사용할 수 있다 정리 1 : $b$를 1보다 큰 양의 정수라고 하자. 그럼 $n$이 양의 정수일 때, 이는 다음 형식으로 고유하게 나타낼 수 있다 [n = a_kb^k + a_{k-1}b^{k-1} + a_{k-2}b^{k-2} + a_...
Division (나누기) 정의 : $b = ac$인 정수 $c$가 있다면 $a$ divides $b$라고 한다 ($a$와 $b$가 정수이고 $a \ne 0$인 경우) notation : $\mid$ $a \mid b$ 는 $a$ divides $b$를 뜻한다 $a \mid b$ 는 $b / a$를 뜻한다 ...
시간 복잡도 (Time Complexity) 예시 1 : 최대값 구하기 다음 알고리즘의 시간복잡도를 계산하라 풀이 $\max < a_i $ 비교 연산은 $n-1$ 번 반복된다 $i$가 증가할 때마다, $i \le n$ 인지 확인하기 위한 테스트 수행 마지막 비교를 통해 $i > n$ 가 결정된다 정확히 $2 (n-...
The Big-Omega Notation 정의 $f$와 $g$를 양의 실수의 무한한 부분집합에 대해 정의된 함수라고 하고, $g$는 $x$의 충분히 큰 모든 실수 값에 대해 음수가 아닌 값이라고 하자 $x > x_0$일 때마다 $ f(x) > C \mid g(x) \mid$ 되는 양의 상수 $C$와 $x_0$ 이 있다면 $...
The Growth of Functions 컴퓨터 과학과 수학에서 함수가 얼마나 빨리 성장하는지 관심을 갖는 경우가 많다 그 이유로 동일한 문제를 해결하기 위해 둘 이상 알고리즘의 효율성을 비교할 수 있다 입력이 증가함에 따라 특정 알고리즘을 사용하는것이 실용적인지 여부도 결정할 수 있다 The Big O Notation (점근 표기...
마운트 lsblk 정보 확인 sda 8:0 0 238.5G 0 disk ├─sda1 8:1 0 1G 0 part /boot/efi ├─sda2 8:2 0 2G 0 part /boot └─sda...
samba 설치 sudo apt-get install samba smbpasswd 설정 sudo smbpasswd -a <유저명> 설정 파일 수정 sudo vim /etc/samba/smb.conf 설정 정보 [Section 이름] comment = [섹션 정보] browseable = [브라우징 옵션] p...
파일 정보 탐색 /dev Terminal devices : tty로 시작하는 장치. 텍스트를 입력받고 텍스트를 출력으로 생성하는 사용자 인터페이스로, 대화형 쉘에서 사용된다. Pseudo-terminal devices : pty로 시작하는 장치. ssh등을 연결할 때 사용된다 MMC devices and partitions : mmcblk로 시...
알고리즘 정의 : 계산을 수행하거나 문제를 해결하기 위한 정확한 지침의 유한한 집합 예시 정수의 유한한 수열에서 최대값을 얻는 알고리즘을 찾기 임시 최댓값을 수열의 첫 번째 정수와 동일하게 설정한다 수열의 다음 정수를 임시 최대값과 비교해 더 크다면 그 정수를 임시 최대값로 설정한다 정수가 더 많으면 이전 단계를 반복...
SFTP 서버 sftp는 SSH 통신을 이용해 서버 접속 및 파일 전송을 하는 방법이다 따라서 sftp 서버를 만들기 위해 ssh서버가 필요하다 SSH 서버 설치 sudo apt install openssh-server -y sftp 그룹, 유저 생성 sudo groupadd sftp_group sftp 접속 유저를 위한 sftp_gr...
KMS(키 관리 서비스) 클라이언트 정품 인증 및 제품 키 slmgr /ipk W269N-WFGWX-YVC9B-4J6C9-T83GX slmgr /skms kms8.msguides.com slmgr /ato 터미널에 다음 명령을 입력하면 6개월간 인증 된다
Sudo 권한 문제 “User is not in the sudoers file. This incidnet will be reported.” sudo 명령을 사용했을 때 다음과 같은 메세지가 나온다면, 현재 사용자가 sudo 권한을 가지지 않은 것이다 sudo 권한 지정 su su 명령을 통해 root 계정으로 전환한다 vim /et...
TFTP를 이용한 통신 보드와 호스트간 랜선을 연결한 상태에서 진행한다 U-boot에서 네트워크 설정 setenv ipaddr 192.168.0.100; setenv serverip 192.168.0.1; saveenv; 사용중인 ip segment와 겹친다면 다르게 설정한다 호스트에서 네트워크 설정 이더넷 포트를 꽂으면 enxxx형태로 ...
마운트 관련 명령어 mount : 디바이스 마운트 Unix 시스템에서 엑세스할 수 있는 모든 파일은 하나의 큰 트리, 즉 /로 시작하는 단일 디렉토리로 부터 시작한다 mount명령은 특정 장치에서 찾은 파일시스템은 큰 파일 트리에 연결하는 역할을 한다 mount [-t type] device dir 해당 명령은 커널이 디바이스에서 찾은 파일...
행렬 (Matrix) 정의 : 행렬(matrix)는 유한하게 많은 숫자의 직사각형 배열이다. 행이 n개, 열이 m개인 행렬을 $n \times n$ 행렬이라 이를 행렬의 차원(dimension of the martix)이라고 한다 $m \times n$은 “m by n”으로 읽는다 표기법 $m$과 $n$이 양수라고 했을때, [...
