증명과 프로그램은 어떻게 같은 구조를 가질까?
논리식의 연결 방식과 프로그램의 자료형·계산 규칙이 대응한다는 명제-유형 대응을 살펴봅니다. 명제에 맞는 프로그램 구성법을 직접 골라 보세요.
Propositions as Types
게시 2026-09-20 · 약 8분해외 논리학 연구 해설 읽기 →
한곳에서 찾는 논리 자료
통합검색
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
검색 결과412건
검색 결과 제목
인공지능(AI)가 생각과 행동을 번갈아 하면 무엇이 달라질까?
언어모델이 추론 흔적과 외부 행동·관찰을 번갈아 생성하는 ReAct 연구를 살펴봅니다. 전략과 환경 변화를 바꾸어 검증 가능한 경로를 비교하세요.
ReAct: Synergizing Reasoning and Acting in Language Models
게시 2026-09-20 · 약 9분해외 논리학 연구 해설 읽기 →
실습Evaluation Criteria논리학 배우기
익명 아이디어 12개를 세 기준으로 빠짐없이 검토하려면?
참여 인원·모둠 정원·아이디어·기준·시간·익명 단계를 바꾸어 검토 칸, 가능한 회차, 완전 검토 아이디어와 준비물을 계산합니다.
Evaluation Criteria
게시 2026-09-20 · 약 30분논리학 학습 글 읽기 →
연구 비교Predicting Adolescent Cognitive and Self-Regulatory Competencies From Preschool Delay of Gratification: Identifying Diagnostic Conditions해외 학술 연구
마시멜로를 오래 기다린 아이는 반드시 더 잘 자랄까?
초기 후속 연구와 더 큰 개념적 재검토, 배경 통제 여부와 적용 질문을 선택해 허용되는 결론과 빠진 인과 근거를 구분합니다.
Predicting Adolescent Cognitive and Self-Regulatory Competencies From Preschool Delay of Gratification: Identifying Diagnostic Conditions
게시 2026-09-19 · 약 32분해외 논리학 연구 해설 읽기 →
연구 비교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분해외 논리학 연구 해설 읽기 →
91–95 / 412편