close
1.

図書
図書
1. Practical foundations of mathematics (: hardback)
Paul Taylor
出版情報: Cambridge ; New York : Cambridge University Press, 1999  xi, 572 p. ; 24 cm
シリーズ名: Cambridge studies in advanced mathematics ; 59
所蔵情報: loading…
目次情報: 続きを見る
First order reasoning / 1：
Types and induction / 2：
Posets and lattices / 3：
Cartesian closed categories / 4：
Limits and colimits / 5：
Structural recursion / 6：
Adjunctions / 7：
Algebra with dependent types / 8：
The quantifiers / 9：
First order reasoning / 1：
Types and induction / 2：
Posets and lattices / 3：
2.

図書
図書
2. Discrete mathematics and game theory
by Guillermo Owen
出版情報: Boston, Mass. : Kluwer Academic, c1999  vi, 346 p. ; 25 cm
シリーズ名: Theory and decision library ; ser. C . Game theory, mathematical programming and operations research ; v. 22
所蔵情報: loading…
3.

図書
図書
3. Introductory mathematics : applications and methods (: pbk)
Gordon S. Marshall
出版情報: New York : Springer, c1998  ix, 226 p. ; 24 cm
シリーズ名: Springer undergraduate mathematics series
所蔵情報: loading…
4.

図書
図書
4. Selected papers of Norman Levinson (: set : Boston - v. 2 : Basel)
John A. Nohel, David H. Sattinger, editors
出版情報: Boston : Birkhäuser, c1998  2 v. ; 27 cm
シリーズ名: Contemporary mathematicians
所蔵情報: loading…
5.

図書
図書
5. From calculus to chaos : an introduction to dynamics (: hbk ; : pbk)
David Acheson
出版情報: Oxford : Oxford University Press, 1997  ix, 269 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1：
A Brief Review of Calculus / 2：
Ordinary Differential Equations / 3：
Computer Solution Methods / 4：
Elementary Oscillations / 5：
Planetary Motion / 6：
Waves and diffusion / 7：
The Best of all Possible Worlds? / 8：
Fluid Flow / 9：
Instability and Catastrophe / 10：
Nonlinear Oscillations and Chaos / 11：
The Not-so-simple Pendulum / 12：
Further reading
Elementary programming in QBASIC / Appendix A：
Ten programs for exploring dynamics / Appendix B：
Solutions to the exercises
Index
Introduction / 1：
A Brief Review of Calculus / 2：
Ordinary Differential Equations / 3：
6.

図書
図書
6. Advances in mathematical sciences : CRM's 25 years
Luc Vinet, editor
出版情報: Providence, RI : American Mathematical Society, 1997  x, 491 p. ; 26 cm
シリーズ名: CRM proceedings & lecture notes ; v. 11
所蔵情報: loading…
7.

図書
図書
7. Ernst Witt : collected papers = gesammelte Abhandlungen (: gw ; : us)
edited by Ina Kersten ; with an essay by Günter Harder on Witt vectors
出版情報: Berlin ; New York : Springer, c1998  xvi, 420 p. ; 25 cm
所蔵情報: loading…
8.

図書
図書
8. Easy as π? : an introduction to higher mathematics
O.A. Ivanov ; translated by Robert G. Burns
出版情報: New York : Springer, c1999  xviii, 187 p. ; 24 cm
所蔵情報: loading…
9.

図書
図書
9. Knots '96 : proceedings of the fifth International Research Institute of Mathematical Society of Japan, International Conference Center, Waseda Univ., Tokyo, 22-26 July 1996
editor, S. Suzuki
出版情報: Singapore : World Scientific, c1997  xii, 597 p. ; 23 cm
所蔵情報: loading…
10.

図書
図書
10. The algebraic theory of spinors and Clifford algebras (: Berlin : hardcover)
Claude Chevalley ; editors, Pierre Cartier, Catherine Chevalley
出版情報: Berlin : Springer, c1997  xiii, 214 p. ; 24 cm
シリーズ名: Collected works ; v. 2
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼