대량구매홈 >
전공도서/대학교재
>
자연과학계열
>
수학

수리논리와 집합론 입문
정가 20,000원
판매가 20,000원 (0% , 0원)
I-포인트 1,000P 적립(5%)
판매상태 판매중
분류 수학
저자 정주희
출판사/발행일 경문사 / 2012.02.13
페이지 수 300 page
ISBN 9788961055499
상품코드 209907154
가용재고 재고부족으로 출판사 발주 예정입니다.
 
주문수량 :
대량구매 전문 인터파크 대량주문 시스템을 이용하시면 견적에서부터 행정서류까지 편리하게 서비스를 받으실 수 있습니다.
도서를 견적함에 담으시고 실시간 견적을 받으시면 기다리실 필요없이 할인받으실 수 있는 가격을 확인하실 수 있습니다.
매주 발송해 드리는 인터파크의 신간안내 정보를 받아보시면 상품의 선정을 더욱 편리하게 하실 수 있습니다.

 대량구매홈  > 전공도서/대학교재  > 자연과학계열  > 수학

아리스토텔레스주의 실재론적 수학철학 26,000원 (0%)
집합과 수의 체계 11,000원 (0%)
논리적 딜레마 26,000원 (0%)
수리논리와 집합론 입문 20,000원 (0%)
        
 

 
목차
머리말 제1장 명제와 논리식 1 논리식의 구문 2 논리식의 의미 3 논리적 귀결과 모델 4 정규형식 5 변수를 포함한 명제, 벤 다이어그램 제2장 논리도해 1 추론의 타당성 2 논리도해 3 논리도해 소프트웨어 4 터뜨리기와 추론 제3장 Fitch 증명시스템 1 피치 시스템 소개 2 피치 증명의 구조 3 피치 추론규칙 4 증명 작성 기법 제4장 1계논리 1 왜 1계논리인가? 2 1계논리식의 구문과 의미 3 피치 1계논리 추론규칙 제5장 1계논리 증명 작성 기법 1 군론 2 페아노 산술 제6장 집합론 1 집합과 증명과 역설 2 관계와 함수 제7장 수학의 기반과 공리적 집합론 1 순서집합 2 동등관계와 상구조와 준동형사상 3 부분구조체와 카티지언곱 구조체 4 토픽 몇 가지 5 기수와 서수 6 공리적 집합론 참고문헌 찾아보기

저자
정주희
현 경북대학교 사범대학 수학교육과 교수. 대한수리논리학회 회장. 서울고등학교를 졸업하고 서울대학교 공과대학과 KAIST에서 재료공학을 전공. 뒤늦게 수학에 빠져 UC Berkeley 수학과에서 1991년 Ph.D.를 받음. 수학의 모든 증명을 기호화 하여 그것의 옳고 그름을 컴퓨터에서 판정할 수 있도록 하는 시스템을 만드는 것을 평생의 꿈으로 삼고 있다. 웹사이트 http://proofmood.com 에 지난 3년간의 작업 결과를 공개하였으며 첫 저서 "수리논리와 집합론 입문"에서 이 시스템을 적극 활용하고 있다.

이 출판사의 관련상품
대학수학 | 류미수,신재민,김세정,김선광,권오상 외 | 경문사
중등수학에 관한 대화 1 | 경문사
기초미적분학 | 류미수,신재민,김세정,김선광,권오상 외 | 경문사
전기차와 하이브리드차 | 경문사
2024 회계감사 Study Guide | 전규안,이창우,권오상,송혁준 | 경문사
 
도서를 구입하신 고객 여러분들의 서평입니다.
자유로운 의견 교환이 가능합니다만, 서평의 성격에 맞지 않는 글은 삭제될 수 있습니다.

등록된 서평중 분야와 상관없이 매주 목요일 5편의 우수작을 선정하여, S-Money 3만원을 적립해드립니다.
총 0개의 서평이 있습니다.