실습Active Learning — Gallery Walk논리학 배우기
모든 포스터를 보는 갤러리 워크 시간표 만들기
참여 인원·모둠 크기·포스터 수·순환 횟수를 바꾸어 모둠 수, 한 지점의 최대 모둠 수, 관람 범위, 시간과 메모지 수를 계산한다.
Active Learning — Gallery Walk
게시 2026-10-06 · 약 22분논리학 학습 글 읽기 →
한곳에서 찾는 논리 자료
통합검색
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
검색 결과602건
검색 결과 제목
읽기·생활 추론Generalized Quantifiers논리학 배우기
‘모두 오지 않았다’는 몇 명이 왔다는 뜻일까
부정이 ‘모두’보다 넓게 작용하는지, 각 사람에게 작용하는지 구분하고 문맥 단서에 따라 가능한 참석 인원을 다시 계산한다.
Generalized Quantifiers
게시 2026-10-06 · 약 18분논리학 학습 글 읽기 →
논문 대담Gerhard Gentzen, Untersuchungen über das logische Schließen I–II (1935)Mathematische Zeitschrift, 39, 176–210 and 405–431
증명은 결론에 들어 있는 개념만으로 다시 쓸 수 있을까요?
게르하르트 겐첸의 「Untersuchungen über das logische Schließen」 I–II(1935)를 따라, 자연연역과 시퀀트 계산에서 컷 제거와 부분식 성질이 증명의 정보를 어떻게 드러내는지 읽습니다. 14개의 문답, 15개의 생각그림과 세 가지 실험을 담았습니다.
Gerhard Gentzen, Untersuchungen über das logische Schließen I–II (1935)
게시 2026-10-06해외 논리학 연구 해설 읽기 →
논문 대담Gerhard Gentzen, Die Widerspruchsfreiheit der reinen Zahlentheorie (1936)Mathematische Annalen, 112, 493–565
산술의 증명은 끝없이 내려갈 수 있을까요?
게르하르트 겐첸의 「Die Widerspruchsfreiheit der reinen Zahlentheorie」(1936)를 따라, 산술 증명에 ε₀ 아래 순서수 표기를 붙이고 환원 때마다 값이 감소한다는 사실에서 무모순성을 얻는 과정을 읽습니다. 14개의 문답, 15개의 생각그림과 세 가지 실험을 담았습니다.
Gerhard Gentzen, Die Widerspruchsfreiheit der reinen Zahlentheorie (1936)
게시 2026-10-06해외 논리학 연구 해설 읽기 →
논문 대담Jeroen Groenendijk, The Logic of Interrogation: Classical Version (1999)Proceedings of Semantics and Linguistic Theory 9, 109–126
질문을 던지면, 대화의 가능성은 어떻게 갈라질까요?
예룬 흐룬데이크의 「The Logic of Interrogation: Classical Version」(1999)을 따라, 질문이 가능세계들을 답의 대안으로 나누고 관련 있는 답이 쟁점을 줄이는 과정을 읽습니다. 14개의 문답, 15개의 생각그림과 세 가지 실험을 담았습니다.
Jeroen Groenendijk, The Logic of Interrogation: Classical Version (1999)
게시 2026-10-06해외 논리학 연구 해설 읽기 →
126–130 / 602편