코너 안내자연어 증명에 참고문헌을 붙이면 자동으로 검증된 증명이 될까?논리학 배우기
자연어 증명에 참고문헌을 붙이면 자동으로 검증된 증명이 될까?
참고 정리 검색에서 자연어 증명 생성으로 이어진 뒤 인간 검토와 형식 검증 부재를 구분하는 흐름도
한곳에서 찾는 논리 자료
통합검색
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
검색 결과77건
검색 결과 제목
코너 안내풀지 못한 정리에서 다시 배우면 자동증명기는 더 강해질까?논리학 배우기
풀지 못한 정리에서 다시 배우면 자동증명기는 더 강해질까?
풀지 못한 정리에서 다시 배우면 자동증명기는 더 강해질까?의 질문, 방법, 결과와 적용 범위를 세 단계 카드로 정리한 교육용 도식
코너 안내증명에서는 규칙을 적용해 한 줄을 얻는다에서 전제, 규칙, 결론의 관계를 정리했다.논리학 배우기
증명에서는 규칙을 적용해 한 줄을 얻는다에서 전제, 규칙, 결론의 관계를 정리했다.
생각그림 11 · 증명에서는 규칙을 적용해 한 줄을 얻는다에서 전제, 규칙, 결론의 관계를 정리했다.
코너 안내‘증명할 수 있다’를 논리 기호로 만들면 무엇이 달라질까?논리학 배우기
‘증명할 수 있다’를 논리 기호로 만들면 무엇이 달라질까?
명제 A, A가 증명 가능하다는 상자 A, 상자 A이면 A라는 반성 원리, 그리고 이를 다시 상자로 감싼 뢰프 조건을 층별로 보여 주는 도식.
코너 안내인공지능(AI)가 쓸 만한 정리를 찾으면 증명도 끝난 걸까?논리학 배우기
인공지능(AI)가 쓸 만한 정리를 찾으면 증명도 끝난 걸까?
최종 목표 '라벨이 있고 날짜가 있다'가 '라벨이 있다: 전제로 해결'과 '날짜가 있다: 근거 필요'라는 두 하위 목표로 분기한다.
66–70 / 77편