귀하는 로그인되어 있지 않습니다. 이대로 편집하면 귀하의 IP 주소가 편집 기록에 남게 됩니다.스팸 방지 검사입니다. 이것을 입력하지 마세요!== 연관 개념들 == === 논리학 관련 === * [[명제]] - 진릿값을 가지는 문장 * [[술어논리]] - 개체와 성질을 다루는 논리 * [[양상논리]] - 필연성과 가능성을 다루는 논리 * [[시간논리]] - 시간적 관계를 다루는 논리 * [[인식논리]] - 지식과 믿음을 다루는 논리 === 수학 관련 === * [[불 대수]] - 진릿값에 대한 대수적 구조 * [[격자 이론]] - 순서 구조와 연산 * [[토포스 이론]] - 논리와 집합론의 범주론적 접근 * [[모델 이론]] - 논리 체계의 의미론적 연구 === 철학 관련 === * [[진리론]] - 진리의 본질에 대한 이론들 * [[의미론]] - 언어와 의미의 관계 * [[인식론]] - 지식과 믿음의 정당화 * [[형이상학]] - 존재와 실재의 본질 === 컴퓨터과학 관련 === * [[계산 복잡도]] - 문제 해결의 계산적 어려움 * [[알고리즘]] - 문제 해결의 체계적 절차 * [[형식 검증]] - 시스템 정확성의 수학적 증명 * [[기계 학습]] - 데이터로부터 패턴 학습 편집 요약 가온 위키에서의 모든 기여는 크리에이티브 커먼즈 저작자표시-동일조건변경허락 라이선스로 배포된다는 점을 유의해 주세요(자세한 내용에 대해서는 가온 위키:저작권 문서를 읽어주세요). 만약 여기에 동의하지 않는다면 문서를 저장하지 말아 주세요. 또한, 직접 작성했거나 퍼블릭 도메인과 같은 자유 문서에서 가져왔다는 것을 보증해야 합니다. 저작권이 있는 내용을 허가 없이 저장하지 마세요! 취소 편집 도움말 (새 창에서 열림)