집합명확한 기준에 의해 분류되어 공통된 성질을 가지며 중복되지 않는 원소의 모임원소나열법: 집합에 포함되는 원소들을 일일이 나열하는 방법조건제시법: 집합에 포함되는 원소들의 공통적인 성질을 조건식으로 제시하는 방법벤다이어그램: 집합과 원소의 포함관계를 그림으로 보여주는 방법기수(Cardinality): 집합에 포함되는 원소의 개수 (e.g. 집합 A의 기수 = | A |)전체집합: 논의 대상이 되는 원소 전체를 포함하는 집합공집합: 원소를 하나도 포함하지 않는 집합으로 기수가 0인 집합상등: 두 집합에 속하는 원소가 모두 동일한 경우부분집합: 집합 A의 원소가 집합 B에 포함되는 경우, |A| ≤ |B|진부분집합: 집합 A의 원소가 집합 B에 포함되지만 집합 A와 B가 상등이 아닌 경우집합 간의 포함 관..
Study
기억장치주기억장치프로그램을 수행하기 위해서는 주기억장치에 적재되어야 함제한적인 용량높은 가격효율적인 사용을 위한 관리기법 필요보조기억장치주기억장치보다 값이 싸며 대량의 프로그램과 데이터를 처리할 수 있지만, 처리 속도가 느림자기테이프 · 하드디스크 · 플로피디스크 · CD ROM · DVD ROM · 플래시 메모리SSDSolid State Drive하드디스크의 한계를 극복하기 위해 등장한 플래시가 들어가는 보조기억장치반도체 메모리를 내장하고 있어 처리속도가 빠르고 소음이 없으며, 전력 소모량이 낮음전원이 꺼지더라도 기록된 데이터가 보존되는 플래시 메모리 기반의 모델기억장치 관리의 발전실 기억장치가상 기억장치단일 사용자전용 시스템실기억장치다중 프로그래밍가상 메모리다중 프로그래밍상주모니터고정분할다중 프로그래..
우분투 패키지바이너리 파일로 구성되어 있어 컴파일이 필요 없음패키지의 파일이 관련 디렉터리에 바로 설치됨패키지를 삭제할 때 관련된 파일을 일괄적으로 삭제 가능기존에 설치한 패키지를 삭제하지 않고 바로 업그레이드 가능패키지의 설치 상태 검증 가능패키지에 대한 정보를 제공해당 패키지와 의존성을 가지고 있는 패키지가 무엇인지 알려줌의존성이 있는 패키지를 미리 설치할 수 있음apt-get 명령을 사용하면 의존성이 있는 패키지가 자동으로 설치됨우분투 패키지의 카테고리공식적으로 데비안 배포판에 포함된 모든 패키지는 데비안 자유 소프트웨어 지침에 따라 자유롭게 사용하고 배포할 수 있음main: 우분투에 의해 공식적으로 지원되며 자유롭게 배포 가능restricted: 우분투에 의해 지원되나 완전한 자유 라이선스 소프트..
리눅스 시스템의 부팅PC 부팅① 전원 ON② 바이오스 단계리눅스 부팅③ 부트 로더 단계④ 커널 초기화 단계⑤ systemd 서비스 단계⑥ 로그인 프롬프트 출력바이오스 단계하드웨어 검사 > 부팅 장치 선택 > MBR 로드 > 부트 로더 로드부팅 시 바이오스(Basic Input/Output System) 동작PC에 장착된 기본적인 하드웨어의 상태 확인부팅 장치 선택 후 부팅 디스크의 첫 섹터에서 512바이트를 로딩마스터 부트 레코드(MBR): 2차 부팅 프로그램(부트 로더)의 위치 저장부트 로더 단계MBR이 부트 로더를 찾아 메모리에 로딩여러 운영체제 중에서 부팅할 운영체제를 선택할 수 있도록 메뉴 제공리눅스 커널을 메모리에 로딩리눅스 커널은 /boot 디렉터리 아래에 'vmlinuz-버전명'의 형태로 제..
조합 논리회로 & 순차 논리회로조합 논리회로출력신호가 입력신호에 의해서만 결정됨기본적인 논리회로인 논리곱(AND) - 논리합(OR) - 논리부정(NOT) 등의 기본적인 논리소자의 조합으로 만들어짐플립플롭과 같은 기억소자는 포함하지 않음n개의 입력을 받아 2ⁿ개의 출력가산기(Adder), 비교기(Comparator), 디코더, 인코더, 멀티플렉서, 디멀티플렉서, 코드변환기순차 논리회로출력신호는 입력신호뿐만 아니라 이전 상태의 논리값에 의해 결정조합 논리회로와 기억소자로 구성되며, 기억소자가 궤환을 형성기억소자는 2진 정보를 저장할 수 있는 장치로 플립플롭을 사용동기식 순차 논리회로Synchronous Sequential Logic Circuit클록 펄스가 들어오는 시점에서 상태가 변화하는 회로비동기식 순차..
증명의 이해증명을 위해서 참(T)인 전제들이 주어져야 함이 전제들의 결론 역시 참(T)이 되어 유효추론이 성립되면 정확한 증명이라고 할 수 있음유효추론: 주어진 전제를 이용해 유도된 결론이 정확한 추론, 전제가 참일 때 결론이 모두 참인 추론공리 (Axiom)별도의 증명 없이 항상 참으로 이용되는 명제ex) 어떤 자연수 n에 대해, (n+1)이 존재한다.정의 (Definition)논의의 대상을 보편화하기 위해 사용하는 용어 또는 기호의 의미를 확실하게 규정한 문장이나 식ex) 명제는 객관적인 기준으로 진릿값을 판별할 수 있는 문장이나 수식이다.정리 (Theorem)공리와 정의를 통해 참으로 확인된 명제ex) 피타고라스의 정리, 이항정리, 나머지정리 등증명 (Proof)하나의 명제가 참임을 확인하는 과정직..
