Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Introduction to Mathematical Logic (PMS-13), Volume 13 / / Alonzo Church
| Introduction to Mathematical Logic (PMS-13), Volume 13 / / Alonzo Church |
| Autore | Church Alonzo |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (389 pages) |
| Disciplina | 511.3 |
| Collana | Princeton Mathematical Series |
| Soggetto topico | Logic, Symbolic and mathematical |
| Soggetto non controllato |
Abstract algebra
Acta Mathematica Arithmetic Axiom of choice Axiom of infinity Axiom of reducibility Axiom schema Axiom Axiomatic system Binary function Boolean algebra (structure) Boolean ring Calculus ratiocinator Characterization (mathematics) Class (set theory) Classical mathematics Commutative property Commutative ring Conditional disjunction David Hilbert Decision problem Deduction theorem Denotation Disjunctive syllogism Double negation Duality (mathematics) Elementary algebra Elementary arithmetic English alphabet Equation Existential quantification Expression (mathematics) Formation rule Frege (programming language) Function (mathematics) Functional calculus Fundamenta Mathematicae Gödel numbering Gödel's completeness theorem Gödel's incompleteness theorems Hilbert's program Hypothetical syllogism Imperative logic Inference Introduction to Mathematical Philosophy Lambda calculus Linear differential equation Logic Logical connective Logical disjunction Material implication (rule of inference) Mathematical analysis Mathematical induction Mathematical logic Mathematical notation Mathematical practice Mathematical problem Mathematical theory Mathematics Mathematische Zeitschrift Metatheorem Modal logic Modus ponendo tollens Natural number Naturalness (physics) Negation Notation Number theory Object language Parity (mathematics) Predicate (mathematical logic) Prenex normal form Principia Mathematica Propositional calculus Propositional function Propositional variable Quantifier (logic) Range (mathematics) Real number Recursion (computer science) Restriction (mathematics) Riemann surface Ring (mathematics) Rule of inference Scientific notation Second-order arithmetic Series (mathematics) Sign (mathematics) Skolem normal form Special case Tautology (logic) Term logic The Principles of Mathematics Theorem Three-dimensional space (mathematics) Transfinite number Triviality (mathematics) Truth table Variable (mathematics) Zermelo set theory |
| ISBN | 1-4008-8145-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Preface -- Contents -- Introduction -- I. The Propositional Calculus -- II. The Propositional Calculus (Continued) -- III. Functional Calculi of First Order -- IV. The Pure Functional Calculus of First Order -- V. Functional Calculi of Second Order -- Index of Definitions -- Index of Authors -- Errata |
| Record Nr. | UNINA-9910154754303321 |
Church Alonzo
|
||
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Introduction to Ramsey spaces [[electronic resource] /] / Stevo Todorcevic
| Introduction to Ramsey spaces [[electronic resource] /] / Stevo Todorcevic |
| Autore | Todorcevic Stevo |
| Edizione | [Course Book] |
| Pubbl/distr/stampa | Princeton, : Princeton University Press, 2010 |
| Descrizione fisica | 1 online resource (296 p.) |
| Disciplina | 511/.5 |
| Collana | Annals of mathematics studies |
| Soggetto topico |
Ramsey theory
Algebraic spaces |
| Soggetto non controllato |
Analytic set
Axiom of choice Baire category theorem Baire space Banach space Bijection Binary relation Boolean prime ideal theorem Borel equivalence relation Borel measure Borel set C0 Cantor cube Cantor set Cantor space Cardinality Characteristic function (probability theory) Characterization (mathematics) Combinatorics Compact space Compactification (mathematics) Complete metric space Completely metrizable space Constructible universe Continuous function (set theory) Continuous function Corollary Countable set Counterexample Decision problem Dense set Diagonalization Dimension (vector space) Dimension Discrete space Disjoint sets Dual space Embedding Equation Equivalence relation Existential quantification Family of sets Forcing (mathematics) Forcing (recursion theory) Gap theorem Geometry Ideal (ring theory) Infinite product Lebesgue measure Limit point Lipschitz continuity Mathematical induction Mathematical problem Mathematics Metric space Metrization theorem Monotonic function Natural number Natural topology Neighbourhood (mathematics) Null set Open set Order type Partial function Partially ordered set Peano axioms Point at infinity Pointwise Polish space Probability measure Product measure Product topology Property of Baire Ramsey theory Ramsey's theorem Right inverse Scalar multiplication Schauder basis Semigroup Sequence Sequential space Set (mathematics) Set theory Sperner family Subsequence Subset Subspace topology Support function Symmetric difference Theorem Topological dynamics Topological group Topological space Topology Tree (data structure) Unit interval Unit sphere Variable (mathematics) Well-order Zorn's lemma |
| ISBN |
1-4008-3540-2
9786612645068 1-282-64506-4 |
| Classificazione | SI 830 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Contents -- Introduction -- Chapter 1. Ramsey Theory: Preliminaries -- Chapter 2. Semigroup Colorings -- Chapter 3. Trees and Products -- Chapter 4. Abstract Ramsey Theory -- Chapter 5. Topological Ramsey Theory -- Chapter 6. Spaces of Trees -- Chapter 7. Local Ramsey Theory -- Chapter 8. Infinite Products of Finite Sets -- Chapter 9. Parametrized Ramsey Theory -- Appendix -- Bibliography -- Subject Index -- Index of Notation |
| Record Nr. | UNINA-9910791065103321 |
|
Todorcevic Stevo
|
||
| Princeton, : Princeton University Press, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Linear Inequalities and Related Systems. (AM-38), Volume 38 / / Harold William Kuhn, Albert William Tucker
| Linear Inequalities and Related Systems. (AM-38), Volume 38 / / Harold William Kuhn, Albert William Tucker |
| Autore | Kuhn Harold William |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (353 pages) : illustrations, tables |
| Disciplina | 512.89 |
| Collana | Annals of Mathematics Studies |
| Soggetto topico |
Linear programming
Matrices Game theory |
| Soggetto non controllato |
Banach space
Basic solution (linear programming) Big O notation Bilinear form Boundary (topology) Brouwer fixed-point theorem Characterization (mathematics) Coefficient Combination Computation Computational problem Convex combination Convex cone Convex hull Convex set Corollary Correlation and dependence Cramer's rule Cyclic permutation Dedekind cut Degeneracy (mathematics) Determinant Diagram (category theory) Dilworth's theorem Dimension (vector space) Directional derivative Disjoint sets Doubly stochastic matrix Dual space Duality (mathematics) Duality (optimization) Eigenvalues and eigenvectors Elementary proof Equation solving Equation Equivalence class Euclidean space Existence theorem Existential quantification Extreme point Fixed-point theorem Functional analysis Fundamental theorem General equilibrium theory Hall's theorem Hilbert space Incidence matrix Inequality (mathematics) Infimum and supremum Invertible matrix Kakutani fixed-point theorem Lagrange multiplier Linear equation Linear inequality Linear map Linear programming Linear space (geometry) Linear subspace Loss function Main diagonal Mathematical induction Mathematical optimization Mathematical problem Max-flow min-cut theorem Maxima and minima Maximal set Maximum flow problem Menger's theorem Minor (linear algebra) Monotonic function N-vector Nonlinear programming Nonnegative matrix Parity (mathematics) Partially ordered set Permutation matrix Permutation Polyhedron Quantity Representation theorem Row and column vectors Scientific notation Sensitivity analysis Set notation Sign (mathematics) Simplex algorithm Simultaneous equations Solution set Special case Subset Summation System of linear equations Theorem Transpose Unit sphere Unit vector Upper and lower bounds Variable (mathematics) Vector space Von Neumann's theorem |
| ISBN | 1-4008-8198-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Preface -- Contents -- 1 . Dual Systems of Homogeneous Linear Relations / Tucker, A. W. -- 2. Polyhedral Convex Cones / Goldman, A. J. / Tucker, A. W. -- 3 . Resolution and Separation Theorems for Polyhedral Convex Sets / Goldman, A. J. -- 4. Theory of Linear Programming / Goldman, A. J. / Tucker, A. W. -- 5. On Systems of Linear Inequalities / Pan, Ky -- 6. Infinite Programs / Duffin, R . J . -- 7* A Primal-Dual Algorithm for Linear Programs / Dantzig, G. B. / Ford, L. R. / Fulkerson, D. R. -- 8. Marginal Values of Matrix Games and Linear Programs / Mills, Harlan D. -- 9 . Determinateness of Polyhedral Games / Wolfe, Philip -- 10. On Systems of Distinct Representatives / Hoffman, A. J. / Kuhn, H. W. -- 11. Dilworth's Theorem on Partially Ordered Sets / Dantzig, G. B. / Hoffman, A. J. -- 12. On the Max-Flow Min-Cut Theorem of Networks / Dantzig, G. B. / Fulkerson, D. R. -- 13. Integral Boundary Points of Convex Polyhedra / Hoffman, A. J. / Kruskal, J. B. -- 14 . An Extension of a Theorem of Dantzig's / Heller, I. / Tompkins, C. B. -- 15. Neighboring Vertices on a Convex Polyhedron / Gale, David -- 16. On a Theorem of Wald / Kuhn, H. W. -- 17. On the Solution of a Game-Theoretic Problem / Thompson, Gerald L. -- 18. The Closed Linear Model of Production / Gale, David -- Bibliography -- Backmatter |
| Record Nr. | UNINA-9910154749603321 |
|
Kuhn Harold William
|
||
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||