기능목록>검색 : 해군사관학교 학술정보원

논리학 : 명제논리와 술어논리 = Logic

QR코드

미리보기 도서정보

도서 상세정보
자료유형 :	단행본
ISBN :	9788991273597
분류기호 :	160
개인저자 :	손병홍
서명/저자사항 :	논리학= Logic: 명제논리와 술어논리/ 손병홍 지음.
발행사항 :	서울: 장서원, 2008.
형태사항 :	340 p.; 25 cm.
일반주기 :	한자서명: 論理學
서지주기 :	참고문헌: p.339-340
분류기호 :	160
언어	한국어

소장정보

해군사관학교

예예약
인인쇄
SSMS
서서가부재
보보존서고
우우선정리예약
무무인예약대출

예약

1. 예약현황은 홈페이지 로그인 후 예약 페이지에 확인 가능합니다.
2. 도착 통보된 예약자료 대출을 원하지 않는 경우에는 예약 현황에서 취소할 수 있습니다.
3. 기타 문의사항은 도서관에 문의 바랍니다.

닫기

무인예약대출

1. 무인예약대출 현황은 홈페이지 로그인 후 무인예약대출 페이지에 확인 가능합니다.
2. 무인예약대출자료 대출을 원하지 않는 경우에는 무인예약대출 페이지에서 신청 또는 접수상태인 경우만 취소할 수 있습니다.
3. 희망대출일은 신청일로부터 최대 1주일 까지 가능합니다.
4. 희망대출일을 선택하지 않은 경우 대출대기 통보 후 1주일까지 기기에서 대출가능합니다.
5. 기타 문의사항은 도서관에 문의 바랍니다.

닫기

KMO200805557 권 호 :
발행년 : 2008
발행처 : 장서원

서 명 : 논리학=Logic:명제논리와 술어논리

목차
머리말
1부 논리학의 기본 개념들과 명제논리
1장 논리란 무엇인가?
2장 논증이란 무엇인가?
3장 실제로 좋은 논증이란 무엇인가?
4장 연역논리의 가장 기본적인 개념들은 무엇인가?
5장 명제논리의 구문론은 어떠한가?
6장 명제논리를 구성하는 기호들의 의미는 무엇인가?
7장 진리표란 무엇인가?
8장 진리표와 관계된 중요한 개념들은 무엇인가?
9장 진리 함수적 연결사와 컴퓨터와의 관계는 어떠한가?
10장 진리나무는 무엇인가?
11장 형식증명이란 무엇인가?
12장 SD에서 연역논리의 기본개념들은 어떻게 검증되는가?
2부 술어논리
1장 명제논리와 술어논리의 차이점은 무엇인가?
2장 술어논리의 구문론은 어떠한가?
3장 술어논리에서의 번역은 어떻게 이루어지는가?
4장 술어논리의 의미론은 어떠한가?
5장 술어논리의 진리나무는 무엇인가?
6장 술어논리의 형식증명이란 무엇인가?
7장 PD에서 연역논리의 기본 개념들은 어떻게 검증되는가?
8장 술어논리는 어떠한 한계를 가지는가?
해답
참고문헌