수리논리와 집합론 입문 =Proofmood, a computer logic system
Export
| 저자정보 | 정주희 지음 | ||||
|---|---|---|---|---|---|
| 출판사 | 경문사 | ||||
| 책소개 | 이 책은 대학에서 수리논리학과 집합론의 교재로 활용할 수 있도록 쓰였다. 학생이 작성한 증명에 오류가 있는지를 컴퓨터가 판별해 줌으로써 엄격한 수학적 증명의 훈련을 받도록 하였다. | ||||
| 출판연월 | 2012 | ISBN | 9788961055499 | ||
| Vol | 주제분야 | 410.17 [자연과학 > 수학 > 수학] |
총 대출건수 | 264 | |
대출 추이
Loading...
추천도서
1
2
3
4
도서 소장 도서관
지역별 도서 소장 도서관을 조회합니다.
지역
세부 지역
| No | 도서관명 | 홈페이지 | 주소 |
|---|---|---|---|
| 지역 선택 후 조회하시기 바랍니다. | |||