상세정보
Export to Refworks부가기능
이산수학
상세 프로파일
| 자료유형 | 단행본 |
|---|---|
| 서명/저자사항 | 이산수학/ Judith L. Gersting 지음; 김문현...[외] 공역. |
| 개인저자 | Gersting, Judith L. 김문현 |
| 발행사항 | 서울: 사이텍 미디어, 2001. |
| 형태사항 | xi, 538 p.: 삽화; 26 cm. |
| 원서명 | Mathematical structures for computer science (4th ed.) |
| ISBN | 8988397827 |
| 서지주기 | 색인포함 |
| 비통제주제어 | 수학 |
| 분류기호 | 413.5 |
| 언어 | 한국어 |
소장정보
- 소장정보
캠퍼스간대출
소재불명도서
자료배달서비스
인쇄
| No. | 등록번호 | 청구기호 | 소장처 | 도서상태 | 반납예정일 | 예약 | 서비스 | 매체정보 |
|---|---|---|---|---|---|---|---|---|
| 1 | M0234282 | 413.5 G383m4ㄱ | 삼성캠퍼스/종합자료실/ | 대출가능 |
|
목차
- 목차
목차 일부
제1장 형식 논리
1.1 서술, 기호 표현 그리고 항진 명제들 ... 2
1.2 명제 논리 ... 23
1.3 한정사, 술어, 타당성 ... 39
1.4 술어 논리 ... 52
1.5 논리 프로그래밍 ... 67
1.6 정확성의 증명 ... 79
제1장 복습 ... 89
컴퓨터 프로그램 문제 ... 92
제2장 알...
