국가전거
주제명검색
주제정보 MARC보기 LOD
수리 논리학[數理論理學]
KSH1998000472용어범주주제어
관련 창작물9건
용어설명논리학에서 사용하는 명제들을 수학적인 기호로 표시하여 일상 언어의 사용에서 오는 혼동을 피하고 명제를 쉽게 다룰 수 있도록 한 것. 예를 들면, ‘X는 Y의 아들이다’라는 명제는 SON(X, Y)라는 술어로 나타낼 수 있다. 이들 술어는 한정 기호에 의해 한정되고 AND(∧), OR(∨), NOT(~)의 연결사에 의해 연결되어 잘 정의된 식(wff:well formed formula)을 이룬다. 또 수리 논리학은 이러한 wff들을 다루는 수리적 규칙을 정의하여 이들을 쉽게 다룰 수 있도록 한다. 특히 인공 지능 분야의 기초가 되는 지식으로 많이 응용된다.
용어관계※ 용어관계도는 PC화면에서 확인하시기 바랍니다. 용어 관계도
관계유형
동의어(1)
영어(1)
상위어(1) 하위어(5) 관련어(13)
상위어(1) 하위어(5) 관련어(13)
관계
관계주제어
관계 주제어
관계
상위어(BT)
제목
논리학[論理學]
관계
하위어(NT)
제목
속(수학)[束]
관계
하위어(NT)
관계
하위어(NT)
제목
임계 논리[臨界論理]
관계
하위어(NT)
제목
집합론[集合論]
관계
하위어(NT)
제목
초수학[超數學]
관계
관련어(RT)
제목
가설(논리학)[假說]
관계
관련어(RT)
제목
귀납법[歸納法]
관계
관련어(RT)
관계
관련어(RT)
제목
논리 대수[論理代數]
관계
관련어(RT)
제목
명제 함수[命題函數]
관계
관련어(RT)
제목
수리 논리[數理論理]
관계
관련어(RT)
제목
스위칭 이론[--理論]
관계
관련어(RT)
제목
언어학[言語學]
관계
관련어(RT)
관계
관련어(RT)
제목
정리(수학)[定理]
관계
관련어(RT)
제목
철학(사상)[哲學]
관계
관련어(RT)
제목
함수[函數]
관계
관련어(RT)
창작물
번호
제목
저자
발행년도
발행처
창작물
상세검색
용어 관계도
[상위어]
논리학[論理學]
[주제어]
수리 논리학[數理論理學]
[동의어]
동의어 (UF)수학적 논리학[數學的論理學]
영어 (ENG)mathematical logic
영어 (ENG)mathematical logic
[관련어]
가설(논리학)[假說]
귀납법[歸納法]
기호 논리학[記號論理學]
논리 대수[論理代數]
명제 함수[命題函數]
수리 논리[數理論理]
스위칭 이론[--理論]
언어학[言語學]
오토마타 이론[--理論]
정리(수학)[定理]
철학(사상)[哲學]
함수[函數]
형식 논리학[形式論理學]
귀납법[歸納法]
기호 논리학[記號論理學]
논리 대수[論理代數]
명제 함수[命題函數]
수리 논리[數理論理]
스위칭 이론[--理論]
언어학[言語學]
오토마타 이론[--理論]
정리(수학)[定理]
철학(사상)[哲學]
함수[函數]
형식 논리학[形式論理學]
[하위어]
속(수학)[束]
수학 기초론[數學基礎論]
임계 논리[臨界論理]
집합론[集合論]
초수학[超數學]
수학 기초론[數學基礎論]
임계 논리[臨界論理]
집합론[集合論]
초수학[超數學]
MARC 보기
담당부서 : 국가서지과 (02-590-6361)
