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