How to prove it : a structured approach

>> Google Books

所蔵情報QRコード

How to prove it : a structured approach / Daniel J. Velleman

資料種別:: 図書
出版情報:: Cambridge [England] ; New York : Cambridge University Press, 1994
形態:: ix, 309 p. ; 24 cm
著者名:: Velleman, Daniel J. <DA08973020>
ISBN:: 9780521441162 [0521441161]
9780521446631 [0521446635] (: pbk)
書誌ID:: BA24691599

子書誌情報

フルテキスト

所蔵情報

他の版・巻

How to prove it : a structured approach. 3rd ed (: pbk)
Daniel J. Velleman , Cambridge University Press , 2019

書誌詳細

注記:

Includes bibliographical references (p. 304) and index

主題:

Logic, Symbolic and mathematical; Mathematics

言語:

英語

目次情報:

Sentential logic / 1：

Quantificational logic / 2：

Proofs / 3：

Relations / 4：

Functions / 5：

Mathematical induction / 6：

Infinite sets / 7：

Sentential logic / 1：

Quantificational logic / 2：

Proofs / 3：

Relations / 4：

Functions / 5：

Mathematical induction / 6：

続きを見る

東工大ブックレビュー

類似資料:

1 図書 How to prove it : a structured approach (: pbk) Velleman, Daniel J. Cambridge University Press	7 図書 Logic for computer science : foundations of automatic theorem proving Gallier, Jean H. University Microfilms International
2 電子ブック How to solve it : a new aspect of mathematical method (: electronic bk) Polya, George, 1887-1985 EBSCOhost	8 図書 Logic for computer science : foundations of automatic theorem proving Gallier, Jean H. Harper & Row
3 図書 Chapter zero : fundamental notions of abstract mathematics Schumacher, Carol Addison-Wesley Pub. Co.	9 図書 Computability and logic (: U.K. - : U.S., pbk) Cohen, Daniel E. E. Horwood, Halsted Press [distributor]
4 図書 Introduction to the foundations of mathematics Wilder, Raymond Louis, 1896-1982 Wiley, Toppan	10 図書 Mathematical logic (: hard ; : pbk) Ponasse, Daniel Gordon and Breach Science Publishers
5 図書 Mathematics and logic for digital devices Culbertson, James T. (James Thomas), 1911- Van Nostrand	11 図書その理屈、証明できますか? : 正しく命題にたどり着くための手法と思考の学び方 Velleman, Daniel J., 神林, 靖(1958-) 翔泳社
6 図書 Symbolic logic and mechanical theorem proving Chang, Chin-Liang, 1937-, Lee, Richard Char-Tung, 1939- Academic Press	12 図書 Interactive theorem proving and program development : Coq'Art: the calculus of inductive constructions (: pbk) Bertot, Yves, Castéran, P. (Pierre) Springer