대구한의대학교 향산도서관

상세정보

부가기능

이산수학

상세 프로파일

상세정보
자료유형단행본
서명/저자사항이산수학/ Judith L. Gersting [저]; 김문현...[등] 역.
개인저자Gersting, Judith L.
김문현/ 김응모/ 엄영익/ 조대호/ 추현승
발행사항서울: 사이텍미디어, 2004.
형태사항xi, 606 p.: 삽화; 26 cm.
원서명Mathematical structures for computer science - 5th ed.
ISBN8955501420
일반주기부록 수록/
공역자: 김응모, 엄영익, 조대호, 추현승
서지주기색인수록
비통제주제어이산수학/,MATHEMATICAL/,수학/,STRUCTURE/,MATHEMATICALSTRUCTURE/,SCIENCE
분류기호413.5
언어한국어

소장정보

  • 소장정보

캠퍼스간대출 캠퍼스간대출 소재불명도서 소재불명도서 자료배달서비스 자료배달서비스 인쇄 인쇄

메세지가 없습니다
No. 등록번호 청구기호 소장처 도서상태 반납예정일 예약 서비스 매체정보
1 M0417147 413.5 G383m5ㄱ 삼성캠퍼스/종합자료실/ 대출가능 캠퍼스간대출 소재불명도서 자료배달서비스 인쇄 이미지
false|true|true|false |true|true |
 

목차

  • 목차

목차 일부

제1장 형식 논리
   1.1 서술, 기호 표현 그리고 항진 명제들 ... 2
   1.2 명제 논리 ... 23
   1.3 한정사, 술어, 타당성 ... 39
   1.4 술어 논리 ... 52
   1.5 논리 프로그래밍 ... 67
   1.6 정확성의 증명 ... 79
   제1장 복습 ... 89
   컴퓨터 프로그램 문제 ... 92
제2장 알...

more더보기

목차 전체


서평(리뷰)

  • 서평(리뷰)

태그

  • 태그

나의 태그

나의 태그 (0)

모든 이용자 태그

모든 이용자 태그 (0) 태그 목록형 보기 태그 구름형 보기
 
로그인폼