close
1.

図書
図書
1. Markov learning models for multiperson interactions
by Patrick Suppes and Richard C. Atkinson
出版情報: Stanford, Calif. : Standford University Press, 1960  xii, 296 p. ; 26 cm
シリーズ名: Stanford mathematical studies in the social sciences ; 5
所蔵情報: loading…
2.

図書
図書
2. Markov learning models for multiperson interactions
by Patrick Suppes and Richard C. Atkinson
出版情報: Stanford, Calif. : Standford University Press, 1960  xii, 296 p. ; 26 cm
シリーズ名: Stanford mathematical studies in the social sciences ; 5
所蔵情報: loading…
3.

図書
図書
3. Studies in the methodology and foundations of science : selected papers from 1951 to 1969
Patrick Suppes
出版情報: Dordrecht : D. Reidel, [1969]  xii, 473 p. ; 23 cm
シリーズ名: Synthese library
所蔵情報: loading…
4.

図書
図書
4. A probabilistic theory of causality
by Patrick Suppes
出版情報: Amsterdam : North-Holland Pub. Co., 1970  130 p. ; 25 cm
シリーズ名: Acta philosophica Fennica ; Fasc. 24
所蔵情報: loading…
5.

図書
図書
5. Logic, methodology and philosophy of science : proceedings of the 1960 International Congress
edited by Ernest Nagel, Patrick Suppes, Alfred Tarski
出版情報: Stanford : Stanford University Press, 1962  ix, 661 p. ; 26 cm
所蔵情報: loading…
6.

図書
図書
6. Decision making : an experimental approach
by Donald Davidson and Patrick Suppes ; in collaboration with Sidney Siegel
出版情報: Westport, Conn. : Greenwood Press, 1977, c1957  121 p. ; 24 cm
所蔵情報: loading…
7.

図書
図書
7. Approaches to natural language : proceedings of the 1970 Stanford workshop on grammar and semantics (: pbk)
edited by K.J.J. Hintikka, J.M.E. Moravcsik and P. Suppes
出版情報: Dordrecht ; Boston : Reidel, c1973  viii, 526 p. ; 23 cm
シリーズ名: Synthese library
所蔵情報: loading…
8.

図書
図書
8. Aspects of inductive logic
edited by Jaakko Hintikka [and] Patrick Suppes
出版情報: Amsterdam : North Holland Pub. Co., 1966  vi, 320 p. ; 23 cm
シリーズ名: Studies in logic and the foundations of mathematics
所蔵情報: loading…
9.

図書
図書
9. Mathematical methods in small group processes
edited by Joan H. Criswell, Herbert Solomon, Patrick Suppes
出版情報: Stanford, Calif. : Stanford University Press, 1962  viii, 361 p. ; 25 cm
シリーズ名: Stanford mathematical studies in the social sciences ; 8
所蔵情報: loading…
10.

図書
図書
10. Space, time and geometry (: cloth ; : pbk)
edited by Patrick Suppes
出版情報: Dordrecht ; Boston : Reidel, c1973  xi, 424 p. ; 23 cm
シリーズ名: Synthese library
所蔵情報: loading…
11.

図書
図書
11. First course in mathematical logic. [1st ed.]
[by] Patrick Suppes and Shirley Hill
出版情報: New York : Blaisdell Pub. Co, [1964]  ix, 274 p ; 24 cm
シリーズ名: A Blaisdell book in the pure and applied sciences
所蔵情報: loading…
12.

図書
図書
12. Mathematical methods in the social sciences, 1959 : proceedings of the first Stanford Symposium
edited by Kenneth J. Arrow, Samuel Karlin, Patrick Suppes
出版情報: Stanford : Stanford University Press, c1960  viii, 365 p. ; 25 cm
シリーズ名: Stanford mathematical studies in the social sciences ; 4
所蔵情報: loading…
13.

図書
図書
13. Logic, methodology and philosophy of science IV : Proceedings (: ne ; : us)
edited by Patrick Suppes [et al.]
出版情報: Amsterdam : North-Holland Pub. Co. , New York : American Elsevier Pub. Co., 1973  x, 981 p. ; 23 cm
シリーズ名: Studies in logic and the foundations of mathematics ; v. 74
所蔵情報: loading…
14.

図書
図書
14. Axiomatic set theory
by Patrick Suppes
出版情報: Princeton, N.J. : Van Nostrand, c1960  xii, 265 p. ; 23 cm
シリーズ名: The university series in undergraduate mathematics ; 11
所蔵情報: loading…
15.

図書
図書
15. Foundations of probability with applications : selected papers, 1974-1995 (: hardback ; : pbk)
Patrick Suppes, Mario Zanotti
出版情報: New York : Cambridge University Press, 1996  ix, 193 p. ; 23 cm
シリーズ名: Cambridge studies in probability, induction, and decision theory
所蔵情報: loading…
目次情報: 続きを見る
Foundations of Probability / Part I：
Necessary and sufficient conditions for existence of a unique measure strictly agreeing with a qualititative probability ordering / 1：
Necessary and sufficient qualitative axioms for conditional probability / 2：
On using random relations to generate upper and lower probabilities / 3：
Conditions on upper and lower probabilities to imply probabilities / 4：
Qualitative axioms for random-variable representation of extensive quantifiers / 5：
Causality and Quantum Mechanics / Part II：
Stochastic incompleteness of quantum mechanics / 6：
On the determinism of hidden variable theories with strict correlation and conditional statistical independence of observables / 7：
A new proof of the impossibility of hidden variables using the principles of exchangeability and identity of conditional distribution / 8：
When are probabilistic explanations possible? / 9：
Causality and symmetry / 10：
New Bell-type inequalities for N4 necessary for existence of a hidden variable / 11：
Existence of hidden variables having only upper probabilities / 12：
Applications in Education / Part III：
Mastery learning of elementary mathematics: theory and data / 13：
Foundations of Probability / Part I：
Necessary and sufficient conditions for existence of a unique measure strictly agreeing with a qualititative probability ordering / 1：
Necessary and sufficient qualitative axioms for conditional probability / 2：
16.

図書
図書
16. The axiomatic method with special reference to geometry and physics : proceedings of an international symposium held at the University of California, Berkeley, December 26, 1957-January 4, 1958
edited by Leon Henkin, Patrick Suppes, Alfred Tarski
出版情報: Amsterdam : North-Holland, 1959  xi, 488 p. ; 23 cm
シリーズ名: Studies in logic and the foundations of mathematics
所蔵情報: loading…
17.

図書
図書
17. Introduction to logic (: hard ; : International student ed)
by Patrick Suppes
出版情報: Princeton, N.J. : D. Van Nostrand, c1957  xviii, 312 p. ; 24 cm
シリーズ名: The university series in undergraduate mathematics
所蔵情報: loading…
目次情報: 続きを見る
Preface
Introduction
Principles of Inference and Definition / Part I：
The Sentential Connectives / Chapter 1.：
Negation and Conjunction / 1.1：
Disjunction / 1.2：
Implication: Conditional Sentences / 1.3：
Equivalence: Biconditional Sentences / 1.4：
Grouping and Parentheses / 1.5：
Truth Tables and Tautologies / 1.6：
Tautological Implication and Equivalence / 1.7：
Sentential Theory of Inference / Chapter 2.：
Two Major Criteria of Inference and Sentential Interpretations / 2.1：
The Three Sentential Rules of Derivation / 2.2：
Some Useful Tautological Implications / 2.3：
Consistency of Premises and Indirect Proofs / 2.4：
Symbolizing Everyday Language / Chapter 3.：
Grammar and Logic / 3.1：
Terms / 3.2：
Predicates / 3.3：
Quantifiers / 3.4：
Bound and Free Variables / 3.5：
A Final Example / 3.6：
General Theory of Inference / Chapter 4.：
Inference Involving Only Universal Quantifiers / 4.1：
Interpretations and Validity / 4.2：
Restricted Inferences with Existential Quantifiers / 4.3：
Interchange of Quantifiers / 4.4：
General Inferences / 4.5：
Summary of Rules of Inference / 4.6：
Further Rules of Inference / Chapter 5.：
Logic of Identity / 5.1：
Theorems of Logic / 5.2：
Derived Rules of Inference / 5.3：
Postscript on Use and Mention / Chapter 6.：
Names and Things Named / 6.1：
Problems of Sentential Variables / 6.2：
Juxtaposition of Names / 6.3：
Transition From Formal to Informal Proofs / Chapter 7.：
General Considerations / 7.1：
Basic Number Axioms / 7.2：
Comparative Examples of Formal Derivations and Informal Proofs / 7.3：
Examples of Fallacious Informal Proofs / 7.4：
Further Examples of Informal Proofs / 7.5：
Theory of Definition / Chapter 8.：
Traditional Ideas / 8.1：
Criteria for Proper Definitions / 8.2：
Rules for Proper Definitions / 8.3：
Definitions Which are Identities / 8.4：
The Problem of Division by Zero / 8.5：
Conditional Definitions / 8.6：
Five Approaches to Division by Zero / 8.7：
Padoa's Principle and Independence of Primitive Symbols / 8.8：
Elementary Intuitive Set Theory / Part II：
Sets / Chapter 9.：
Membership / 9.1：
Inclusion / 9.3：
The Empty Set / 9.4：
Operations on Sets / 9.5：
Domains of Individuals / 9.6：
Translating Everyday Language / 9.7：
Venn Diagrams / 9.8：
Elementary Principles About Operations on Sets / 9.9：
Relations / Chapter 10.：
Ordered Couples / 10.1：
Definition of Relations / 10.2：
Properties of Binary Relations / 10.3：
Equivalence Relations / 10.4：
Ordering Relations / 10.5：
Operations on Relations / 10.6：
Functions / Chapter 11.：
Definition / 11.1：
Operations on Functions / 11.2：
Church's Lambda Notation / 11.3：
Set-Theoretical Foundations of the Axiomatic Method / Chapter 12.：
Set-Theoretical Predicates and Axiomatizations of Theories / 12.1：
Isomorphism of Models for a Theory / 12.3：
Example: Probability / 12.4：
Example: Mechanics / 12.5：
Index
Preface
Introduction
Principles of Inference and Definition / Part I：
18.

図書
図書
18. 情報の世界 : コンピューターのすべて
Scientific American編 ; 南雲仁一監訳
出版情報: 東京 : 共立出版, 1969  3, 3, 221, 2p, 図版15p ; 22cm
シリーズ名: SABシリーズ ; 1
所蔵情報: loading…
目次情報: 続きを見る
情報 / ジョン・マッカーシー著
計算機の論理と記憶 / ダビッド C. エバンス著
計算機の入出力 / イバン E. サザランド著
システム解析とプログラミング / クリストファー ストレーチ著
計算機の時分割方式 / R. M. ファノ, F. J. コルバート著
データ伝送 / ジョン R. ピアス著
科学における計算機の利用 / アンソニー G. エッティンガー著
工学における計算機の利用 / スティブン アンソン クーンス 著
社会組織における計算機の利用 / マーティン グリーンバーガー著
教育における計算機の利用 / パトリック スピース著
情報の貯蔵と探索 / ベン・アミ リペツ著
人工知能 / マービン ミンスキー著
情報 / ジョン・マッカーシー著
計算機の論理と記憶 / ダビッド C. エバンス著
計算機の入出力 / イバン E. サザランド著
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼