한곳에서 찾는 논리 자료

통합검색

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

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

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

관심 주제로 찾아보기

조건 초기화

검색 결과124건

검색 결과 제목

  1. 1620분 회의에서 근거·반론·결정 시간을 어떻게 나눌까?
  2. 177일 뒤 60%와 30일 뒤 60%, ‘유지율이 같다’고 써도 될까?
  3. 18실행하기 전에, 계산량을 보증할 수 있을까요?
  4. 19‘그가 책을 건넸을 때 그는 웃었다’의 두 ‘그’는 같은 사람일까?
  5. 20지원 자격을 갖췄으니 합격이 확정됐을까?
논문 대담Yves Lafont, Soft Linear Logic and Polynomial Time (2004)Theoretical Computer Science, 318(1–2), 163–180
논리의 기초와 역사해외 학술 연구 · 논문 대담 · 심화

실행하기 전에, 계산량을 보증할 수 있을까요?

이브 라퐁의 《Soft Linear Logic and Polynomial Time》(2004)을 따라, 복제의 규칙에서 계산량의 상한까지 읽습니다. 14개의 문답, 15개의 생각그림과 세 가지 실험으로 다항시간 보증의 조건을 확인합니다.

Yves Lafont, Soft Linear Logic and Polynomial Time (2004)

게시 2026-10-04해외 논리학 연구 해설 읽기 →
읽기·생활 추론Employing the Centering Theory in Pronoun Resolution from the Semantic Perspective논리학 배우기
인간의 사고와 추론논리학 배우기 · 읽기·생활 추론 · 일반

‘그가 책을 건넸을 때 그는 웃었다’의 두 ‘그’는 같은 사람일까?

이름·담화 중심·앞 문맥·행동 의미를 바꾸어 민재와 도윤 가운데 남는 지시 후보와 보완할 단서를 비교합니다.

Employing the Centering Theory in Pronoun Resolution from the Semantic Perspective

게시 2026-10-04 · 약 28분논리학 학습 글 읽기 →

16–20 / 124편