코너 안내증명을 한 번에 쓰고 오류 메시지로 고치면 될까?논리학 배우기
증명을 한 번에 쓰고 오류 메시지로 고치면 될까?
생성 → 전체 증명 → 첫 시도 / 검사 → Isabelle → 통과·오류 / 수리 → 실패+메시지 → 재검사를 비교하는 LTCT 교육용 도식
한곳에서 찾는 논리 자료
통합검색
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
검색 결과854건
검색 결과 제목
코너 안내한 번에 여러 번 맞히는 것과 며칠 간격으로 다시 맞히는 것 중 무엇이 오래갈까?논리학 배우기
한 번에 여러 번 맞히는 것과 며칠 간격으로 다시 맞히는 것 중 무엇이 오래갈까?
초기 한 세션의 반복과 월 수 다음 월요일의 간격 재학습을 나란히 놓고 한 달 뒤 회상을 비교하는 시간선
코너 안내믿음을 거두면 그 반대가 참이라고 믿어야 할까?논리학 배우기
믿음을 거두면 그 반대가 참이라고 믿어야 할까?
정상 믿음 P만 있는 상태, P와 그 부정을 모두 보류한 철회 상태, P의 부정을 수용한 수정 상태를 비교한 표.
코너 안내AI가 YAML의 yes를 스키마 확인 없이 참으로 읽어도 될까?논리학 배우기
AI가 YAML의 yes를 스키마 확인 없이 참으로 읽어도 될까?
같은 yes 값이 YAML 1.1 규칙에서는 불리언 참으로, YAML 1.2 핵심 스키마에서는 문자열 yes로 갈라지는 관계도
코너 안내상관계수가 0이면 관계가 없는 걸까?논리학 배우기
846–850 / 854편