메인내용

①한정된 변수를 가진 공식의 정리를 증명하기 위한 과정으로서, 어떤 추론 규칙에 의해서 생성된 체계화 공식(wff)이 원래 wff와 동일한 표현이 된다는 것을 증명하기 위해서 변수를 지닌 항들을 상수로 치환하는 작업. ②사례화를 수행하는 처리 절차의 이름. 통합에서는 2개의 기본 단위를 동일하게 하여 대치할 수 있는 변수를 찾는 시도를 한다.

여러 가지 응용 프로그램에서 각종 기능을 수행하지만, 문서 편집 프로그램에서 하나의 도큐먼트 내의 텍스트 행을 1화면씩 묶어서 위로 두루말기(scroll up)할 때 가장 널리 사용하는 키. IBM PC 및 호환기의 키보드에서 페이지 업 키는 숫자 키 패드에 있는 9키 위에 겹쳐(PgUp이라고 표시되어) 있으며, 숫자 잠금 키(Num Lock key)가 눌려 있지 않은 상태에서 사용할 수 있다. IBM 확장 키보드 및 애플 확장키보드에서는 숫자 키 패드와 키보드의 주 부분 사이에 있는 편집용 키 집합 속에 페이지 업 키가 있다.

자기 녹음에서 녹음 헤드를 어느 정도 자화시켜 두는 자기 바이어스를 실현하기 위해 음성 주파수보다 높은 주파수(30~100kHz)의 교류를 사용하는 방식. 그림과 같이 정/부 양방향의 자화 a, b를 합성한 것이 c의 곡선 형태로 되어 비직선 일그러짐이 없는 재생 출력을 얻을 수 있는 충실한 녹음이 가능하다.

통화 중의 내선에 착신이 있는 경우, 착신호가 자동적으로 교환 취급자 또는 특정 내선에 전송하는 기능.

북미 표준 비디오텍스 화상 전송 방식인 NAPLPS 등 알파 지오메트릭 방식(alpha geometric method)의 비디오텍스에서 사용하는 선, 다각형, 원 등의 도형을 그리는 명령.

데이터 전송 시의 오류를 검출하기 위해 전송 측에서 동일한 데이터를 일정한 시간 간격을 두고 2회 이상 자동으로 보내는 시스템. 수신 측에서 데이터의 이상 유무를 검사하게 된다.