자료유형 | 단행본 |
---|---|
서명/저자사항 | 수학자, 컴퓨터를 만들다/ 마틴 데이비스 지음; 박정일, 장영태 [공]옮김. |
개인저자 | Davis, Martin 박정일/ 장영태 |
발행사항 | 서울: 지식의 풍경, 2005. |
형태사항 | 368 p.; 23 cm. |
원서명 | (The) Universal computer : the road from Leibniz to Turing |
기타표제 | 관제: 라이프니츠에서 튜링까지 |
ISBN | 8989047161 |
서지주기 | 참고문헌 및 색인 포함 |
비통제주제어 | 수학자/,컴퓨터 |
분류기호 | 410.1 |
언어 | 한국어 |
캠퍼스간대출 소재불명도서 자료배달서비스 인쇄
No. | 등록번호 | 청구기호 | 소장처 | 도서상태 | 반납예정일 | 예약 | 서비스 | 매체정보 |
---|---|---|---|---|---|---|---|---|
1 | M0334123 | 410.1 D263uㅂ | 삼성캠퍼스/종합자료실/ | 대출가능 | ||||
2 | M0334124 | 410.1 D263uㅂ C2 | 삼성캠퍼스/종합자료실/ | 대출가능 |
서문 ... 6
들어가며 ... 9
01 라이프니츠의 꿈 ... 11
02 불이 논리를 대수로 표현하다 ... 35
03 프레게, 환희에서 절망으로 ... 62
04 칸토어, 무한대를 통과하다 ... 88
05 구원에 나선 힐베르트 ... 119
06 괴델이 힐베르트 프로그램을 뒤엎어 버리다 ... 151
07 튜링이 만능 컴퓨터를 상상하다 ... 194
...