close
1.

図書
図書
1. Discrete mathematics
James L. Hein
出版情報: Boston : Jones & Bartlett Publishers, 1995  xvi, 656 p. ; 25 cm
所蔵情報: loading…
2.

図書
図書
2. Topology and category theory in computer science
edited by G.M. Reed, A.W. Roscoe, and R.F. Wachter
出版情報: Oxford : Clarendon Press , New York : Oxford University Press, c1991  390 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Topology, computer science and the mathematics of convergence / A.W. Roscoe
The soundness and completeness of axioms for CSP processes / Stepen Blamey
Classifying unbounded nondeterminism in CSP / Geoff Barrett ; Michael Goldsmith
Algebraic posets, algebraic cpo's and models of concurrency / Michael W. Mislove
Concurrency semantics based on metric domain equations / J.W. de Bakker ; J.J.M.M. Rutten
On topological characterization of behavioral properties / Marta Z. Kwiatkowska
Order and strongly sober compactifications / J.D. Lawson
Totally bounded spaces and compact ordered spaces as domains of computation / Michael B. Smyth
A characterization of effective topological spaces II / Dieter Spreen
The importance of cardinality, separability, and compactness in computer science with an example from numerical signal analysis / Klaus E. Grue
Digital topology: a comparison of the graph-based and topological approaches / T.Y. Kong
Tiling the plane with one tile / D. Girault-Beauquier ; M. Nivat
An algebraic axiomatization of linear logic models / Narcisco Marti-Oliet ; Jose Meseguer
Types as theories / Joseph A. Goguen
Topology, computer science and the mathematics of convergence / A.W. Roscoe
The soundness and completeness of axioms for CSP processes / Stepen Blamey
Classifying unbounded nondeterminism in CSP / Geoff Barrett ; Michael Goldsmith
3.

図書
図書
3. Geometric computing science : first steps
Robert Hermann
出版情報: Brookline, MA : Math Sci Press, c1991  xiii, 400 p. ; 24 cm
シリーズ名: Interdisciplinary mathematics ; v. 25
所蔵情報: loading…
4.

図書
図書
4. Basic category theory for computer scientists
Benjamin C. Pierce
出版情報: Cambridge, Mass. : MIT Press, c1991  xiii, 100 p. ; 23 cm
シリーズ名: MIT Press series in the foundations of computing
所蔵情報: loading…
5.

図書
図書
5. Concrete mathematics : a foundation for computer science. 2nd ed
Ronald L. Graham, Donald E. Knuth, Oren Patashnik
出版情報: Reading, Mass. : Addison-Wesley, c1994  xiii, 657 p. ; 24 cm
所蔵情報: loading…
6.

図書
図書
6. Discrete mathematics with applications
H.F. Mattson, Jr.
出版情報: New York : J. Wiley, c1993  xxv, 637 p. ; 25 cm
所蔵情報: loading…
目次情報: 続きを見る
Logic
Mathematical Induction
Equivalence Relations and Partitions
Functions
Divisibility in the Integers
Congruences
The Binomial Theorem
Counting
Probability
Recurrence Relations
Matrices and Order Relations
Trees
Graphs
Answers to Selected Problems
Index
Logic
Mathematical Induction
Equivalence Relations and Partitions
7.

図書
図書
7. Iteration theories : the equational logic of iterative processes (: us ; : gw)
Stephen L. Bloom, Zoltán Ésik
出版情報: Berlin ; Tokyo : Springer-Verlag, c1993  xv, 630 p. ; 24 cm
シリーズ名: EATCS monographs on theoretical computer science
所蔵情報: loading…
8.

図書
図書
8. Logic and algebra of specification (: us ; : gw)
edited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg
出版情報: Berlin ; New York : Springer-Verlag, c1993  442 p. ; 25 cm
シリーズ名: NATO ASI series ; ser. F . Computer and system sciences ; v. 94
所蔵情報: loading…
9.

図書
図書
9. Discrete mathematics for computer scientists. 2nd ed
J. K. Truss
出版情報: Harlow, England ; Reading, Mass. : Addison-Wesley, c1999  xix, 585 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
The Natural Numbers / 1：
Introductory Logic / 2：
Sets, Relations and Functions / 3：
Algebraic Topics / 4：
Combinatorics / 5：
Partially Ordered Structures / 6：
Further Logic / 7：
Graphs / 8：
Formal Machines / 9：
Analysis of Algorithms and Complexity Theory / 10：
Coding Theory / 11：
Appendix
Answers to Selected Exercises
Bibliography
Index
The Natural Numbers / 1：
Introductory Logic / 2：
Sets, Relations and Functions / 3：
10.

図書
図書
10. Operations research and discrete analysis
by Alekseĭ D. Korshunov
出版情報: Dordrecht ; Boston : Kluwer Academic, c1997  vi, 331 p. ; 25 cm
シリーズ名: Mathematics and its applications ; v. 391
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼