따끈따끈! 신착 전자책

더보기

콘텐츠 상세보기
수리논리학


SMART
 

수리논리학

작가미상 | 연세대학교출판부

출간일
2009-06-04
파일형태
PDF
용량
0
지원 기기
PC 스마트폰태블릿PC
대출현황
보유2, 대출0, 예약중0
콘텐츠 소개
목차
한줄서평

콘텐츠 소개

多者間條約을 현대 논리학의 특징을 간단히 말하면, “엄밀한 수학적인 방법에 의한 연구”라고 말할 수 있다. 수학과는 달리, 철학 특유의 영역에 속한다고 생각해 온 고전적인 形式論理學이라고 부른다. 이 수리논리학은 수학, 언어학, 철학, 전자계산학 등이 여러 학문 분야에서 “기초적인 과목”으로 그 필요성이 많이 요구되는 학문이다

목차

[목차]

001. 명제논리
002. 술어논리
003. 형식적 자연수록과 불완전성 정리
004. 계산가능성과 TURING 기계

한줄서평

  • 10
  • 8
  • 6
  • 4
  • 2

(한글 300자이내)
리뷰쓰기
한줄 서평 리스트
평점 한줄 리뷰 작성자 작성일 추천수

등록된 서평이 없습니다.