코너 안내설계된 절차와 실행된 기계를 구별한다논리학 배우기
설계된 절차와 실행된 기계를 구별한다
1843년 공개 문헌, 단계별 값 변화, 명령과 자료의 분리가 설계된 실행 절차라는 결론을 지지하지만, 완성 기계의 실제 성공과 단독 저자 범위는 별도 증거가 필요하다는 논증도
한곳에서 찾는 논리 자료
통합검색
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
검색 결과1434건
검색 결과 제목
코너 안내한 줄의 연산이 기계 전체의 상태를 바꾼다논리학 배우기
한 줄의 연산이 기계 전체의 상태를 바꾼다
저장 열 V1에 3, V2에 2, V3에 4를 둔 뒤 1단계에서 V1과 V2를 더해 V4에 5를 저장하고, 2단계에서 V4와 V3을 곱해 V5에 20을 저장하는 현대적 실행 추적표
코너 안내한 사람의 발명보다 여러 기록의 연결을 먼저 본다논리학 배우기
한 사람의 발명보다 여러 기록의 연결을 먼저 본다
1830년대 중반 분석기관 구상, 1840년 토리노 강연, 1842년 메나브레아의 프랑스어 논문, 1843년 러브레이스의 번역과 주석 출판을 아래로 잇는 연표
코너 안내수를 보관하는 곳과 계산하는 곳을 분리하다논리학 배우기
수를 보관하는 곳과 계산하는 곳을 분리하다
위쪽의 연산 카드와 변수 카드가 각각 계산 종류와 저장 열을 지정하고, 가운데 저장고와 공장이 수를 주고받은 뒤 아래쪽 결과 기록으로 보내는 구조도
코너 안내추론 규칙도 전제로 적으면 논증이 더 확실해질까?논리학 배우기
추론 규칙도 전제로 적으면 논증이 더 확실해질까?
전제 A와 B에서 결론 C로 가기 위해 규칙을 전제로 계속 추가하면 R1, R2, R3가 끝없이 늘고, 규칙 적용은 별도로 남는 도식
941–945 / 1434편