코너 안내자연어 증명에 참고문헌을 붙이면 자동으로 검증된 증명이 될까?논리학 배우기
자연어 증명에 참고문헌을 붙이면 자동으로 검증된 증명이 될까?
참고 정리 검색에서 자연어 증명 생성으로 이어진 뒤 인간 검토와 형식 검증 부재를 구분하는 흐름도
한곳에서 찾는 논리 자료
통합검색
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
통합검색2021건
검색 결과 제목
코너 안내‘아니다’는 언제 모순이고 언제 단순한 반대일까?논리학 배우기
코너 안내효과가 없어야 할 대조군에서 효과가 보이면 무엇을 의심해야 할까?논리학 배우기
효과가 없어야 할 대조군에서 효과가 보이면 무엇을 의심해야 할까?
숨은 원인이 주 노출·주 결과·음성 대조 결과에 연결되고, 노출에서 음성 대조로 가는 직접 화살표는 없어야 함을 표시한 DAG.
코너 안내영향이 없어야 할 대조군이 움직이면 무엇을 의심해야 할까?논리학 배우기
영향이 없어야 할 대조군이 움직이면 무엇을 의심해야 할까?
주 분석 → 교육 참여 → 올해 사고 / 음성대조 → 교육 참여 → 지난해 사고 / 연관 → 효과 아님 → 편향 점검을 비교하는 LTCT 교육용 도식
코너 안내자바스크립트에서 −1 % 7은 왜 6이 아니라 −1일까?논리학 배우기
자바스크립트에서 −1 % 7은 왜 6이 아니라 −1일까?
−1을 7로 나눌 때 0 쪽으로 버린 몫은 0, 나머지는 −1이고 0부터 6까지 순환 위치로 바꾸면 6인 비교
1286–1290 / 2021편