knowledge

[ 이산수학 ] 9. 공리와 정의, 그리고 정리와 증명, 증명법

공리와 정의 - 공리 : 별도의 증명없이 참으로 가정한 진술(statement)을 의미 - 정의 : 기호의 의미를 확실하게 규정한 것을 의미하며 수학에서는 의미론적인 정의가 아니라 형식적인 정의를 사용한다. 형식적 정의란 현실에서의 의미를 중요시 여기는 것이 아니라, 기호적인 의미가 강한 것을 의미한다. 정리와 증명 - 정리 : 공리와 정의, 또는 다른 정리를 통해 참이라는 것을 확인할 수 있는 진술(statement)을 의미한다 1) 보조정리(lemma) : 정리를 증명하는 데 도움이 되는 정리를 의미한다. 2) 따름정리(corollary) : 증명된 정리로부터 직접적으로 귀결시킬 수 있는 정리 3) 가설(conjecture) : 직관이나 부분적 증거를 통해 참이라고 주장되는 문장 - 증명 : 특정한 ..

[ 이산수학 ] 8. 술어 논리와 한정기호

명제함수(조건)와 술어 명제함수란 '조건'이라고도 하는데 명제 안에 포함된 변수의 값에 따라 참과 거짓이 달라지는 명제를 뜻한다. 예를 들어, "n은 짝수이다." 라는 명제를 명제함수 P(n) 이라고 할 수 있는 것이다. 술어란 주어에 대한 서술을 의미한다. 예를 들어, "x는 10보다 크다.( =x is greater than 10)" 이라는 명제함수 q(x)가 있다고 하자. 이 명제함수에서 "~는 10보다 크.(= is greater than 10)" 라는 문장이 술어가 되는 것이다. 이러한 술어에 대해서 '한정기호'라는 것을 사용하여 나타낸 것을 '술어 논리'라고 한다. 술어 논리(함수 논리 또는 양화 논리) 주어와 술어의 구조로부터 주어가 될 수 있는 대상에 대해 한정기호를 사용하는 논리를 말한다..

[ 정보처리기능사 필기] 4. 정보 통신 일반

1. 정보 통신 시스템의 구성 데이터 처리계 : 데이터를 처리하는 컴퓨터를 의미, 중앙처리장치(CPU)와 주변 장치로 구성됨 데이터 전송계 : 데이터의 입출력 및 송신을 담당하는 장치로 단말 장치. 데이터 전송 회선, 통신 제어 장치로 구성됨 2. 정보 전송 선로 정지형 통신 위성 : 지구 적도 상공 약 36,000km 광섬유 케이블(Optical Fiber Cable) - 규소(SiO₂)를 주재료로 하며 빛의 반사 현상 이용 - 온도 변화에 안정적이며 신뢰성 높고 에러 발생률이 가장 적음 - 잡음이나 누화가 거의 없고 감쇠 현상이 적음 - 광대연 전송, 작은 크기와 무게, 적은 감쇠도, 보다 넓은 리피터 간격 등과 같은 전송 특징이 있음 - 보안성이 뛰어남 - 접속과 연결이 용이하지 않음 3. 정보 전..

[ 정보처리기능사 필기 ] 3. PC 운영체제

1. 운영체제의 개념 운영체제의 목적 : 처리 능력의 향상, 응답 시간(Turnaround Time) 단축, 사용 가능도 증대, 신뢰도 향상 운영체제의 성능 평가 요소 -처리능력(Throughput) 향상 : 시스템의 생산성을 가늠하는 단위, 일정 시간 동안 처리하는 일의 양 -응답시간(Turnaround Time) 단축 : 시스템에서 결과가 얻어질 때까지의 시간 -사용가능도(Availability) 증대 : 시스템을 얼마나 빨리 사용할 수 있는가의 정도 -신뢰도(Reliability) 향상 : 주어진 문제를 얼마나 정확하게 처리하는가의 정도 2. 운영체제의 구성 제어 프로그램 : 감시 프로그램, 작업 관리 프로그램, 데이터 관리 프로그램 처리 프로그램 : 언어 번역, 서비스, 문제 처리 프로그램 3. ..