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.
A Course in Mathematical Logic / Yu. I. Manin ; Translated from the Russian by Neal Koblitz
| A Course in Mathematical Logic / Yu. I. Manin ; Translated from the Russian by Neal Koblitz |
| Autore | Manin, Yuri I. |
| Pubbl/distr/stampa | New York, : Springer, 1977 |
| Descrizione fisica | xiii, 288 p. : ill. ; 24 cm |
| Soggetto non controllato |
Boundary Element Methods
Computability Forcing Formal languages Forms Functions Language Logic Mathematical logic Mathematics Presentation theory of complexity |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0268046 |
Manin, Yuri I.
|
||
| New York, : Springer, 1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
A Course in Mathematical Logic / Yu. I. Manin ; Translated from the Russian by Neal Koblitz
| A Course in Mathematical Logic / Yu. I. Manin ; Translated from the Russian by Neal Koblitz |
| Autore | Manin, Yuri I. |
| Pubbl/distr/stampa | New York, : Springer, 1977 |
| Descrizione fisica | xiii, 288 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03B10 - Classical first-order logic [MSC 2020] 03D20 - Recursive functions and relations, subrecursive hierarchies [MSC 2020] 03D80 - Applications of computability and recursion theory [MSC 2020] 03E50 - Continuum hypothesis and Martin's axiom [MSC 2020] 03Fxx - Proof theory and constructive mathematics [MSC 2020] 03G12 - Quantum logic [MSC 2020] 11Uxx - Connections of number theory and logic [MSC 2020] 20A15 - Applications of logic to group theory [MSC 2020] |
| Soggetto non controllato |
Boundary Element Methods
Computability Forcing Formal languages Forms Functions Language Logic Mathematical logic Mathematics Presentations Theory of complexity |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00268046 |
|
Manin, Yuri I.
|
||
| New York, : Springer, 1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
An Invitation to Mathematical Logic / David Marker
| An Invitation to Mathematical Logic / David Marker |
| Autore | Marker, David |
| Pubbl/distr/stampa | Cham, : Springer, 2024 |
| Descrizione fisica | xviii, 357 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Cxx - Model theory [MSC 2020] 03Dxx - Computability and recursion theory [MSC 2020] 03Fxx - Proof theory and constructive mathematics [MSC 2020] |
| Soggetto non controllato |
Completeness theorem
Computability Godel's completeness Gödel incompleteness theorem Hilbert's 10th problem Incompleteness theorem Logic for Computer Science Logic for philosophy Marker GTM Mathematical logic Model theory introduction Peano arithmetic Quantifier elimination Turing reducibility Ultraproducts |
| ISBN | 978-30-315-5367-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00283788 |
|
Marker, David
|
||
| Cham, : Springer, 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
The Calculi of Lambda Conversion. (AM-6), Volume 6 / / Alonzo Church
| The Calculi of Lambda Conversion. (AM-6), Volume 6 / / Alonzo Church |
| Autore | Church Alonzo |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (89 pages) |
| Disciplina | 517.5 |
| Collana | Annals of Mathematics Studies |
| Soggetto topico |
Logic, Symbolic and mathematical
Recursive functions |
| Soggetto non controllato |
2H
A-normal form Addition Alphabetical order Ambiguity Argument of a function Axiom Bibliography Big O notation Calculation Characteristic function (probability theory) Combination Complex number Computability Computation Consistency Corollary Definition Denotation Determination Differential calculus Enumeration Equation Exc Existential quantification Exponentiation Finitary Finite set Formal system Frege (programming language) Function (mathematics) Gödel numbering Identity function In the process of Integer Iteration Limit (mathematics) Logic Logical conjunction Logical disjunction Mathematical induction Mathematical logic Mathematics Metamathematics Natural number Negation Notation Null set Number theory Ordinal number Pairing Paul Bernays Primitive recursive function Principia Mathematica Propositional function Quantifier (logic) Real number Recursion (computer science) Recursion Reduction of order Requirement Resultant Rule of inference Scientific notation Sequence Set theory Special case Successor function Theorem Theory Transfinite number Transfinite Truth value Uncertainty Universal quantification Upper and lower bounds Variable (mathematics) Well-formed formula Without loss of generality |
| ISBN | 1-4008-8193-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- CONTENTS -- Chapter I. INTRODUCTORY -- Chapter II. LAMBDA-CONVERSION -- Chapter III. LAMBDA-DEFINABILITY -- Chapter IV. COMBINATIONS, GÖDEL NUMBERS -- Chapter V. THE CALCULI OF λ-K-CONVERSION AND λ-δ- CONVERSION -- INDEX OP THE PRINCIPAL FORMULAS INTRODUCED BY DEFINITION -- BIBLIOGRAPHY -- CORRECTION AND ADDITIONS |
| Record Nr. | UNINA-9910154753003321 |
|
Church Alonzo
|
||
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Combinatorics, Graph Theory and Computing : SEICCGTC 2020, Boca Raton, USA, March 9–13 / Frederick Hoffman
| Combinatorics, Graph Theory and Computing : SEICCGTC 2020, Boca Raton, USA, March 9–13 / Frederick Hoffman |
| Pubbl/distr/stampa | Cham, : Springer, 2022 |
| Descrizione fisica | xii, 326 p. : ill. ; 24 cm |
| Soggetto non controllato |
Combinatorial games
Combinatorics Computability Computing Designs and geometries Domination in graphs Extremal graph theory Graph coloring Graph theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0276982 |
| Cham, : Springer, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Combinatorics, Graph Theory and Computing : SEICCGTC 2020, Boca Raton, USA, March 9–13 / Frederick Hoffman
| Combinatorics, Graph Theory and Computing : SEICCGTC 2020, Boca Raton, USA, March 9–13 / Frederick Hoffman |
| Pubbl/distr/stampa | Cham, : Springer, 2022 |
| Descrizione fisica | xii, 326 p. : ill. ; 24 cm |
| Soggetto topico |
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020]
05-XX - Combinatorics [MSC 2020] 05Cxx - Graph theory [MSC 2020] 68-XX - Computer science [MSC 2020] 68R10 - Graph theory (including graph drawing) in computer science [MSC 2020] |
| Soggetto non controllato |
Combinatorial games
Combinatorics Computability Computing Designs and geometries Domination in graphs Extremal graph theory Graph coloring Graph theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00276982 |
| Cham, : Springer, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Computability : A Mathematical Sketchbook / Douglas S. Bridges
| Computability : A Mathematical Sketchbook / Douglas S. Bridges |
| Autore | Bridges, Douglas S. |
| Pubbl/distr/stampa | New York, : Springer, 1994 |
| Descrizione fisica | ix, 178 p. : ill. ; 25 cm |
| Soggetto topico | 03Dxx - Computability and recursion theory [MSC 2020] |
| Soggetto non controllato |
Complexity
Computability Functions Recursion |
| ISBN | 978-35-409-4174-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00053441 |
|
Bridges, Douglas S.
|
||
| New York, : Springer, 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Computability : A Mathematical Sketchbook / Douglas S. Bridges
| Computability : A Mathematical Sketchbook / Douglas S. Bridges |
| Autore | Bridges, Douglas S. |
| Pubbl/distr/stampa | New York, : Springer, 1994 |
| Descrizione fisica | ix, 178 p. : ill. ; 25 cm |
| Soggetto topico | 03Dxx - Computability and recursion theory [MSC 2020] |
| Soggetto non controllato |
Complexity
Computability Functions Recursion |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00292711 |
|
Bridges, Douglas S.
|
||
| New York, : Springer, 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Computation, Logic, Philosophy : A Collection of Essays / Hao Wang
| Computation, Logic, Philosophy : A Collection of Essays / Hao Wang |
| Autore | Wang, Hao |
| Pubbl/distr/stampa | Dordrecht, : Kluwer ; Beijing, : Science, 1990 |
| Descrizione fisica | xxvii, 373 p. ; 24 cm |
| Soggetto topico |
00A30 - Philosophy of mathematics [MSC 2020]
01A75 - Collected or selected works; reprintings or translations of classics [MSC 2020] 03-XX - Mathematical logic and foundations [MSC 2020] 03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020] 03D35 - Undecidability and degrees of sets of sentences [MSC 2020] 68-XX - Computer science [MSC 2020] |
| Soggetto non controllato |
Approximation
Artificial Intelligence Automated theorem proving Boolean satisfiability problem Classification Communications Complexity Computability Information Logic Matching Model theory Proofs Set Theory Theorem proving |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00287585 |
|
Wang, Hao
|
||
| Dordrecht, : Kluwer ; Beijing, : Science, 1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Lectures on resolution of singularities [[electronic resource] /] / János Kollár
| Lectures on resolution of singularities [[electronic resource] /] / János Kollár |
| Autore | Kollár János |
| Edizione | [Course Book] |
| Pubbl/distr/stampa | Princeton, N.J., : Princeton University Press, 2007 |
| Descrizione fisica | 1 online resource (215 p.) |
| Disciplina | 516.3/5 |
| Collana | Annals of mathematics studies |
| Soggetto topico | Singularities (Mathematics) |
| Soggetto non controllato |
Adjunction formula
Algebraic closure Algebraic geometry Algebraic space Algebraic surface Algebraic variety Approximation Asymptotic analysis Automorphism Bernhard Riemann Big O notation Birational geometry C0 Canonical singularity Codimension Cohomology Commutative algebra Complex analysis Complex manifold Computability Continuous function Coordinate system Diagram (category theory) Differential geometry of surfaces Dimension Divisor Du Val singularity Dual graph Embedding Equation Equivalence relation Euclidean algorithm Factorization Functor General position Generic point Geometric genus Geometry Hyperplane Hypersurface Integral domain Intersection (set theory) Intersection number (graph theory) Intersection theory Irreducible component Isolated singularity Laurent series Line bundle Linear space (geometry) Linear subspace Mathematical induction Mathematics Maximal ideal Morphism Newton polygon Noetherian ring Noetherian Open problem Open set P-adic number Pairwise Parametric equation Partial derivative Plane curve Polynomial Power series Principal ideal Principalization (algebra) Projective space Projective variety Proper morphism Puiseux series Quasi-projective variety Rational function Regular local ring Resolution of singularities Riemann surface Ring theory Ruler Scientific notation Sheaf (mathematics) Singularity theory Smooth morphism Smoothness Special case Subring Summation Surjective function Tangent cone Tangent space Tangent Taylor series Theorem Topology Toric variety Transversal (geometry) Variable (mathematics) Weierstrass preparation theorem Weierstrass theorem Zero set |
| ISBN |
1-282-15774-4
9786612157745 1-4008-2780-9 |
| Classificazione | SK 240 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Contents -- Introduction -- Chapter 1. Resolution for Curves -- Chapter 2. Resolution for Surfaces -- Chapter 3. Strong Resolution in Characteristic Zero -- Bibliography -- Index |
| Record Nr. | UNINA-9910778222903321 |
|
Kollár János
|
||
| Princeton, N.J., : Princeton University Press, 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
