한곳에서 찾는 논리 자료

통합검색

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

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

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

관심 주제로 찾아보기

조건 초기화

검색 결과30건

검색 결과 제목

  1. 6온라인 회의에서 아무 말이 없으면 동의한 걸까?
  2. 7‘그 뒤’ 한마디가 사건 순서를 몇 가지에서 한 가지로 줄일까?
  3. 8규칙이 충돌할 때, 무엇부터 빼야 할까?
  4. 9파란 이름표를 받았으니 낭독회에 왔다고 말해도 될까?
  5. 10인공지능(AI)가 계산을 프로그램에 맡기면 어떤 오류가 남을까?
읽기·생활 추론Time Ontology in OWL논리학 배우기
인간의 사고와 추론논리학 배우기 · 읽기·생활 추론 · 일반

‘그 뒤’ 한마디가 사건 순서를 몇 가지에서 한 가지로 줄일까?

두 문장 사이의 시간 표현을 바꾸어 문 열기·불 켜기·메모 찾기의 가능한 순서를 6가지에서 좁히고, 본문 단서와 독자의 관습적 추측을 구분합니다.

Time Ontology in OWL

게시 2026-09-19 · 약 27분논리학 학습 글 읽기 →
조명 A, A이면 팬 B, 팬은 끔이라는 세 규칙이 충돌한다. 항상 참인 네 번째 규칙을 빼도 모순은 남는다.

규칙이 충돌할 때, 무엇부터 빼야 할까?

조명 A, A이면 팬 B, 팬은 끔이라는 세 규칙이 충돌한다. 항상 참인 네 번째 규칙을 빼도 모순은 남는다.
논리의 기초와 역사해외 학술 연구 · 연구 해설 · 일반

규칙이 충돌할 때, 무엇부터 빼야 할까?

모든 규칙을 한꺼번에 고치기 전에, 더는 줄일 수 없는 모순의 묶음을 찾아봅니다. 체크 상자로 규칙을 빼며 가능한 상태를 확인하세요.

Algorithms for Computing Minimal Unsatisfiable Subsets of Constraints

게시 2026-09-15 · 약 7분해외 논리학 연구 해설 읽기 →
할인후쿠폰은15000원 쿠폰후할인은15300원으로 실행가능한 두 식의 결과가 다르다.

인공지능(AI)가 계산을 프로그램에 맡기면 어떤 오류가 남을까?

할인후쿠폰은15000원 쿠폰후할인은15300원으로 실행가능한 두 식의 결과가 다르다.
인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

인공지능(AI)가 계산을 프로그램에 맡기면 어떤 오류가 남을까?

프로그램 보조 언어모델은 문제 해석과 계산 실행의 역할을 나눕니다. 실행이 성공해도 문제를 제대로 옮겼는지 확인해야 하는 이유를 알아봅니다.

PAL: Program-aided Language Models

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

6–10 / 30편