- 판매자
-
꾸미팡팡
중고샵 판매자가 직접 등록/판매하는 상품으로 판매자가 해당 상품과 내용에 모든 책임을 집니다.
이미 소장하고 있다면 판매해 보세요.
- 한정판매의 특성상 재고 상황에 따라 품절 가능
중고도서 소개
|
책소개
목차
|
1. 수학적 조망
2. 수학적 경험의 다양성 3. 외부의 논쟁 4. 내부의 논쟁 - 용어해설 - 참고문헌 - 찾아보기 |
품목정보
- 발행일
- 1999년 10월 31일
- 쪽수, 무게, 크기
- 317쪽 | 크기확인중
책 속으로
|
인간인 독자는 형식 언어에 대해 극복하기 어려운 반감을 갖는 반면에 컴퓨터는 형식 언어를 사용해서 번영하고 있다. 제2차 세계대전 뒤 곧바로 출현한 전자계산기와 함께 형식 언어는 성장 산업이 되었다. '소프트웨어'라는 이름 아래 형식언어로 쓰여진 문장은 현대 문명의 특징적인 인공물 중 하나가 되었다.
형식화된 문장은 기호의 사슬이다. 이것이 수학자 또는 기계에 의해 조작되면 이것은 기호의 또 다른 사슬로 변환된다. 이와 같은 기호 조작 자체도 수학적 이론의 주제가 될 수 있다. 그 조작이 기계에 의해 이루어진다고 생각할 때, 그 이론을 컴퓨터 과학자는 '자동조작이론'이라 부르고 논리학자는 '재귀이론'이라 부른다. 그 조작이 수학자에 의해 이루어지다고 생각할 때, 그 이론을 '증명 이론'이라 부른다. ---190p |
상품정보안내
- 주문 전 중고상품의 정확한 상태 및 재고 문의는 [판매자에게 문의하기]를 통해 문의해 주세요.
- 주문완료 후 중고상품의 취소 및 반품은 판매자와 별도 협의 후 진행 가능합니다. 마이페이지 > 주문내역 > 주문상세 > 판매자 정보보기 > 연락처로 문의해 주세요.
부적합 상품 신고하기
신고하기- 구매에 부적합한 상품은 신고해주세요.
- 구매하신 상품의 상태, 배송, 취소 및 반품 문의는 판매자 묻고 답하기를 이용해주세요.
- 상품정보 부정확(카테고리 오등록/상품오등록/상품정보 오등록/기타 허위등록) 부적합 상품(청소년 유해물품/기타 법규위반 상품)
- 전자상거래에 어긋나는 판매사례: 직거래 유도
45,000원
총 1개
45,000원
