검색 결과

...abel=컴퓨터 프로그램의 정확성(correctness)}} 엄격하게 추론하기 위한 일련의 논리적 규칙을 갖춘 [[형식 체계]]이다. 1969년 영국의 컴퓨터 과학자이자 [[수리 논리학|논리학자]]인 [[토니 호어]]는 호어 논리를 제안하였고, 이후 호어와 다른 연구자들이 호어 ...에 무한 루프가 없음을 의미한다. 이는 0으로 나누기 등 프로그램을 곧바로 중지시키는 구현 제한 위반이 없다는 것을 의미하지 않는다. 1969년 논문에서 호어는 구현 제한 위반이 없음을 수반하는 더 좁은 종료 개념을 사용하였다. 호어는 더 넓은 종료 개념을 선호한다고 하였는데, ...

1977년 파인만은 1969년 칼텍의 첫 여성 교수로 채용된 동료 [[w:Jenijoy La Belle|제니조이 라 벨<sub>Jenijoy La Belle</sub ...ynman"]. May 11, 2005.</ref> [[페르미 국립 가속기 연구소]]의 컴퓨팅 부서 본관은 그를 기리기 위해 "파인만 컴퓨팅 센터(Feynman Computing Center)"로 명명되었다.<ref>[https://fnal.gov/openhouse/compu ...