반디앤루니스 인터넷서점
전체

로고이미지

검색

  • ▼
HOT ISSUE

네비게이션 실시간 인기 책

    수리논리와 집합론 입문

    수리논리와 집합론 입문

    • 정주희 저
    • 경문사
    • 2012년 02월 13일
    • 정가
      20,000원
    • 판매가
      20,000원 [0% 할인]
    • 결제 혜택
      무이자
    • 적립금
      0원 적립 [0%P]

      NAVER Pay 결제 시 네이버페이 포인트 5% 적립 ?

    품절된 상품입니다.

    위시리스트
    회원리뷰
    - [0]
    ISBN: 9788961055499 312쪽 사이즈 정보 준비중

    지금 이책은

    • 판매지수 : 223

    이 분야의 베스트셀러

    ㆍ품절된 상품입니다.

    이 책과 함께 구매한 책

    이 책이 속한 분야

    책 소개

    상품문의 / 정보수정 요청 >

    출판사 리뷰

    이 책은 대학에서 수리논리학과 집합론의 교재로 활용할 수 있도록 쓰였다. 학생이 작성한 증명에 오류가 있는지를 컴퓨터가 판별해 줌으로써 엄격한 수학적 증명의 훈련을 받도록 하였다.

    저자 소개

    정주희
    • 구분 : 저서
    • 국적 : 대한민국
    • 분류 : 문학가 , 예술/취미 저자 , 과학/공학 저자
    • 인기지수 : 1,033
    최근저서

    2001년부터 꽃을 시작해 4년째 되는 해에 파리로 떠나 에콜 아티스틱 드 카트린 뮐러Ecole artistique de Catherine Muller 에서 공부하고 2006년 가을에 플라워 아틀리에 ‘보떼봉떼Beaute et Bonte’를 시작했다. 프렌치 스타일을 체계적으로 배울 수 있는 보떼봉떼의 클래스는 플로리스트 지망생들과 현직 플로리스트들에게 큰 사랑을 받고 있다. 더 많은 사람이 일상생활에서 꽃을 즐기는 행복을 누릴 수 있기를 바라는 마음으로 이 책을 펴냈다. 지은 책으로는 《꼼 데 플레르Comme des Fleurs》, 《삼 곱하기 십》이 있다.
    www.beautebonte.com/ 인스타그램 @beauteetbonte

    목차

    머리말 iii
    제 1 장 명제와 논리식 1
    1 논리식의 구문
    2 논리식의 의미
    3 논리적 귀결과 모델
    4 정규형식
    5 변수를 포함한 명제, 벤 다이어그램

    제 2 장 논리도해 29
    1 추론의 타당성
    2 논리도해
    3 논리도해 소프트웨어
    4 터뜨리기와 추론

    제 3 장 Fitch 증명시스템 53
    1 피치 시스템 소개
    2 피치 증명의 구조
    3 피치 추론규칙
    4 증명 작성 기법

    제 4 장 1계논리 77
    1 왜 1계논리인가?
    2 1계논리식의 구문과 의미
    2.1 구문론
    2.2 피치 시스템의 구문
    2.3 의미론
    2.4 한정사의 영향범위와 치환
    3 피치 1계논리 추론규칙
    3.1 명제논리적 귀결
    3.2 한정사의 도입과 소거
    3.3 등호의 도입과 소거
    3.4 추론규칙의 확충

    제 5 장 1계논리 증명 작성 기법 125
    1 군론
    1.1 군의 공리계와 기본 정리
    1.2 방정식 a · x \u003d b는 유일한 해를 가진다
    1.3 a · x \u003d a · y ⇒ x\u003d y(왼쪽 소거)
    1.4 1면-공리계
    2 페아노 산술
    2.1 페아노 산술의 정의와 공리계
    2.2 페아노 산술의 정리
    2.3 1계논리 형식 증명의 공식과 기법

    제 6 장 집합론 151
    1 집합과 증명과 역설
    1.1 기본 개념과 용어
    1.2 형식증명과 비형식증명
    1.3 집합의 기본 성질
    1.4 기수, 역설, 집합의 존재성 공리
    2 관계와 함수
    2.1 카티지언곱
    2.2 관계
    2.3 함수

    제 7 장 수학의 기반과 공리적 집합론 205
    1 순서집합
    2 동등관계와 상구조와 준동형사상
    3 부분구조체와 카티지언곱 구조체
    4 토픽 몇 가지
    4.1 페포연산
    4.2 수학적 귀납법과 문자열의 복잡도
    4.3 정수론
    5 기수와 서수
    5.1 기수와 서수의 정의
    5.2 귀납적 증명과 재귀적 정의
    5.3 조른의 보조정리
    5.4 서수와 기수의 연산
    5.5 무한과 유한, 미루었던 증명
    6 공리적 집합론

    참고문헌 283
    찾아보기 284

    배송 시 유의사항

    - 반디앤루니스에서 구매하신 도서는 물류 대행 위탁업체 웅진 북센을 통해 배송됩니다.
     (배송 포장에 "웅진 북센"으로 표기될 수 있습니다.)

    - 구매한 상품의 품질과 배송 관련 문의는 반디앤루니스로 문의 바랍니다.

    - 천재지변 및 택배사의 사정에 따라 배송이 지연될 수 있습니다.

    - 결제(입금) 완료 후 출판사 및 유통사의 사정으로 품절 또는 절판 되어 상품 구입이 어려울 수 있습니다. (별도 안내 예정)

    - 도서산간지역의 경우 추가 배송비가 발생될 수 있습니다.

    반품/교환

    상품 설명에 반품/ 교환 관련한 안내가 있는 경우 그 내용을 우선으로 합니다. (업체 사정에 따라 달라질 수 있습니다)

    반품/교환

    반품/교환
    반품/교환 방법 홈 > 고객센터 > 자주찾는질문 “반품/교환/환불” 안내 참고 또는 1:1상담게시판
    반품/교환 가능 기간 반품,교환은 배송완료 후 7일 이내, 상품의 결함 및 계약내용과 다를 경우 문제발견 후 30일 이내에 신청가능
    반품/교환 비용 변심 혹은 구매착오의 경우에만 반송료 고객 부담(별도 지정 택배사 없음)
    반품/교환 불가 사유
    • 소비자의 책임 사유로 상품 등이 손실 또는 훼손된 경우
    • 소비자의 사용, 포장 개봉에 의해 상품 등의 가치가 현저히 감소한 경우
    • 복제가 가능한 상품 등의 포장을 훼손한 경우 : 예)만화책, 잡지, 화보집 등
    • 시간의 경과에 의해 재판매가 곤란한 정도로 가치가 현저히 감소한 경우
    • 전자상거래등에서의 소비자보호에 관한 법률이 정하는 소비자 청약철회 제한 내용에 해당되는 경우
    • 해외주문 상품(해외 원서)의 경우(파본/훼손/오발송 상품을 제외)
    소비자 피해보상
    환불지연에 따른 배상
    • 상품의 불량에 의한 반품, 교환, A/S, 환불, 품질보증 및 피해보상 등에 관한 사항은
      소비자 분쟁해결 기준(공정거래위원회고시)에 준하여 처리됨
    • 대금 환불 및 환불지연에 따른 배상금 지급 조건, 절차 등은 전자상거래 등에서의
      소비자 보호에 관한 법률에 따라 처리함
    반품/교환 주소 경기도 파주시 문발로 77, 웅진북센(반디앤루니스)
    • 회사명 : (주)서울문고
    • 대표이사 : 김홍구
    • 개인정보 보호책임자 : 김홍구
    • E-mail : bandi_cs@bnl.co.kr
    • 소재지 : (06168) 서울 강남구 삼성로 96길 6
    • 사업자 등록번호 : 120-81-02543
    • 통신판매업 신고번호 : 제2023-서울강남-03728호
    • 물류센터 : (10881) 경기도 파주시 문발로 77 반디앤루니스
    copyright (c) 2016 BANDI&LUNI'S All Rights Reserved