00000nz  a2200000n  4500
001  KSH1998000472
005  19990602114847
008  980429 n azknn|abn          |a a|a    | 
150  ▼a수리 논리학[數理論理學]▲
450  ▼a수학적 논리학[數學的論理學]▲
450  ▼wr▼i영어▼amathematical logic▲
550  ▼wg▼a논리학[論理學]▲
550  ▼wh▼a속(수학)[束]▲
550  ▼wh▼a수학 기초론[數學基礎論]▲
550  ▼wh▼a임계 논리[臨界論理]▲
550  ▼wh▼a집합론[集合論]▲
550  ▼wh▼a초수학[超數學]▲
550  ▼a가설(논리학)[假說]▲
550  ▼a귀납법[歸納法]▲
550  ▼a기호 논리학[記號論理學]▲
550  ▼a논리 대수[論理代數]▲
550  ▼a명제 함수[命題函數]▲
550  ▼a수리 논리[數理論理]▲
550  ▼a스위칭 이론[--理論]▲
550  ▼a언어학[言語學]▲
550  ▼a오토마타 이론[--理論]▲
550  ▼a정리(수학)[定理]▲
550  ▼a철학(사상)[哲學]▲
550  ▼a함수[函數]▲
550  ▼a형식 논리학[形式論理學]▲
680  ▼i논리학에서 사용하는 명제들을 수학적인 기호로 표시하여 일상 언어의 사용에서 오는 혼동을 피하고 명제를 쉽게 다룰 수 있도록 한 것. 예를 들면, ‘X는 Y의 아들이다’라는 명제는 SON(X, Y)라는 술어로 나타낼 수 있다. 이들 술어는 한정 기호에 의해 한정되고 AND(∧), OR(∨), NOT(~)의 연결사에 의해 연결되어 잘 정의된 식(wff:well formed formula)을 이룬다. 또 수리 논리학은 이러한 wff들을 다루는 수리적 규칙을 정의하여 이들을 쉽게 다룰 수 있도록 한다. 특히 인공 지능 분야의 기초가 되는 지식으로 많이 응용된다.▲