한곳에서 찾는 논리 자료

통합검색

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

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

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

관심 주제로 찾아보기

조건 초기화

검색 결과71건

검색 결과 제목

  1. 26증명과 프로그램은 어떻게 같은 구조를 가질까?
  2. 27전국 무작위 실험과 43편 메타분석이 모두 ‘마인드셋 효과’를 말할까?
  3. 28증명은 결론만 맞으면 끝일까?
  4. 29‘60%가 완료했다’에서 누구 중 60%일까?
  5. 30조건을 만족하는 시간표, 하나만 가능할까?
논리곱은 값의 쌍, 논리합은 표시가 붙은 선택, 함의는 입력을 출력으로 바꾸는 함수와 대응한다는 세 줄 도식.

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

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

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

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

Propositions as Types

게시 2026-09-20 · 약 8분해외 논리학 연구 해설 읽기 →
연구 비교A national experiment reveals where a growth mindset improves achievement해외 학술 연구
논리교육과 평가해외 학술 연구 · 연구 비교 · 일반

전국 무작위 실험과 43편 메타분석이 모두 ‘마인드셋 효과’를 말할까?

전국 9학년 무작위 실험과 여러 연구 메타분석을 선택해 표본·설계·대상에 따라 허용되는 결론을 구분합니다.

A national experiment reveals where a growth mindset improves achievement

게시 2026-09-16 · 약 32분해외 논리학 연구 해설 읽기 →
전제 A에서 규칙 A이면 B로 B를 얻고, B이면 C로 C에 도달하는 세 개의 상자가 화살표로 연결되어 있다.

증명은 결론만 맞으면 끝일까?

전제 A에서 규칙 A이면 B로 B를 얻고, B이면 C로 C에 도달하는 세 개의 상자가 화살표로 연결되어 있다.
논리의 기초와 역사논리학 배우기 · 개념·이론 · 일반

증명은 결론만 맞으면 끝일까?

증명을 참인 문장의 목록이 아니라 규칙에 따라 만들어지고 다시 검사할 수 있는 대상으로 봅니다. 증명 줄의 순서를 직접 바꾸어 근거 연결을 확인하세요.

Proof Theory

게시 2026-09-16 · 약 8분논리학 학습 글 읽기 →
쓰기Analyzing and Interpreting Data논리학 배우기
인간의 사고와 추론논리학 배우기 · 쓰기 · 일반

‘60%가 완료했다’에서 누구 중 60%일까?

같은 완료 인원을 참여자와 전체 초대 집단이라는 서로 다른 분모로 계산하고, 비교 기준에 맞춰 결론 문장의 범위를 고칩니다.

Analyzing and Interpreting Data

게시 2026-09-14 · 약 25분논리학 학습 글 읽기 →
실습Lecture 3: Optimization · Constraint Satisfaction논리학 배우기
인간의 사고와 추론논리학 배우기 · 실습 · 일반

조건을 만족하는 시간표, 하나만 가능할까?

세 모임의 순서를 여섯 가지로 펼쳐 보고, 조건을 하나씩 적용하면서 가능한 배치와 유일한 배치를 구별합니다.

Lecture 3: Optimization · Constraint Satisfaction

게시 2026-09-13 · 약 15분논리학 학습 글 읽기 →

26–30 / 71편