코너 안내끝자리는 둘인데, 네 지역이 끝자리를 요구한다논리학 배우기
끝자리는 둘인데, 네 지역이 끝자리를 요구한다
모든 다리를 한 번씩 쓰는 한 여행을 가정한다. 중간 지역에서는 들어옴·나감이 짝을 이룬다. 홀수 지역은 출발·도착 두 곳만 가능하다. 실제 연결망에는 홀수 지역이 네 곳이다. 따라서 주어진 규칙의 여행은 불가능하다.
한곳에서 찾는 논리 자료
통합검색
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
검색 결과241건
검색 결과 제목
코너 안내땅은 점으로, 다리는 서로 구별되는 선으로논리학 배우기
땅은 점으로, 다리는 서로 구별되는 선으로
왼쪽 위 나, 왼쪽 가운데 가, 왼쪽 아래 다, 오른쪽 라를 연결한다. 나와 가 사이 1·2, 가와 다 사이 3·4, 가와 라 사이 5, 나와 라 사이 6, 다와 라 사이 7. 차수는 가 5, 나 3, 다 3, 라 3이다.
코너 안내프레게와 퍼스 · 선의 위치로 조건문을 읽다논리학 배우기
프레게와 퍼스 · 선의 위치로 조건문을 읽다
프레게의 조건문에서 위 가지는 확인 메일을 받았다는 Q, 아래 가지는 자료를 제출했다는 P다. 맨 왼쪽의 짧은 세로선은 전체 내용에 대한 판단 표시다.
코너 안내괴델 정리는 ‘아무것도 증명할 수 없다’는 뜻일까?논리학 배우기
괴델 정리는 ‘아무것도 증명할 수 없다’는 뜻일까?
개별 증명 기록 검사, 체계 F 내부의 증명 가능성, 더 강한 메타이론 M의 설명을 세 층으로 나누고 불완전성 정리의 적용 범위를 표시한 표.
코너 안내사람의 풀이 개요가 자동 증명기의 길잡이가 될 수 있을까?논리학 배우기
사람의 풀이 개요가 자동 증명기의 길잡이가 될 수 있을까?
비형식 풀이 초안, 빈칸 있는 형식 스케치, 커널 검증 증명의 관계와 검토 지점을 설명하는 LTCT 교육용 도식.
191–195 / 241편