한곳에서 찾는 논리 자료

통합검색

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

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

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

관심 주제로 찾아보기

조건 초기화

검색 결과35건

검색 결과 제목

  1. 1네 단계의 판단을 “예·아니요” 질문으로 구별할 수 있을까요?
  2. 2부울은 논리를 0과 1의 계산으로 바꾸었을까?
  3. 3두 풀이를 나란히 놓기만 하면 비교 학습이 일어날까?
  4. 4한 줄의 계산이 다음 줄을 낳으면 일반 증명이 될까?
  5. 5보올의 x와 1은 처음부터 참·거짓 숫자였을까?
논문 대담Denisa Diaconescu · Ioana Leuștean, Mutually Exclusive Nuances of Truth in Moisil Logic (2015)Scientific Annals of Computer Science 25(1), 69–88
논리의 기초와 역사해외 학술 연구 · 논문 대담 · 심화

네 단계의 판단을 “예·아니요” 질문으로 구별할 수 있을까요?

판단의 정도를 0, 1/3, 2/3, 1의 네 단계로 정했다고 합시다. “1/3 이상인가?”, “2/3 이상인가?”, “1인가?”에 답하면 어느 단계인지 알 수 있습니다. 이 답들을 정확히 한 단계를 표시하는 방식으로 바꾸며 모이실 논리의 연구를 읽습니다.

Denisa Diaconescu · Ioana Leuștean, Mutually Exclusive Nuances of Truth in Moisil Logic (2015)

전체 부류 1 안에서 x와 y의 겹침 xy, 여집합 1-x, 빈 부류 0을 연결해 보여 주는 부울 부류대수 교육 도해

부울은 논리를 0과 1의 계산으로 바꾸었을까?

전체 부류 1 안에서 x와 y의 겹침 xy, 여집합 1-x, 빈 부류 0을 연결해 보여 주는 부울 부류대수 교육 도해
역사 연재 47회논리학 배우기 · 역사 · 일반

부울은 논리를 0과 1의 계산으로 바꾸었을까?

조지 부울은 부류를 x·y·z로, 전체를 1로, 빈 부류를 0으로 나타내며 논리 추론을 계산하는 방법을 세웠다. 다만 그의 덧셈과 뺄셈, 0과 1은 오늘날의 불 대수나 컴퓨터 비트와 완전히 같지 않았다. 원전의 규칙을 직접 계산하고 두 체계의 닮음과 차이를 판별한다.

게시 2026-10-08 · 약 14분Visual Logic 역사 본문 읽기 →
같은 방정식의 묶음을 유지하는 풀이와 먼저 전개하는 풀이를 공통 원리, 다른 선택, 효율 조건으로 나란히 비교하는 표

두 풀이를 나란히 놓기만 하면 비교 학습이 일어날까?

같은 방정식의 묶음을 유지하는 풀이와 먼저 전개하는 풀이를 공통 원리, 다른 선택, 효율 조건으로 나란히 비교하는 표
논리교육과 평가해외 학술 연구 · 연구 해설 · 입문

두 풀이를 나란히 놓기만 하면 비교 학습이 일어날까?

같은 방정식의 두 풀이를 나란히 또는 차례로 제시하고 공통 원리·다른 선택·효율 조건 질문을 바꾸어 비교 기회의 구조를 확인합니다.

Does Comparing Solution Methods Facilitate Conceptual and Procedural Knowledge? An Experimental Study on Learning to Solve Equations

게시 2026-10-07 · 약 10분해외 논리학 연구 해설 읽기 →
세제곱 합 공식에서 기초 사례를 확인하고 n번째 식에 다음 세제곱을 더해 n 더하기 1번째 식으로 옮겨 가는 네 단계 현대적 재구성 도해

한 줄의 계산이 다음 줄을 낳으면 일반 증명이 될까?

세제곱 합 공식에서 기초 사례를 확인하고 n번째 식에 다음 세제곱을 더해 n 더하기 1번째 식으로 옮겨 가는 네 단계 현대적 재구성 도해
역사 연재 46회논리학 배우기 · 역사 · 일반

한 줄의 계산이 다음 줄을 낳으면 일반 증명이 될까?

11세기 알카라지와 12세기 알사마왈의 대수 저술에는 한 차수의 계산에서 다음 차수로 나아가는 절차가 나타난다. 현존 저술과 후대의 인용, 현대 연구자의 재구성을 구분하면서 이항계수 배열과 세제곱 합 공식을 검산하고, 반복되는 계산이 언제 일반 명제의 증명이 되는지 살펴본다.

게시 2026-10-07 · 약 14분Visual Logic 역사 본문 읽기 →

1–5 / 35편