한곳에서 찾는 논리 자료

통합검색

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

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

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

관심 주제로 찾아보기

조건 초기화

검색 결과1588건

검색 결과 제목

  1. 481증명과 프로그램은 어떻게 같은 구조를 가질까?
  2. 482인공지능(AI)가 생각과 행동을 번갈아 하면 무엇이 달라질까?
  3. 483다시 읽기보다 꺼내 보는 연습이 오래 남을까?
  4. 484익명 아이디어 12개를 세 기준으로 빠짐없이 검토하려면?
  5. 48552%±7%인데 ‘절반 이상이 찬성했다’고 써도 될까?
논리곱은 값의 쌍, 논리합은 표시가 붙은 선택, 함의는 입력을 출력으로 바꾸는 함수와 대응한다는 세 줄 도식.

증명과 프로그램은 어떻게 같은 구조를 가질까?

논리곱은 값의 쌍, 논리합은 표시가 붙은 선택, 함의는 입력을 출력으로 바꾸는 함수와 대응한다는 세 줄 도식.
논리의 기초와 역사해외 학술 연구 · 연구 해설 · 일반

증명과 프로그램은 어떻게 같은 구조를 가질까?

논리식의 연결 방식과 프로그램의 자료형·계산 규칙이 대응한다는 명제-유형 대응을 살펴봅니다. 명제에 맞는 프로그램 구성법을 직접 골라 보세요.

Propositions as Types

게시 2026-09-20 · 약 8분해외 논리학 연구 해설 읽기 →
생각, 행동, 관찰, 갱신된 생각, 최종 답이 순서대로 이어지고 관찰에서 계획으로 되먹임 화살표가 연결된 흐름도.

인공지능(AI)가 생각과 행동을 번갈아 하면 무엇이 달라질까?

생각, 행동, 관찰, 갱신된 생각, 최종 답이 순서대로 이어지고 관찰에서 계획으로 되먹임 화살표가 연결된 흐름도.
인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

인공지능(AI)가 생각과 행동을 번갈아 하면 무엇이 달라질까?

언어모델이 추론 흔적과 외부 행동·관찰을 번갈아 생성하는 ReAct 연구를 살펴봅니다. 전략과 환경 변화를 바꾸어 검증 가능한 경로를 비교하세요.

ReAct: Synergizing Reasoning and Acting in Language Models

게시 2026-09-20 · 약 9분해외 논리학 연구 해설 읽기 →
SSSS, SSST, STTT 세 학습 순서와 일주일 망각률 52퍼센트, 28퍼센트, 14퍼센트를 길이가 다른 막대로 비교한 그래프.

다시 읽기보다 꺼내 보는 연습이 오래 남을까?

SSSS, SSST, STTT 세 학습 순서와 일주일 망각률 52퍼센트, 28퍼센트, 14퍼센트를 길이가 다른 막대로 비교한 그래프.
논리교육과 평가해외 학술 연구 · 연구 해설 · 일반

다시 읽기보다 꺼내 보는 연습이 오래 남을까?

산문을 반복해서 읽는 조건과 기억에서 꺼내 쓰는 조건을 비교한 고전 실험을 살펴봅니다. 학습 순서를 바꾸어 일주일 뒤 망각률 차이를 확인하세요.

Test-Enhanced Learning: Taking Memory Tests Improves Long-Term Retention

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

481–485 / 1588편