|
|
|
|
|
|
| |
|
 목차 |
|
| ｜INTRODUCTION
1 An Overview of Fundamental Proof Methods
2 Introduction to Athena
∥FUNDAMENTAL PROOF METHODS
3 Proving Equalities
4 Sentential Ligic
5 First-Order Logic
6 Implication Changing
ⅢPROOFS ABOUT FUNDAMENTAL DATATYPES
7 Organizing Theory Development With Athena Modules
8 Natural Number Orderings
9 Integer Representations and Proof Mappings
10 Fundamental Discrete Structures
ⅣPROOF ABOUT ALGORITHMS
11 A Binary Search Algorithm
12 A Fast Exponentiation Algorithm
13 Euclid's Algorithm for Greatest Common Division
ⅤPROOFS AT AN ABSTRACT LEVEL
14 Abstract Stuctures
15 Abstract Algorithms
16 Algorithms on Memory Abstractons
ⅥPROOFS ABOUT PROGRAMMING LANGUAGES
17 A Correctness Proof for a Toy Compiler
18 A Simple Imperative Programming Language
A Athena Reference
B Logic Programming and Prolog |
|
|
|
저자
|
|
Arkoudas, Konstantine/ Musser, David
|
|
|
|
Konstantine Arkoudas
|
|
|
|
|
|
|
|
|
|
| |
| 출고안내 |
|
 |
출고란 인터파크 물류창고에서 도서가 포장되어 나가는 시점을 말하며, 실제 고객님께서 수령하시는 시간은 상품준비완료해 출고한 날짜 + 택배사 배송일입니다. |
|
인터파크 도서는 모든 상품의 재고가 충족할 시에 일괄 출고를 합니다. |
|
일부 재고에 대한 출고가 필요할 시에는 담당자에게 직접 연락하시거나, 고객센터(고객센터(1577-2555)로 연락주시기 바랍니다. |
|
| 배송비 안내 |
|
|
인터파크 도서 대량구매는 배송료가 무료입니다. |
|
단, 1개의 상품을 다수의 배송지로 일괄 발송시에는 1개의 배송지당 2,000원의 배송비가 부과됩니다. |
| 알아두세요! |
|
|
고객님께서 주문하신 도서라도 도매상 및 출판사 사정에 따라 품절/절판 등의 사유로 취소될 수 있습니다. |
|
택배사 배송일인 서울 및 수도권은 1~2일, 지방은 2~3일, 도서, 산간, 군부대는 3일 이상의 시간이 소요됩니다.
(단, 토/일요일 제외) |
|
| |
|
| |
인터파크도서는 고객님의 단순 변심에 의한 교환과 반품에 드는 비용은 고객님이 지불케 됩니다.
단, 상품이나 서비스 자체의 하자로 인한 교환 및 반품은 무료로 반품 됩니다.
교환/반품/보증조건 및 품질보증 기준은 소비자기본법에 따른 소비자 분쟁 해결 기준에 따라 피해를 보상 받을 수 있습니다.
정확한 환불 방법 및 환불이 지연될 경우 1:1문의 게시판 또는 고객센터(1577-2555)로 연락 주시기 바랍니다.
소비자 피해보상의 분쟁처리 등에 관한 사항은 소비자분쟁해결기준(공정거래위원회 고시)에 따라 비해 보상 받을 수 있습니다.
|
| 교환 및 반품이 가능한 경우 |
|
|
상품을 공급 받으신 날로부터 7일이내 가능합니다. |
|
공급받으신 상품의 내용이 표시, 광고 내용과 다르거나 다르게 이행된 경우에는
공급받은 날로부터 3개월이내, 그사실을 알게 된 날 또는 알 수 있었던 날로부터 30일이내 가능합니다. |
|
상품에 아무런 하자가 없는 경우 소비자의 고객변심에 의한 교환은 상품의 포장상태 등이 전혀 손상되지 않은 경우에 한하여 가능합니다.
|
|
|
|
| 교환 및 반품이 불가능한 경우 |
|
|
|
고객님의 책임 있는 사유로 상품 등이 멸실 또는 훼손된 경우는 불가능합니다. (단, 상품의 내용을 확인하기 위하여 포장 등을 훼손한 경우는 제외) |
|
시간이 지남에 따라 재판매가 곤란할 정도로 물품의 가치가 떨어진 경우는 불가능합니다. |
|
포장 개봉되어 상품 가치가 훼손된 경우는 불가능합니다. |
|
|
| 다배송지의 경우 반품 환불 |
|
|
|
다배송지의 경우 다른 지역의 반품을 동시에 진행할 수 없습니다. |
|
1개 지역의 반품이 완료된 후 다른 지역 반품을 진행할 수 있으므로, 이점 양해해 주시기 바랍니다. |
|
| |
|
|
|
|
, 0원
1,590P 적립(3%)
