상세정보
Export to Refworks부가기능
계산가능성과 논리 : 수리논리학 입문 -: 哲學思想叢書
상세 프로파일
| 자료유형 | 단행본 |
|---|---|
| 서명/저자사항 | 계산가능성과 논리: 수리논리학 입문 -: 哲學思想叢書/ 조지 불로스, 리차드 제프리 지음; 김영정, 최훈, 강진호 옮김. |
| 개인저자 | 리차드 제프리 |
| 발행사항 | 서울: 文藝, 1996. |
| 형태사항 | 379 p.: 삽화; 23 cm. |
| 원서명 | Computability and Logic |
| 기타표제 | 부표제: 수리논리학 입문/ 哲學思想叢書 |
| ISBN | 89-310-0270-X |
| 일반주기 | Boolos, George S., Jeffrey, Richard C. |
| 비통제주제어 | 수리논리학 |
| 분류기호 | 174 |
| 언어 | 한국어 |
소장정보
- 소장정보
캠퍼스간대출
소재불명도서
자료배달서비스
인쇄
| No. | 등록번호 | 청구기호 | 소장처 | 도서상태 | 반납예정일 | 예약 | 서비스 | 매체정보 |
|---|---|---|---|---|---|---|---|---|
| 1 | M0131204 | 174 B724cㄱ | 삼성캠퍼스/종합자료실/ | 대출가능 |
|
목차
- 목차
목차 일부
옮긴이 서문 ... ⅸ
지은이 한국어판 서문 ... ⅹⅲ
지은이 초판 서문 ... ⅹⅴ
지은이 3판 서문 ... ⅹⅶ
1 열거가능성 ... 1
2 대각화 ... 14
3 튜링 기계 ... 25
4 바쁜 해리의 문제를 통한 계산불가능성 ... 43
5 대각화를 통한 계산불가능성 ... 54
6 주판 계산가능한 함수는 튜링 계산가능하다 ... 65
7 회귀 함...
