수집 기술의 과학으로서의 정보학,다양한 데이터의 주문 및 처리는 20 세기 중반에 개발을 시작합니다. 일부 역사가들은 컴퓨터 과학의 형성의 시작이 최초의 기계식 계산기의 발명과 함께 17 세기로 거슬러 올라간다고 믿지만, 대부분은 그것을 더 진보 된 컴퓨팅 시대와 연관시킵니다. 최초의 컴퓨터의 출현과 함께 20 세기의 40 년대에 정보학은 개발에 새로운 자극을 받았습니다.
컴퓨터 과학 연구 과목
최초의 컴퓨터의 출현과 함께대량의 데이터를 체계화, 계산 및 처리하는 새로운 방법을 개발하고 새로운 컴퓨터의 잠재력을 최대한 활용할 수있는 알고리즘을 개발해야했습니다. 컴퓨터 과학은 독립적 인 과학 분야의 지위를 받았으며 수학적 계산 영역에서 일반적인 계산 연구로 이동했습니다.
모든 현대 컴퓨터 과학은논리 연산. 기본 구성 요소라고 할 수 있습니다. 컴퓨터 시스템의 프로그래밍에서 논리 연산의 개념은 실행 후 이미 존재하는 개념을 기반으로 형성되는 새로운 개념이나 의미가 생성되는 일종의 행동입니다. 이러한 작업 집합은 명령을 실행해야하는 프로세서 요소에 따라 달라질 수 있습니다. 그러나 거의 모든 기존 시스템에 공통적 인 일부 작업이 있습니다. 이들은 값 자체의 내용 (예 : 부정) 또는 개념의 양적 특성 (더하기, 빼기, 곱하기, 나누기)을 변경하는 작업입니다.
부울 피연산자의 유형
논리의 대수는 작업을 의미하기 때문에추상 개념, 일반화 된 데이터 유형은 모든 논리 연산의 피연산자로 작동합니다. 명제 대수가 작동하는 고전적인 요소는 명제, 거짓 또는 참입니다. 전자 및 프로그래밍에서 부울 변수 true 및 false 또는 정수 값 1 (true) 및 0 (false)이 이러한 용어를 설명하는 데 사용됩니다. 아무리 놀랍게 들리더라도 이러한 가치의 조합은 가장 복잡하고 대규모 시스템의 작업과 연결되어 있습니다. 컴퓨터 또는 디지털 장치에서 실행되는 모든 프로그램 코드는 모든 프로세서에서 처리 할 수있는 범용 코드 인 1과 0의 시퀀스로 동적으로 변환됩니다.
논리 연산의 유형
앞서 언급했듯이 고전에서부울 대수에는 두 가지 유형의 함수가 있습니다. 이진 데이터 유형에 대한 기본 논리 연산은 문 자체에 영향을주는 작업입니다 (단항 또는 단항 연산). 여기에는 기존 값 (이진 연산 또는 2 자리)을 기반으로 새 문을 생성하는 연산도 포함됩니다. 논리 연산의 순서는 괄호를 포함하여 왼쪽에서 오른쪽으로 수학 계산을 수행 할 때와 동일합니다.
가장 간단하고 가장 유명한 것 중 하나부울 논리 함수는 부정 함수입니다. 이 가장 간단한 논리 연산은 입력 피연산자의 반대입니다. 전자 제품에서는이 동작을 역전이라고도합니다. 예를 들어 "참"판정을 반전하면 결과는 "거짓"입니다. 반대로 "false"값을 부정하면 "true"값이됩니다. 프로그래밍에서 이러한 논리적 연산은 알고리즘을 분기하고 이미 사용 가능한 결과 또는 변경된 조건을 기반으로 다음 명령어 세트의 "선택"을 구현하는 데 자주 사용됩니다.
이진 연산
프로그래밍 및 컴퓨터 과학에서제한된 이진 (이진) 연산 집합. 그들은 라틴어 bi ( "2"를 의미)에서 이름을 얻었으며 두 개의 인수를 입력으로 받아 하나의 새로운 값을 결과로 반환하는 일종의 함수입니다. 진리표는 부울 대수의 모든 기능을 설명하는 데 사용됩니다.
그들은 무엇을 위해 필요합니까?
이 시스템은 특정입력 피연산자의 수와 주어진 논리 연산이 주어진 입력 매개 변수 세트에 대해 반환 할 수있는 모든 결과 값을 설명합니다.
컴퓨터 과학 및 컴퓨팅에서 가장 일반적으로 사용되는 함수는 논리적 더하기 (분리) 및 논리적 곱하기 (결합) 연산입니다.
접속사
논리 AND 연산은 선택 기능입니다.2 개 또는 n 개의 입력 피연산자 중 가장 작은 것. 입력에서이 함수는 2 개 (이진 함수), 3 개 값 (삼항) 또는 무제한의 피연산자 (n 항 연산)를 가질 수 있습니다. 함수의 결과를 평가할 때 제공된 입력 값 중 가장 작은 값이됩니다.
일반 대수의 유사점은 다음과 같습니다.곱셈. 따라서 결합 연산을 종종 논리 곱셈이라고합니다. 함수를 작성할 때 부호는 곱하기 기호 (점) 또는 암페어입니다. 이 함수에 대한 진리표를 컴파일하면 모든 입력 피연산자가 true 인 경우에만 함수가 "true"또는 1 값을 취하는 것을 볼 수 있습니다. 입력 매개 변수 중 하나 이상이 0이거나 값이 "false"이면 함수의 결과도 "false"가됩니다.
이것은 산술 곱셈과의 유사성을 반영합니다.임의의 숫자와 숫자 집합에 0을 곱하면 항상 0이 반환됩니다.이 논리 연산은 교환 적입니다. 입력 매개 변수를받는 순서는 계산의 최종 결과에 영향을주지 않습니다.
이 함수의 또 다른 속성은연관성 또는 조합. 이 속성을 사용하면 이진 연산 시퀀스를 계산할 때 계산 순서를 무시할 수 있습니다. 따라서 3 개 이상의 순차적 논리 곱셈 연산의 경우 괄호를 고려할 필요가 없습니다. 프로그래밍에서이 기능은 특정 조건 집합이 충족 될 때만 특정 명령이 실행되도록하는 데 자주 사용됩니다.
분리
논리 연산 "OR"-일종의 부울 함수,대수적 덧셈과 유사합니다. 이 함수의 다른 이름은 논리적 더하기, 분리입니다. 논리적 곱셈 연산과 마찬가지로 분리는 이진 (두 인수를 기반으로 값 계산), 삼항 또는 n 항이 될 수 있습니다.
주어진 논리 연산에 대한 진실 테이블결합에 대한 일종의 대안입니다. 논리 OR 연산은 제공된 인수 중 최대 결과를 계산합니다. Disjunction은 출력에서 "false"값을 취하거나 모든 입력 매개 변수가 0 ( "false") 값과 함께 제공되는 경우에만 0을 사용합니다. 다른 경우에는 출력이 "true"또는 1이됩니다.이 함수를 작성하려면 수학 기호 ( "플러스") 또는 두 개의 수직 줄무늬가 가장 자주 사용됩니다. 두 번째 옵션은 대부분의 프로그래밍 언어에서 일반적이며 논리 연산과 산술 연산을 명확하게 구분할 수 있기 때문에 선호됩니다.
논리 연산의 일반 속성
단항 여부에 관계없이 기본 논리 연산,이진, 삼항 또는 기타 함수는 해당 동작을 설명하는 특정 규칙 및 속성의 적용을받습니다. 위에서 설명한 논리 함수가 갖는 기본 속성 중 하나는 교환 성입니다.
이 속성은 순열이피연산자의 자리, 함수의 값은 변경되지 않습니다. 모든 작업에이 속성이있는 것은 아닙니다. commutativity의 요구 사항을 충족하는 결합 및 분리와 달리 행렬 곱셈 함수는 그렇지 않으며이 연산에서 요소의 순열은 결과의 변화와 지수화를 초래합니다.
추가 측면
전자 및 회로에서 자주 사용되는 또 다른 중요한 속성은 De Morgan의 법칙에 대한 논리 연산 쌍의 종속입니다.
이 법칙은 논리 연산 쌍을논리적 부정 기능을 사용하여 하나의 논리적 연산을 다른 것을 사용하여 표현할 수 있습니다. 예를 들어 접속사의 부정 함수는 개별 피연산자의 음수 분리를 사용하여 표현할 수 있습니다. 이러한 법칙의 도움으로 논리 연산 "AND", "OR"을 상호 표현하고 최소한의 하드웨어 비용으로 구현할 수 있습니다. 이 속성은 미세 회로를 계산하고 형성 할 때 리소스를 절약하기 때문에 회로에서 매우 유용합니다.
