한곳에서 찾는 논리 자료

통합검색

연구와 학습, 시험과 도서를 한곳에서 찾습니다.

검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.

세 연구자가 논문과 도표를 함께 검토하고 작은 갈색 안경 올빼미가 곁에서 책을 읽는 모습

관심 주제로 찾아보기

조건 초기화

검색 결과16건

검색 결과 제목

  1. 1‘확인했습니다’는 주장에 동의했다는 뜻일까?
  2. 2‘또 늦었다’의 ‘또’는 실제 반복을 증명할까?
  3. 3가능한 세계마다 이름을 붙이면 보통 양상논리보다 무엇을 더 말할 수 있을까?
  4. 4풀지 못한 정리에서 다시 배우면 자동증명기는 더 강해질까?
  5. 5인공지능(AI)가 풀이의 갈림길로 돌아가면 더 잘 풀 수 있을까?
대기, 응시, 제출 세 상태와 응시 상태 이름 e, 현재 위치에서 e로 평가점을 옮기는 화살표

가능한 세계마다 이름을 붙이면 보통 양상논리보다 무엇을 더 말할 수 있을까?

대기, 응시, 제출 세 상태와 응시 상태 이름 e, 현재 위치에서 e로 평가점을 옮기는 화살표
논리의 기초와 역사논리학 배우기 · 개념·이론 · 일반

가능한 세계마다 이름을 붙이면 보통 양상논리보다 무엇을 더 말할 수 있을까?

혼합논리는 한 세계에서만 참인 ‘이름 명제’와 특정 세계로 평가 지점을 옮기는 연산자를 더해, 시간·상태의 동일성과 국소 사실을 표현합니다.

Hybrid Logic

게시 2026-09-13 · 약 9분논리학 학습 글 읽기 →
풀지 못한 정리에서 다시 배우면 자동증명기는 더 강해질까?의 질문, 방법, 결과와 적용 범위를 세 단계 카드로 정리한 교육용 도식

풀지 못한 정리에서 다시 배우면 자동증명기는 더 강해질까?

풀지 못한 정리에서 다시 배우면 자동증명기는 더 강해질까?의 질문, 방법, 결과와 적용 범위를 세 단계 카드로 정리한 교육용 도식
인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

풀지 못한 정리에서 다시 배우면 자동증명기는 더 강해질까?

HyperTree Proof Search는 증명 탐색 결과를 온라인 학습에 되돌려 훈련 분포 밖 정리의 탐색 정책을 개선한다.

HyperTree Proof Search for Neural Theorem Proving

게시 2026-09-13 · 약 11분해외 논리학 연구 해설 읽기 →
2,3,4,6에서 6÷2=3을 선택하여 남은 수3,3,4, 이어3+3=6과6×4=24로 진행하는 검산표. 다른 첫 선택은 미검토.

인공지능(AI)가 풀이의 갈림길로 돌아가면 더 잘 풀 수 있을까?

2,3,4,6에서 6÷2=3을 선택하여 남은 수3,3,4, 이어3+3=6과6×4=24로 진행하는 검산표. 다른 첫 선택은 미검토.
인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

인공지능(AI)가 풀이의 갈림길로 돌아가면 더 잘 풀 수 있을까?

생각의 나무는 중간 풀이를 여러 갈래로 만들고 평가하여 탐색합니다. 유망하다는 판단과 실제 정답 검사는 따로 보아야 합니다.

Tree of Thoughts: Deliberate Problem Solving with Large Language Models

게시 2026-09-13 · 약 8분해외 논리학 연구 해설 읽기 →

1–5 / 16편