HOME > 상세정보

상세정보

Engines of logic : mathematicians and the origin of the computer

Engines of logic : mathematicians and the origin of the computer (9회 대출)

자료유형
단행본
개인저자
Davis, Martin , 1928-.
서명 / 저자사항
Engines of logic : mathematicians and the origin of the computer / Martin Davis.
발행사항
New York :   Norton ,   2001.  
형태사항
xii, 257 p. : ill. ; 25 cm.
ISBN
0393322297 (pbk.) 9780393322293 (pbk.)
일반주기
Originally published under the title "The Universal Computer"  
서지주기
Includes bibliographical references (p. [239]-247) and index.
일반주제명
Electronic digital computers -- History.
000 00992camuu22002774a 4500
001 000045345098
005 20080820111608
008 000510r20012000nyua b 001 0 eng
020 ▼a 0393322297 (pbk.)
020 ▼a 9780393322293 (pbk.)
035 ▼a (KERIS)REF000006010654
040 ▼a DLC ▼c DLC ▼d DLC ▼d 211009
042 ▼a pcc
050 4 ▼a QA76.17. ▼b D38 2001
082 0 4 ▼a 004/.09 ▼2 22
090 ▼a 004.09 ▼b D263e
100 1 ▼a Davis, Martin , ▼d 1928-.
245 1 0 ▼a Engines of logic : ▼b mathematicians and the origin of the computer / ▼c Martin Davis.
260 ▼a New York : ▼b Norton , ▼c 2001.
300 ▼a xii, 257 p. : ▼b ill. ; ▼c 25 cm.
500 ▼a Originally published under the title "The Universal Computer"
504 ▼a Includes bibliographical references (p. [239]-247) and index.
650 0 ▼a Electronic digital computers ▼x History.
740 0 ▼a Universal computer : the road from Leibniz to Turing
945 ▼a KINS

No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 중앙도서관/서고6층/ 청구기호 004.09 D263e 등록번호 111488541 도서상태 대출가능 반납예정일 예약 서비스 B M
No. 2 소장처 과학도서관/Sci-Info(2층서고)/ 청구기호 004.09 D263e 등록번호 121145086 도서상태 대출가능 반납예정일 예약 서비스 B M
No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 중앙도서관/서고6층/ 청구기호 004.09 D263e 등록번호 111488541 도서상태 대출가능 반납예정일 예약 서비스 B M
No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 과학도서관/Sci-Info(2층서고)/ 청구기호 004.09 D263e 등록번호 121145086 도서상태 대출가능 반납예정일 예약 서비스 B M

컨텐츠정보

저자소개

마틴 데이비스(지은이)

1950년에 프린스턴 대학교에서 박사학위를 받았다. 저명한 수학자이자 논리학자인 에밀 L. 포스트의 제자였으며 자동 연역 분야를 주로 연구했다. 2005년 현재 뉴욕대학교의 쿠란트연구소의 교수로 재직 중이다. 지은 책으로 <계산 가능성과 해결 불가능성> 등이 있다.

정보제공 : Aladin

관련분야 신착자료

김종원 (2020)