한곳에서 찾는 논리 자료

통합검색

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

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

관심 주제로 찾아보기

읽기 난이도자료 유형조건 초기화

검색 결과124건

표시정렬

논리의 기초와 역사해외 학술 연구 · 연구 해설 · 일반

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

Propositions as Types

실습Evaluation Criteria논리학 배우기

인간의 사고와 추론논리학 배우기 · 실습 · 일반

참여 인원·모둠 정원·아이디어·기준·시간·익명 단계를 바꾸어 검토 칸, 가능한 회차, 완전 검토 아이디어와 준비물을 계산합니다.

Evaluation Criteria

대화RFC 7282: On Consensus and Humming in the IETF논리학 배우기

인간의 사고와 추론논리학 배우기 · 대화 · 일반

참여 인원·명시적 지지·이의 제기와 확인 방식을 바꾸어 침묵, 기록된 반대, 남은 쟁점과 다음 질문을 구분합니다.

RFC 7282: On Consensus and Humming in the IETF

읽기·생활 추론Hobs — Energy Efficient Products논리학 배우기

인간의 사고와 추론논리학 배우기 · 읽기·생활 추론 · 일반

대기전력·기기 수·대기 시간·개선 방식을 바꾸어 연간 전력 사용과 절감량, 가상 교체 부담의 회수 기간을 계산합니다.

Hobs — Energy Efficient Products

실습Toolkit to Support Evidence-Based Algebra Instruction in Middle and High School논리학 배우기

인간의 사고와 추론논리학 배우기 · 실습 · 일반

참여 인원·시간·모둠 정원·풀이 수·필요 검토 수를 바꾸어 완전 검토 풀이와 부족한 검토 칸을 계산합니다.

Toolkit to Support Evidence-Based Algebra Instruction in Middle and High School

56–60 / 124편