このページのリンク

利用統計

  • このページへのアクセス:4回

  • 貸出数:3回
    (1年以内の貸出数:0回)

<図書>
Practical foundations of mathematics

責任表示 Paul Taylor
シリーズ Cambridge studies in advanced mathematics ; 59
データ種別 図書
出版者 Cambridge ; New York : Cambridge University Press
出版年 1999
本文言語 英語
大きさ xi, 572 p. : ill. ; 24 cm
概要 Practical Foundations of Mathematics explains the basis of mathematical reasoning both in pure mathematics itself (algebra and topology in particular) and in computer science. In addition to the forma... logic, this volume examines the relationship between computer languages and "plain English" mathematical proofs. The book introduces the reader to discrete mathematics, reasoning, and categorical logic. It offers a new approach to term algebras, induction and recursion and proves in detail the equivalence of types and categories. Each idea is illustrated by wide-ranging examples, and followed critically along its natural path, transcending disciplinary boundaries across universal algebra, type theory, category theory, set theory, sheaf theory, topology and programming. Students and teachers of computing, mathematics and philosophy will find this book both readable and of lasting value as a reference work. 続きを見る

所蔵情報


理系図3F 数理独自 023211999002431 TAYL/95/1 c1999

書誌詳細

一般注記 Includes bibliographical references (p. [530]-552) and index
著者標目 *Taylor, Paul, 1960-
件 名 LCSH:Mathematics
分 類 LCC:QA39.2
DC21:510
書誌ID 1001395820
ISBN 0521631076
NCID BA40980043
巻冊次 : hardback ; ISBN:0521631076 ; XISBN:9780521631075
登録日 2009.11.02
更新日 2009.11.02

類似資料