close
1.

図書
図書
1. Progress in biocybernetics (v. 1 ; v. 2 ; v. 3)
edited by Norbert Wiener and J.P. Schadé
出版情報: Amsterdam : Elsevier, 1964-1966  3 v. ; 23 cm
所蔵情報: loading…
2.

図書
図書
2. Deduction methodologies
edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; volume co-ordinator, J. Siekmann
出版情報: Oxford : Clarendon Press , Oxford ; New York : Oxford University Press, 1994  xv, 511 p. ; 24 cm
シリーズ名: Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; v. 2
所蔵情報: loading…
目次情報: 続きを見る
Automated Reasoning / L. Wos ; R. Veroff2.1：
General Unification Theory / J. Siekmann2.2：
Induction / Ch. Walther2.3：
Higher-Order Features, Types and Fixpoints / D. Leivant2.4：
Metalanguages, Reflection Principles and Self Reference / D. Perlis ; V.S. Subrahmanian2.5：
Classical vs non-classical Logic / D. Gabbay2.6：
Automated Reasoning / L. Wos ; R. Veroff2.1：
General Unification Theory / J. Siekmann2.2：
Induction / Ch. Walther2.3：
3.

図書
図書
3. Saint-Venant to Lord Kelvin (pt. 1 ; pt. 2)
Todhunter, Isaac, 1820-1884 ; Pearson, Karl, 1857-1936
出版情報: New York : Dover Publications, 1960  2 v. ; 21 cm
シリーズ名: A history of the theory of elasticity and of the strength of materials : from Galilei to Lord Kelvin / by Isaac Todhunter ; edited and completed for the syndics of the Cambridge University Press by Karl Pearson ; v. 2
所蔵情報: loading…
4.

図書
図書
4. A treatise on electricity and magnetism. Unabridged, 3rd ed (vol. 1 ; vol. 2)
by James Clerk Maxwell
出版情報: New York : Dover, 1954  2 v. ; 21 cm
所蔵情報: loading…
目次情報: 続きを見る
Magnetism / Part 3：
Elementary theory of magnetism / 1：
Magnetic force and magnetic induction / 2：
Magnetic solenoids and shells / 3：
Induced magnetization / 4：
Particular problems in magnetic induction / 5：
Weber's theory of induced magnetism / 6：
Magnetic measurements / 7：
On terrestrial magnetism / 8：
Electromagnetism / Part 4：
Electromagnetic force
Amperes investigation of the mutual action of electric currents
On the induction of electric currents
On the induction of a current on itself
On the equations of motion of a connected system
Dynamical theory of electromagnetism
Theory of electric circuits
Exploration of the field by means of the secondary circuit
General equations of the electromagnetic field / 9：
Dimension of electric units / 10：
On energy and stress in the electromagnetic field / 11：
Current-sheets / 12：
Parallel currents / 13：
Circular currents / 14：
Electromagnetic instruments / 15：
Electromagnetic observations / 16：
Comparison of coils / 17：
Electromagnetic unit of resistance / 18：
Comparison of the electrostatic with the electromagnetic units / 19：
Electromagnetic theory of light / 22：
Magnetic action on light / 21：
Ferromagnetism and diamagnetism explained by molecular currents
Theories of action at a distance / 23：
Magnetism / Part 3：
Elementary theory of magnetism / 1：
Magnetic force and magnetic induction / 2：
5.

図書
図書
5. 地球化学
日本化学会編
出版情報: 東京 : 学会出版センター, 1987.2  vi, 184p ; 22cm
シリーズ名: 化学の原典. 第2期 / 日本化学会編 ; 5
所蔵情報: loading…
6.

図書
図書
6. 数学の歴史 (1 - 5)
ボイヤー [著] ; 加賀美鉄雄, 浦野由有訳
出版情報: 東京 : 朝倉書店, 1983-1985  5冊 ; 21cm
所蔵情報: loading…
7.

図書
図書
7. 幾何学 (1 ; 2)
寺阪英孝著 ; 伊東俊太郎 [ほか] 編集
出版情報: 東京 : 共立出版, 1981-1982  2冊 ; 22cm
シリーズ名: 数学の歴史 : 現代数学はどのようにつくられたか / 伊東俊太郎 [ほか] 編 ; 8a-8b . 19世紀の数学||19セイキ ノ スウガク
所蔵情報: loading…
8.

図書
図書
8. 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：
9.

図書
図書
9. The twentieth century, c. 1900 to c. 1950 (pt. 1 ; pt. 2)
edited by Trevor I. Williams
出版情報: Oxford : Clarendon Press, 1978  2 v. ; 26 cm
シリーズ名: A History of technology / edited by Charles Singer ... [et al.] ; v. 6-7
所蔵情報: loading…
10.

図書
図書
10. Handbook of mathematical psychology (v. 1 ; v. 2 ; v. 3)
edited by R. Duncan Luce, Robert R. Bush, Eugene Galanter
出版情報: New York ; London : J. Wiley, 1963-1965  3 v. ; 24 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼