close
1.

図書

図書
by E.J. Gumbel
出版情報: New York : Columbia University Press, 1958  xx, 375 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Aims and Tools / Chapter 1:
Aims / 1.0.:
Conditions / 1.0.1.:
History / 1.0.2.:
The Flood Problem / 1.0.3.:
Methodology / 1.0.4.:
Arrangement of Contents / 1.0.5.:
General Tools / 1.1.:
Linear Transformations / 1.1.1.:
Other Transformations / 1.1.2.:
Symmetry / 1.1.3.:
Measures of Dispersion / 1.1.4.:
Moments / 1.1.5.:
Generating Function / 1.1.6.:
Convolution / 1.1.7.:
The Gamma Function / 1.1.8.:
The Logarithmic Normal Distribution / 1.1.9.:
Specific Tools / 1.2.:
Problems / 1.2.0.:
The Intensity Function / 1.2.1.:
The Distribution of Repeated Occurrences / 1.2.2.:
Analysis of Return Periods / 1.2.3.:
"Observed" Distributions / 1.2.4.:
Construction of Probability Papers / 1.2.5.:
The Plotting Problem / 1.2.6.:
Conditions for Plotting Positions / 1.2.7.:
Fitting Straight Lines on Probability Papers / 1.2.8.:
Application to the Normal Distribution / 1.2.9.:
Order Statistics and Their Exceedances / Chapter 2:
Order Statistics / 2.1.:
Distributions / 2.1.0.:
Averages / 2.1.2.:
Distribution of Frequencies / 2.1.3.:
Asymptotic Distribution of mth Central Values / 2.1.4.:
The Order Statistic with Minimum Variance / 2.1.5.:
Control Band / 2.1.6.:
Joint Distribution of Order Statistics / 2.1.7.:
Distribution of Distances / 2.1.8.:
The Distribution of Exceedances / 2.2.:
Introduction / 2.2.0.:
Distribution of the Number of Exceedances / 2.2.1.:
The Median / 2.2.2.:
The Probability of Exceedances as Tolerance Limit / 2.2.4.:
Extrapolation from Small Samples / 2.2.5.:
Normal and Rare Exceedances / 2.2.6.:
Frequent Exceedances / 2.2.7.:
Summary / 2.2.8.:
Exact Distribution of Extremes / Chapter 3:
Averages of Extremes / 3.1.:
Exact Distributions / 3.1.0.:
Return Periods of Largest and Large Values / 3.1.2.:
Quantiles of Extremes / 3.1.3.:
Characteristic Extremes / 3.1.4.:
The Extremal Intensity Function / 3.1.5.:
The Mode / 3.1.6.:
The Maximum of the Mean Largest Value / 3.1.7.:
Extremal Statistics / 3.2.:
Absolute Extreme Values / 3.2.0.:
Exact Distribution of Range / 3.2.2.:
The Mean Range / 3.2.3.:
The Range as Tolerance Limit / 3.2.4.:
The Maximum of the Mean Range / 3.2.5.:
Exact Distribution of the Midrange / 3.2.6.:
Asymptotic Independence of Extremes / 3.2.7.:
The Extremal Quotient / 3.2.8.:
Analytical Study of Extremes / Chapter 4:
The Exponential Type / 4.1.:
Largest Value for the Exponential Distribution / 4.1.0.:
Order Statistics for the Exponential Distribution / 4.1.2.:
L'Hopital's Rule / 4.1.3.:
Definition of the Exponential Type / 4.1.4.:
The Three Classes / 4.1.5.:
The Logarithmic Trend / 4.1.6.:
The Characteristic Product / 4.1.7.:
Extremes of the Exponential Type / 4.2.:
The Logistic Distribution / 4.2.0.:
Normal Extremes, Numerical Values / 4.2.2.:
Analysis of Normal Extremes / 4.2.3.:
Normal Extreme Deviates / 4.2.4.:
Gamma Distribution / 4.2.5.:
Logarithmic Normal Distribution / 4.2.6.:
The Normal Distribution as a Distribution of Extremes / 4.2.7.:
The Cauchy Type / 4.3.:
The Exponential Type and the Existence of Moments / 4.3.0.:
Pareto's Distribution / 4.3.2.:
Definition of the Pareto and the Cauchy Types / 4.3.3.:
Extremal Properties / 4.3.4.:
Other Distributions without Moments / 4.3.5.:
The First Asymptotic Distribution / 4.3.6.:
The Three Asymptotes / 5.1.:
Preliminary Derivation / 5.1.0.:
The Stability Postulate / 5.1.2.:
Outline of Other Derivations / 5.1.3.:
Interdependence / 5.1.4.:
The Double Exponential Distribution / 5.2.:
Derivations / 5.2.0.:
The Methods of Cramer and Von Mises / 5.2.2.:
Mode and Median / 5.2.3.:
Generating Functions / 5.2.4.:
Standard and Mean Deviations / 5.2.5.:
Probability Paper and Return Period / 5.2.6.:
Comparison with Other Distributions / 5.2.7.:
Barricelli's Generalization / 5.2.8.:
Extreme Order Statistics / 5.3.:
Distribution of the MTH Extreme / 5.3.0.:
Probabilities of the mth Extreme / 5.3.2.:
Cramer's Distribution of MTH Extremes / 5.3.3.:
Extreme Distances / 5.3.5.:
The Largest Absolute Value and the Two Sample Problem / 5.3.6.:
Uses of the First Asymptote / Chapter 6:
Order Statistics from the Double Exponential Distribution / 6.1.:
Maxima of Largest Values / 6.1.0.:
Minima of Largest Values / 6.1.2.:
Consecutive Modes / 6.1.3.:
Consecutive Means and Variances / 6.1.4.:
Standard Errors / 6.1.5.:
Extension of the Control Band / 6.1.6.:
The Control Curve of Dick and Darwin / 6.1.7.:
Estimation of Parameters / 6.2.:
Exponential and Normal Extremes / 6.2.0.:
Use of Order Statistics / 6.2.2.:
Estimates for Probability Paper / 6.2.3.:
Sufficient Estimation Functions / B. F. Kimball6.2.4.:
Maximum Likelihood Estimations / 6.2.5.:
Approximate Solutions / 6.2.6.:
Asymptotic Variance of a Forecast / 6.2.7.:
Numerical Examples / 6.3.:
Floods / 6.3.0.:
The Design Flood / 6.3.2.:
Meteorological Examples / 6.3.3.:
Application to Aeronautics / 6.3.4.:
Oldest Ages / 6.3.5.:
Breaking Strength / 6.3.6.:
Breakdown Voltage / 6.3.7.:
Applications to Naval Engineering / 6.3.8.:
An Application to Geology / 6.3.9.:
The Second and Third Asymptotes / Chapter 7:
The Second Asymptote / 7.1.:
Frechet's Derivation / 7.1.0.:
Averages and Moments / 7.1.2.:
Estimation of the Parameters / 7.1.4.:
The Increase of the Extremes / 7.1.5.:
Generalization / 7.1.6.:
Applications / 7.1.7.:
The Third Asymptote / 7.1.8.:
The Von Mises Derivation / 7.2.0.:
Other Derivations / 7.2.2.:
Averages and Moments of Smallest Values / 7.2.3.:
Special Cases / 7.2.4.:
The 15 Relations Among the 3 Asymptotes / 7.2.5.:
Applications of the Third Asymptote / 7.3.:
Estimation of the Three Parameters / 7.3.0.:
Estimation of Two Parameters / 7.3.2.:
Analytical Examples / 7.3.3.:
Droughts / 7.3.4.:
Fatigue Failures / 7.3.5.:
The Range / Chapter 8:
Asymptotic Distributions of Range and Midrange / 8.1.:
The Range of Minima / 8.1.0.:
Generating Function of the Range / 8.1.2.:
The Reduced Range / 8.1.3.:
Asymptotic Distribution of the Midrange / 8.1.4.:
A Bivariate Transformation / 8.1.5.:
Asymptotic Distribution of the Range / 8.1.6.:
Boundary Conditions / 8.1.7.:
Extreme Ranges / 8.1.8.:
Extremal Quotient and Geometric Range / 8.1.9.:
Definitions / 8.2.0.:
The Geometric Range / 8.2.2.:
The Midrange / 8.3.:
The Parameters in the Distribution of Range / 8.3.2.:
Normal Ranges / 8.3.3.:
Estimation of Initial Standard Deviation / 8.3.4.:
Climatological Examples / 8.3.5.:
Bibliography
Index
Aims and Tools / Chapter 1:
Aims / 1.0.:
Conditions / 1.0.1.:
2.

図書

図書
A. Zygmund
出版情報: Cambridge : Cambridge University Press, 1959  2 v. (ix, 383, 354 p) ; 27 cm
所蔵情報: loading…
3.

図書

図書
Casimir Kuratowski
出版情報: Warszawa : Nakładem Polskiego Towarzystwa Matematycznego , New York : Hafner Publishing, c1952  2 v. ; 25 cm
シリーズ名: Monografie matematyczne ; t. 20, 21
所蔵情報: loading…
4.

図書

図書
A. Erdélyi
出版情報: New York : Dover Publications, 1956  vi, 108 p. ; 21 cm
シリーズ名: Dover books on advanced mathematics
所蔵情報: loading…
目次情報: 続きを見る
Introduction
References
Asymptotic Series / Chapter I:
O-symbols / 1.1:
Asymptotic sequences / 1.2:
Asymptotic expansions / 1.3:
Linear operations with asymptotic expansions / 1.4:
Other operations with asymptotic expansions / 1.5:
Asymptotic power series / 1.6:
Summation of asymptotic series / 1.7:
Integrals / Chapter II:
Integration by parts / 2.1:
Laplace integrals / 2.2:
Critical points / 2.3:
Laplace's method / 2.4:
The method of steepest descents / 2.5:
Airy's integral / 2.6:
Further examples / 2.7:
Fourier integrals / 2.8:
The method of stationary phase / 2.9:
Singularities of Differential Equations / Chapter III:
Classification of singularities / 3.1:
Normal solutions / 3.2:
The integral equation and its solution / 3.3:
Asymptotic expansions of the solutions / 3.4:
Complex variable / 3.5:
Stokes' phenomenon
Bessel functions of order zero / 3.6:
Differential Equations with a Large Parameter / Chapter IV:
Liouville's problem / 4.1:
Formal solutions / 4.2:
Asymptotic solutions / 4.3:
Application to Bessel functions / 4.4:
Transition points / 4.5:
Airy functions / 4.6:
Asymptotic solutions valid in the transition region / 4.7:
Uniform asymptotic representations of Bessel functions / 4.8:
Introduction
References
Asymptotic Series / Chapter I:
5.

図書

図書
by William Judson LeVeque
出版情報: Reading, Mass. : Addison-Wesley, c1956  2 v. ; 24 cm
シリーズ名: Addison-Wesley mathematics series
所蔵情報: loading…
6.

図書

図書
by Morris H. Hansen, William N. Hurwitz and William G. Madow
出版情報: New York : Wiley, c1953  v. ; 23 cm
シリーズ名: Wiley publications in statistics
所蔵情報: loading…
目次情報:
Vol. 1. Methods and applications
Vol. 2. Theory
Vol. 1. Methods and applications
Vol. 2. Theory
7.

図書

図書
by E.W. Hobson
出版情報: New York : Dover Publications, 1957  2 v. ; 22 cm
所蔵情報: loading…
8.

図書

図書
by Konrad Knopp ; translated by Frederick Bagemihl
出版情報: New York : Dover Publications, c1956  v, 186 p. ; 21 cm
所蔵情報: loading…
目次情報: 続きを見る
Foreword
Introduction and Prerequisites / Chapter 1:
Preliminary remarks concerning sequences and series / 1.1:
Real and complex numbers / 1.2:
Sets of numbers / 1.3:
Functions of a real and of a complex variable / 1.4:
Sequences and Series / Chapter 2:
Arbitrary sequences / 2.1:
Null sequences
Sequences and sets of numbers / 2.2:
Convergence and divergence / 2.3:
Cauchy's limit theorem and its generalizations / 2.4:
The main tests for sequences / 2.5:
Infinite series / 2.6:
The Main Tests for Infinite Series / Chapter 3:
Operating with Convergent Series
Series of positive terms: The first main test and the comparison tests of the first and second kind / 3.1:
The radical test and the ratio test / 3.2:
Series of positive, monotonically decreasing terms / 3.3:
The second main test / 3.4:
Absolute convergence / 3.5:
Operating with convergent series / 3.6:
Infinite products / 3.7:
Power Series / Chapter 4:
The circle of convergence / 4.1:
The functions represented by power series / 4.2:
Operating with power series / 4.3:
Expansion of composite functions
The inversion of a power series / 4.4:
Development of the Theory of Convergence / Chapter 5:
The theorems of Abel, Dini, and Pringsheim / 5.1:
Scales of convergence tests / 5.2:
Abel's partial summation / 5.3:
Lemmas
Special comparison tests of the second kind / 5.4:
Abel's and Dirichlet's tests and their generalizations / 5.5:
Series transformations / 5.6:
Multiplication of series / 5.7:
Expansion of the Elementary Functions / Chapter 6:
List of the elementary functions / 6.1:
The rational functions / 6.2:
The exponential function and the circular functions / 6.3:
The logarithmic function / 6.4:
The general power and the binomial series / 6.5:
The cyclometric functions / 6.6:
Numerical and Closed Evaluation of Series / Chapter 7:
Statement of the problem / 7.1:
Numerical evaluations and estimations of remainders / 7.2:
Closed evaluations Bibliography / 7.3:
Index
Foreword
Introduction and Prerequisites / Chapter 1:
Preliminary remarks concerning sequences and series / 1.1:
9.

図書

図書
William Feller
出版情報: New York : Wiley, c1957-c1971  2 v. ; 24 cm
シリーズ名: Wiley series in probability and mathematical statistics ; . Probability and mathematical statistics
所蔵情報: loading…
10.

図書

図書
[editorial committee, Johan C.H. Gerretsen, Johannes de Groot]
出版情報: Groningen : Noordhoff , Amsterdam : North-Holland Pub., 1954-1957  3 v. ; 25 cm
所蔵情報: loading…
11.

図書

図書
スミルノフ [著] ; 彌永昌吉 [ほか] 飜訳監修 ; 福原満洲雄訳者代表
出版情報: 東京 : 共立出版, 1958.5-1962.10  12冊 ; 22cm
所蔵情報: loading…
12.

図書

図書
edited by E. S. Pearson and H. O. Hartley
出版情報: Cambridge [Eng] : Univ. Press, 1958-  v. ; 29 cm
所蔵情報: loading…
13.

図書

図書
par Claude Chevalley
出版情報: Paris : Hermann, 1951-1955  2 v. ; 25 cm
シリーズ名: Actualités scientifiques et industrielles ; 1152, 1226 . Publications de l'Institut mathématique de l'Université de Nancago ; 1, 4
所蔵情報: loading…
目次情報:
t. 2. Groupes algébriques
t. 3. Théorèmes généraux sur les algèbres de Lie
t. 2. Groupes algébriques
t. 3. Théorèmes généraux sur les algèbres de Lie
14.

図書

図書
Denjoy, Arnaud, 1884-1974 ; Centre national de la recherche scientifique (France)
出版情報: Paris : Gauthier-Villars, 1955  2 v ; 25 cm
所蔵情報: loading…
目次情報:
1. La variable complexe
2. Le champ réel. Notices
1. La variable complexe
2. Le champ réel. Notices
15.

図書

図書
by Oscar Zariski and Pierre Samuel ; with the cooperation of I.S. Cohen
出版情報: New York : Van Nostrand, 1958-1960  2 v. ; 24 cm
シリーズ名: The University series in higher mathematics
所蔵情報: loading…
16.

図書

図書
I.P. Natanson ; translated from the Russian by Leo F. Boron
出版情報: New York : F. Ungar, c1955-c1960  2 v. ; 26 cm
所蔵情報: loading…
17.

図書

図書
Einar Hille
出版情報: Boston : Ginn and Company, 1959  2 v. ; 24 cm
シリーズ名: Introductions to higher mathematics
所蔵情報: loading…
18.

図書

図書
Władysław Ślebodziński
出版情報: Warszawa : Państwowe Wydawnictwo Naukowe, 1954-1963  2 v. ; 25 cm
シリーズ名: Monografie matematyczne ; t. 31, 40
所蔵情報: loading…
19.

図書

図書
N. Bourbaki
出版情報: Paris : Hermann, c1958  184 p. ; 24 cm
シリーズ名: Actualités scientifiques et industrielles ; 1074
Éléments de mathématique / par N. Bourbaki ; I. Les Structures fondamentales de l'analyse ; livre 4
所蔵情報: loading…
目次情報:
chapitre 1. Dérivées
chapitre 2. Primitives et intégrales
chapitre 3. Fonctions élémentaires
chapitre 1. Dérivées
chapitre 2. Primitives et intégrales
chapitre 3. Fonctions élémentaires
20.

図書

図書
Einar, Hille
出版情報: New York : Blaisdell Pub., 1959-c1962  2 v. ; 24 cm
シリーズ名: Introductions to higher mathematics
所蔵情報: loading…
21.

図書

図書
von Gustav Doetsch
出版情報: Basel : Birkhäuser, 1955-1956  2 v. ; 25 cm
シリーズ名: Lehrbücher und Monographien aus dem Gebiete der exakten Wissenschaften ; Mathematische Reihe ; Bd. 15,19 . Handbuch der Laplace-Transformation ; Bd. 2-3
所蔵情報: loading…
22.

図書

図書
B. L. van der Waerden : English translation by Arnold Dresden with additions of the author
出版情報: Groningen : P. Noordhoff, [1954-74]  2 v ; 26 cm
所蔵情報: loading…
23.

図書

図書
International Congress of Mathematicians
出版情報: Providence, R.I. ; American Mathematical Society, 1952  2 v. ; 26 cm
所蔵情報: loading…
24.

図書

図書
von L.S. Pontrjagin
出版情報: Leipzig : B.G. Teubner, 1957-1958  2 v. ; 22 cm
所蔵情報: loading…
25.

雑誌

雑誌
Sociedad Matemática Mexicana
出版情報: Mexico : La Sociedad, 1956-1994  v. ; 23 cm
巻次年月次: (1956)-v. 39, no. 1/2 (abr./oct. 1994)
所蔵情報: loading…
26.

雑誌

雑誌
Université de Genève. Institut de mathématiques
出版情報: Genève : Institut de mathématiques de l'Université  v. ; 26 cm
巻次年月次: T. 1 (1955)-
所蔵情報: loading…
27.

雑誌

雑誌
出版情報: Oxford : Clarendon Press, 1950-  v. ; 24 cm
巻次年月次: Vol. 1 (1950)-
所蔵情報: loading…
28.

図書

図書
von A.P. Norden ; [Übersetzung aus dem Russischen, Rolf Sulanke]
出版情報: Berlin : Deutscher Verlag der Wissenschaften, 1956-1957  2 v. ; 21 cm
所蔵情報: loading…
29.

図書

図書
von P. Alexandroff ; [Autorisierte Übersetzung aus dem Russischen, Hans Günter Bothe]
出版情報: Berlin : Ved Deutscher Verlarg der Wissenschaften, 1959-1962  2 v. ; 24 cm
シリーズ名: Mathematische Forschungsberichte ; 7, 14
所蔵情報: loading…
目次情報:
1. Abgeschlossene Mengen
2. Nichtabgeschlossene Mengen
1. Abgeschlossene Mengen
2. Nichtabgeschlossene Mengen
30.

図書

図書
北川敏男著
出版情報: 東京 : 培風館, 1955.11-1956.2  2冊 ; 22cm
所蔵情報: loading…
31.

図書

図書
Haskell B. Curry, Robert Feys ; with two sections by William Craig
出版情報: Amsterdam : North-Holland Pub. Co., 1958-1972  2 v. ; 24 cm
シリーズ名: Studies in logic and the foundations of mathematics
所蔵情報: loading…
32.

図書

図書
Harold Chestnut and Robert W. Mayer
出版情報: New York : Wiley , London : Chapman, 1955-59  2 v. ; 24 cm
シリーズ名: General Electric series
所蔵情報: loading…
33.

図書

図書
Gaston Julia
出版情報: Paris : Gauthier-Villars, 1955  v. ; 25 cm
シリーズ名: Cours de l'Ecole Polytechnique ; . Cours de géométrie infinitésimale / Gaston Julia ; 2e fasc., 4e fasc.
所蔵情報: loading…
34.

図書

図書
by C. Carathéodory ; translated by F. Steinhardt
出版情報: New York : Chelsea Pub. Co., c1958-c1960  2 v. ; 24 cm
所蔵情報: loading…
35.

図書

図書
Arnaud Denjoy
出版情報: Paris : Gauthier-Villars, 1957  2 v ; 25 cm
所蔵情報: loading…
目次情報:
1. La variable complexe
2. Le champ réel
1. La variable complexe
2. Le champ réel
36.

図書

図書
朝永振一郎著
出版情報: 東京 : みすず書房, 1952.5-1952.12  2冊 ; 22cm
シリーズ名: 物理学大系 ; 基礎物理篇||キソ ブツリヘン ; 8
所蔵情報: loading…
37.

図書

図書
Luigi Bianchi
出版情報: Roma : Edizioni cremonese, 1956  2 v. ; 26 cm
シリーズ名: Opere : a cura dell'Unione matematica italiana e col contributo del consiglionazionale delle ricerche / Luigi Bianchi ; v. 4
所蔵情報: loading…
38.

図書

図書
par Ch.-J. de La Vallée Poussin
出版情報: Paris : Gauthier-Villars, 1957  viii, 552 p. ; 25 cm
所蔵情報: loading…
39.

図書

図書
par Casimir Kuratowski
出版情報: Warszawa : Wrocław, 1950  444 p. ; 25 cm
シリーズ名: Monografie matematyczne ; t. 21
所蔵情報: loading…
40.

図書

図書
Roman Sikorski
出版情報: Warszawa : [Państwowe Wydawnictwo Naukowe], 1958-  v. ; 25 cm
シリーズ名: Monografie matematyczne ; t. 35, 37
所蔵情報: loading…
41.

図書

図書
Ludwig Schläfli ; herausgegeben vom Steiner-Schläfli-Komitee der Schweizerischen Naturforschenden Gesellschaft
出版情報: Basel : Birkhäuser, 1950-1956  3 v. ; 25 cm
所蔵情報: loading…
42.

図書

図書
Wacław Sierpiński
出版情報: Warszawa : [Państwowe Wydawnictwo Naukowe], 1959  487 p. ; 25 cm
シリーズ名: Monografie matematyczne ; t. 38
所蔵情報: loading…
43.

図書

図書
Gaston Julia
出版情報: Paris : Gauthier-Villars, 1955  v. ; 26 cm
シリーズ名: Cours de l'Ecole Polytechnique ; . Cours de géométrie infinitésimale / par Gaston Julia ; fasc. 3, fasc. 5
所蔵情報: loading…
44.

図書

図書
Laurent Schwartz
出版情報: Paris : Hermann, c1957  162 p. ; 24 cm
シリーズ名: Publications de l'Institut de Mathématique de l'Université de Strasbourg ; 6
Actualités scientifiques et industrielles ; 1245
所蔵情報: loading…
45.

図書

図書
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:
46.

図書

図書
based, in part, on notes left by Harry Bateman ; and compiled by the staff of the Bateman Manuscript Project. [A Erdélyi, editor. W. Magnus, F. Oberhettinger, F.G. Tricomi, research associates]
出版情報: New York : McGraw-Hill, 1954-1955  3 v ; 24 cm
所蔵情報: loading…
47.

図書

図書
C.メラー著 ; 永田恒夫, 伊藤大介訳
出版情報: 東京 : みすず書房, 1959.6  xii, 393p ; 22cm
所蔵情報: loading…
48.

図書

図書
Bourbaki, Nicolas
出版情報: Paris : Hermann, 1951-  v. ; 26 cm
シリーズ名: Actualités scientifiques et industrielles ; 858-1142, 1045
Éléments de mathématique / par N. Bourbaki ; 1e ptie . Les structures fondamentales de l'analyse ; livre 3
所蔵情報: loading…
目次情報:
ch. 1. Structures topologiques
ch. 2. Structures uniformes
ch. 9. Utilisation des nombres réels en topologie générale
ch. 1. Structures topologiques
ch. 2. Structures uniformes
ch. 9. Utilisation des nombres réels en topologie générale
49.

図書

図書
Redaktion, P.S. Alexandroff, A.I. Markuschewitsch, A.J. Chintschin
出版情報: Berlin : VEB Deutscher Verlag der Wissenschaften, 1954-  v. ; 24 cm
シリーズ名: Hochschulbücher für Mathematik ; Bd. 7-9
所蔵情報: loading…
50.

図書

図書
edited by Eugene M. Grabbe, Simon Ramo, Dean E. Wooldridge
出版情報: New York : Wiley , London : Chapman & Hall, c1959  1 v. (various pagings) ; 24 cm
シリーズ名: Handbook of automation, computation, and control / edited by Eugene M. Grabbe, Simon Ramo, Dean E. Wooldridge ; v. 2
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼