00000nz  a2200000n  4500
001  KSH1998000458
005  20170524134445
008  980429 n azknn|abn          |a a|a    | 
150  ▼a논리 대수[論理代數]▲
450  ▼a논리 대수학[論理代數學]▲
450  ▼a부울 대수[--代數]▲
450  ▼a부울속[--束]▲
450  ▼a불 대수[--代數]▲
450  ▼a불리안 대수[--代數]▲
450  ▼wr▼i영어▼aBoolean algebra▲
450  ▼wr▼i영어▼aalgebra of logic▲
450  ▼wr▼i영어▼alogic algebra▲
550  ▼wg▼a대수학[代數學]▲
550  ▼wh▼a2치 논리 대수[二置論理代數]▲
550  ▼wh▼a벤 다이어그램[Venn diagram]▲
550  ▼wh▼a불 함수[--函數]▲
550  ▼a기호 논리학[記號論理學]▲
550  ▼a부호 이론[符號理論]▲
550  ▼a불 모형[--模型]▲
550  ▼a불 연산[--演算]▲
550  ▼a속(수학)[束]▲
550  ▼a수리 논리학[數理論理學]▲
550  ▼a스위칭 대수[--代數]▲
550  ▼a스위칭 이론[--理論]▲
550  ▼a이산 수학[離散數學]▲
550  ▼a집합론[集合論]▲
680  ▼i여러 가지 조건의 논리적 관계를 논리 기호로 나타내고, 이것을 대수의 계산과 같이 수식적으로 처리하는 것. 이 방법을 개발한 G. 불의 이름을 따서 불 대수라고도 하며 기호적 논리학 또는 수학적 논리학이라고도 한다. 언어의 뜻이 애매성을 피해 추상적 기호를 사용함으로써 기본적 관계를 형식적으로 설정하여 대수와 같이 일정한 법칙에 따라 연산을 하고, 그 결과에 의해 논증(論證)을 하는 학문이다. 디지털 기술에서는 이 논리 대수와 대응시켜 설명하는 경우가 많다.▲