Category Theory and Computer Science [[electronic resource] ] : Edinburgh, UK, September 7-9, 1987. Proceedings / / edited by David H. Pitt, Axel Poigne, David E. Rydeheard |
Edizione | [1st ed. 1987.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1987 |
Descrizione fisica | 1 online resource (VIII, 304 p.) |
Disciplina | 514 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Topology
Computer logic Mathematical logic Logics and Meanings of Programs Mathematical Logic and Formal Languages Mathematical Logic and Foundations |
ISBN | 3-540-48006-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Categories and effective computations -- Polymorphism is set theoretic, constructively -- An equational presentation of higher order logic -- Enriched categories for local and interaction calculi -- The category of Milner processes is exact -- Relating two models of hardware -- Foundations of equational deduction: A categorical treatment of equational proofs and unification algorithms -- A typed lambda calculus with categorical type constructors -- Final algebras, cosemicomputable algebras, and degrees of unsolvability -- Good functors ... are those preserving philosophy! -- Viewing implementations as an institution -- An interval model for second order lambda calculus -- Logical aspects of denotational semantics -- Connections between partial maps categories and tripos theory -- A fixpoint construction of the p-adic domain -- A category of Galois connections. |
Record Nr. | UNISA-996465797603316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1987 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Category Theory Applied to Computation and Control [[electronic resource] ] : Proceedings of the First International Symposium, San Francisco, February 25-26, 1974 / / edited by E.G. Manes |
Edizione | [1st ed. 1975.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1975 |
Descrizione fisica | 1 online resource (XII, 248 p.) |
Disciplina | 514 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Topology
Computers K-theory Computation by Abstract Devices K-Theory |
ISBN | 3-540-37426-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Basic concepts of category theory applicable to computation and control -- A control theorist looks at abstract nonsense -- A Categorist's view of automata and systems -- Categorical theory of tree processing -- Realization of multilinear and multidecomposable machines -- Fuzzy morphishms in automata theory -- Time-varying systems -- Addressed machines and duality -- Factorization of scott-style automata -- An abstract machine theory for formal language parsers -- Some structural properties of automata defined on groups -- Automata in additive categories with applications to stochastic linear automata -- The algebraic theory of recursive program schemes -- Realization is continuously universal -- Diagram-characterization of recursion -- Power and initial automata in pseudoclosed categories -- Semantics of computation -- Scattering theory and non linear systems -- Synthesis and complexity of logical systems -- Strukturelle verwandtschaften von Semi-Thue-Systemen -- Control of linear continuous-time systems defined over rings of distributions -- Cellular automata with additive local transition -- Automata in semimodule categories -- Representation of a class of nonlinear systems -- Duals of input/output maps -- An algebraic formulation of the Chomsky hierarchy -- On the recursive specification of data types -- Linear systems over rings of operators -- The tricotyledon theory of system design. |
Record Nr. | UNISA-996465536303316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1975 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Chain conditions in topology / W. W. Comfort, S. Negrepontis |
Autore | Comfort, W. Wistar |
Pubbl/distr/stampa | Cambridge : Cambridge University Press, 1982 |
Descrizione fisica | xiii, 300 p. ; 22 cm. |
Disciplina | 514 |
Altri autori (Persone) | Negrepontis, Stylianosauthor |
Collana | Cambridge tracts in mathematics ; 79 |
Soggetto topico |
Combinatorial analysis
Topological spaces Topology |
ISBN | 0521234875 |
Classificazione | AMS 54A05 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000738709707536 |
Comfort, W. Wistar | ||
Cambridge : Cambridge University Press, 1982 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Classical Descriptive Set Theory [[electronic resource] /] / by Alexander Kechris |
Autore | Kechris Alexander |
Edizione | [1st ed. 1995.] |
Pubbl/distr/stampa | New York, NY : , : Springer New York : , : Imprint : Springer, , 1995 |
Descrizione fisica | 1 online resource (XVIII, 404 p.) |
Disciplina | 511.3 |
Collana | Graduate Texts in Mathematics |
Soggetto topico |
Mathematical logic
Topology Mathematical Logic and Foundations |
ISBN | 1-4612-4190-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | I Polish Spaces -- 1. Topological and Metric Spaces -- 2. Trees -- 3. Polish Spaces -- 4. Compact Metrizable Spaces -- 5. Locally Compact Spaces -- 6. Perfect Polish Spaces -- 7.Zero-dimensional Spaces -- 8. Baire Category -- 9. Polish Groups -- II Borel Sets -- 10. Measurable Spaces and Functions -- 11. Borel Sets and Functions -- 12. Standard Borel Spaces -- 13. Borel Sets as Clopen Sets -- 14. Analytic Sets and the Separation Theorem -- 15. Borel Injections and Isomorphisms -- 16. Borel Sets and Baire Category -- 17. Borel Sets and Measures -- 18. Uniformization Theorems -- 19. Partition Theorems -- 20. Borel Determinacy -- 21. Games People Play -- 22. The Borel Hierarchy -- 23. Some Examples -- 24. The Baire Hierarchy -- III Analytic Sets -- 25. Representations of Analytic Sets -- 26. Universal and Complete Sets -- 27. Examples -- 28. Separation Theorems -- 29. Regularity Properties -- 30. Capacities -- 31. Analytic Well-founded Relations -- IV Co-Analytic Sets -- 32. Review -- 33. Examples -- 34. Co-Analytic Ranks -- 35. Rank Theory -- 36. Scales and Uniformiiatiou -- V Projective Sets -- 37. The Projective Hierarchy -- 38. Projective Determinacy -- 39. The Periodicity Theorems -- 40. Epilogue -- Appendix A. Ordinals and Cardinals -- Appendix B. Well-founded Relations -- Appendix C. On Logical Notation -- Notes and Hints -- References -- Symbols and Abbreviations. |
Record Nr. | UNINA-9910480778003321 |
Kechris Alexander | ||
New York, NY : , : Springer New York : , : Imprint : Springer, , 1995 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Classical Descriptive Set Theory [[electronic resource] /] / by Alexander Kechris |
Autore | Kechris Alexander |
Edizione | [1st ed. 1995.] |
Pubbl/distr/stampa | New York, NY : , : Springer New York : , : Imprint : Springer, , 1995 |
Descrizione fisica | 1 online resource (XVIII, 404 p.) |
Disciplina | 511.3 |
Collana | Graduate Texts in Mathematics |
Soggetto topico |
Mathematical logic
Topology Mathematical Logic and Foundations |
ISBN | 1-4612-4190-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | I Polish Spaces -- 1. Topological and Metric Spaces -- 2. Trees -- 3. Polish Spaces -- 4. Compact Metrizable Spaces -- 5. Locally Compact Spaces -- 6. Perfect Polish Spaces -- 7.Zero-dimensional Spaces -- 8. Baire Category -- 9. Polish Groups -- II Borel Sets -- 10. Measurable Spaces and Functions -- 11. Borel Sets and Functions -- 12. Standard Borel Spaces -- 13. Borel Sets as Clopen Sets -- 14. Analytic Sets and the Separation Theorem -- 15. Borel Injections and Isomorphisms -- 16. Borel Sets and Baire Category -- 17. Borel Sets and Measures -- 18. Uniformization Theorems -- 19. Partition Theorems -- 20. Borel Determinacy -- 21. Games People Play -- 22. The Borel Hierarchy -- 23. Some Examples -- 24. The Baire Hierarchy -- III Analytic Sets -- 25. Representations of Analytic Sets -- 26. Universal and Complete Sets -- 27. Examples -- 28. Separation Theorems -- 29. Regularity Properties -- 30. Capacities -- 31. Analytic Well-founded Relations -- IV Co-Analytic Sets -- 32. Review -- 33. Examples -- 34. Co-Analytic Ranks -- 35. Rank Theory -- 36. Scales and Uniformiiatiou -- V Projective Sets -- 37. The Projective Hierarchy -- 38. Projective Determinacy -- 39. The Periodicity Theorems -- 40. Epilogue -- Appendix A. Ordinals and Cardinals -- Appendix B. Well-founded Relations -- Appendix C. On Logical Notation -- Notes and Hints -- References -- Symbols and Abbreviations. |
Record Nr. | UNINA-9910789224103321 |
Kechris Alexander | ||
New York, NY : , : Springer New York : , : Imprint : Springer, , 1995 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Classical Descriptive Set Theory [[electronic resource] /] / by Alexander Kechris |
Autore | Kechris Alexander |
Edizione | [1st ed. 1995.] |
Pubbl/distr/stampa | New York, NY : , : Springer New York : , : Imprint : Springer, , 1995 |
Descrizione fisica | 1 online resource (XVIII, 404 p.) |
Disciplina | 511.3 |
Collana | Graduate Texts in Mathematics |
Soggetto topico |
Mathematical logic
Topology Mathematical Logic and Foundations |
ISBN | 1-4612-4190-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | I Polish Spaces -- 1. Topological and Metric Spaces -- 2. Trees -- 3. Polish Spaces -- 4. Compact Metrizable Spaces -- 5. Locally Compact Spaces -- 6. Perfect Polish Spaces -- 7.Zero-dimensional Spaces -- 8. Baire Category -- 9. Polish Groups -- II Borel Sets -- 10. Measurable Spaces and Functions -- 11. Borel Sets and Functions -- 12. Standard Borel Spaces -- 13. Borel Sets as Clopen Sets -- 14. Analytic Sets and the Separation Theorem -- 15. Borel Injections and Isomorphisms -- 16. Borel Sets and Baire Category -- 17. Borel Sets and Measures -- 18. Uniformization Theorems -- 19. Partition Theorems -- 20. Borel Determinacy -- 21. Games People Play -- 22. The Borel Hierarchy -- 23. Some Examples -- 24. The Baire Hierarchy -- III Analytic Sets -- 25. Representations of Analytic Sets -- 26. Universal and Complete Sets -- 27. Examples -- 28. Separation Theorems -- 29. Regularity Properties -- 30. Capacities -- 31. Analytic Well-founded Relations -- IV Co-Analytic Sets -- 32. Review -- 33. Examples -- 34. Co-Analytic Ranks -- 35. Rank Theory -- 36. Scales and Uniformiiatiou -- V Projective Sets -- 37. The Projective Hierarchy -- 38. Projective Determinacy -- 39. The Periodicity Theorems -- 40. Epilogue -- Appendix A. Ordinals and Cardinals -- Appendix B. Well-founded Relations -- Appendix C. On Logical Notation -- Notes and Hints -- References -- Symbols and Abbreviations. |
Record Nr. | UNINA-9910817247903321 |
Kechris Alexander | ||
New York, NY : , : Springer New York : , : Imprint : Springer, , 1995 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Classical Topology and Combinatorial Group Theory [[electronic resource] /] / by John Stillwell |
Autore | Stillwell John |
Edizione | [2nd ed. 1993.] |
Pubbl/distr/stampa | New York, NY : , : Springer New York : , : Imprint : Springer, , 1993 |
Descrizione fisica | 1 online resource (XII, 336 p.) |
Disciplina |
514
514/.2 |
Collana | Graduate Texts in Mathematics |
Soggetto topico |
Topology
Topological groups Lie groups Topological Groups, Lie Groups |
ISBN | 1-4612-4372-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 0 Introduction and Foundations -- 0.1 The Fundamental Concepts and Problems of Topology -- 0.2 Simplicial Complexes -- 0.3 The Jordan Curve Theorem -- 0.4 Algorithms -- 0.5 Combinatorial Group Theory -- 1 Complex Analysis and Surface Topology -- 1.1 Riemann Surfaces -- 1.2 Nonorientable Surfaces -- 1.3 The Classification Theorem for Surfaces -- 1.4 Covering Surfaces -- 2 Graphs and Free Groups -- 2.1 Realization of Free Groups by Graphs -- 2.2 Realization of Subgroups -- 3 Foundations for the Fundamental Group -- 3.1 The Fundamental Group -- 3.2 The Fundamental Group of the Circle -- 3.3 Deformation Retracts -- 3.4 The Seifert—Van Kampen Theorem -- 3.5 Direct Products -- 4 Fundamental Groups of Complexes -- 4.1 Poincaré’s Method for Computing Presentations -- 4.2 Examples -- 4.3 Surface Complexes and Subgroup Theorems -- 5 Homology Theory and Abelianization -- 5.1 Homology Theory -- 5.2 The Structure Theorem for Finitely Generated Abelian Groups -- 5.3 Abelianization -- 6 Curves on Surfaces -- 6.1 Dehn’s Algorithm -- 6.2 Simple Curves on Surfaces -- 6.3 Simplification of Simple Curves by Homeomorphisms -- 6.4 The Mapping Class Group of the Torus -- 7 Knots and Braids -- 7.1 Dehn and Schreier’s Analysis of the Torus Knot Groups -- 7.2 Cyclic Coverings -- 7.3 Braids -- 8 Three-Dimensional Manifolds -- 8.1 Open Problems in Three-Dimensional Topology -- 8.2 Polyhedral Schemata -- 8.3 Heegaard Splittings -- 8.4 Surgery -- 8.5 Branched Coverings -- 9 Unsolvable Problems -- 9.1 Computation -- 9.2 HNN Extensions -- 9.3 Unsolvable Problems in Group Theory -- 9.4 The Homeomorphism Problem -- Bibliography and Chronology. |
Record Nr. | UNINA-9910480842003321 |
Stillwell John | ||
New York, NY : , : Springer New York : , : Imprint : Springer, , 1993 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Classical Topology and Combinatorial Group Theory [[electronic resource] /] / by John Stillwell |
Autore | Stillwell John |
Edizione | [2nd ed. 1993.] |
Pubbl/distr/stampa | New York, NY : , : Springer New York : , : Imprint : Springer, , 1993 |
Descrizione fisica | 1 online resource (XII, 336 p.) |
Disciplina |
514
514/.2 |
Collana | Graduate Texts in Mathematics |
Soggetto topico |
Topology
Topological groups Lie groups Topological Groups, Lie Groups |
ISBN | 1-4612-4372-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 0 Introduction and Foundations -- 0.1 The Fundamental Concepts and Problems of Topology -- 0.2 Simplicial Complexes -- 0.3 The Jordan Curve Theorem -- 0.4 Algorithms -- 0.5 Combinatorial Group Theory -- 1 Complex Analysis and Surface Topology -- 1.1 Riemann Surfaces -- 1.2 Nonorientable Surfaces -- 1.3 The Classification Theorem for Surfaces -- 1.4 Covering Surfaces -- 2 Graphs and Free Groups -- 2.1 Realization of Free Groups by Graphs -- 2.2 Realization of Subgroups -- 3 Foundations for the Fundamental Group -- 3.1 The Fundamental Group -- 3.2 The Fundamental Group of the Circle -- 3.3 Deformation Retracts -- 3.4 The Seifert—Van Kampen Theorem -- 3.5 Direct Products -- 4 Fundamental Groups of Complexes -- 4.1 Poincaré’s Method for Computing Presentations -- 4.2 Examples -- 4.3 Surface Complexes and Subgroup Theorems -- 5 Homology Theory and Abelianization -- 5.1 Homology Theory -- 5.2 The Structure Theorem for Finitely Generated Abelian Groups -- 5.3 Abelianization -- 6 Curves on Surfaces -- 6.1 Dehn’s Algorithm -- 6.2 Simple Curves on Surfaces -- 6.3 Simplification of Simple Curves by Homeomorphisms -- 6.4 The Mapping Class Group of the Torus -- 7 Knots and Braids -- 7.1 Dehn and Schreier’s Analysis of the Torus Knot Groups -- 7.2 Cyclic Coverings -- 7.3 Braids -- 8 Three-Dimensional Manifolds -- 8.1 Open Problems in Three-Dimensional Topology -- 8.2 Polyhedral Schemata -- 8.3 Heegaard Splittings -- 8.4 Surgery -- 8.5 Branched Coverings -- 9 Unsolvable Problems -- 9.1 Computation -- 9.2 HNN Extensions -- 9.3 Unsolvable Problems in Group Theory -- 9.4 The Homeomorphism Problem -- Bibliography and Chronology. |
Record Nr. | UNINA-9910789221703321 |
Stillwell John | ||
New York, NY : , : Springer New York : , : Imprint : Springer, , 1993 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Classical Topology and Combinatorial Group Theory [[electronic resource] /] / by John Stillwell |
Autore | Stillwell John |
Edizione | [2nd ed. 1993.] |
Pubbl/distr/stampa | New York, NY : , : Springer New York : , : Imprint : Springer, , 1993 |
Descrizione fisica | 1 online resource (XII, 336 p.) |
Disciplina |
514
514/.2 |
Collana | Graduate Texts in Mathematics |
Soggetto topico |
Topology
Topological groups Lie groups Topological Groups, Lie Groups |
ISBN | 1-4612-4372-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 0 Introduction and Foundations -- 0.1 The Fundamental Concepts and Problems of Topology -- 0.2 Simplicial Complexes -- 0.3 The Jordan Curve Theorem -- 0.4 Algorithms -- 0.5 Combinatorial Group Theory -- 1 Complex Analysis and Surface Topology -- 1.1 Riemann Surfaces -- 1.2 Nonorientable Surfaces -- 1.3 The Classification Theorem for Surfaces -- 1.4 Covering Surfaces -- 2 Graphs and Free Groups -- 2.1 Realization of Free Groups by Graphs -- 2.2 Realization of Subgroups -- 3 Foundations for the Fundamental Group -- 3.1 The Fundamental Group -- 3.2 The Fundamental Group of the Circle -- 3.3 Deformation Retracts -- 3.4 The Seifert—Van Kampen Theorem -- 3.5 Direct Products -- 4 Fundamental Groups of Complexes -- 4.1 Poincaré’s Method for Computing Presentations -- 4.2 Examples -- 4.3 Surface Complexes and Subgroup Theorems -- 5 Homology Theory and Abelianization -- 5.1 Homology Theory -- 5.2 The Structure Theorem for Finitely Generated Abelian Groups -- 5.3 Abelianization -- 6 Curves on Surfaces -- 6.1 Dehn’s Algorithm -- 6.2 Simple Curves on Surfaces -- 6.3 Simplification of Simple Curves by Homeomorphisms -- 6.4 The Mapping Class Group of the Torus -- 7 Knots and Braids -- 7.1 Dehn and Schreier’s Analysis of the Torus Knot Groups -- 7.2 Cyclic Coverings -- 7.3 Braids -- 8 Three-Dimensional Manifolds -- 8.1 Open Problems in Three-Dimensional Topology -- 8.2 Polyhedral Schemata -- 8.3 Heegaard Splittings -- 8.4 Surgery -- 8.5 Branched Coverings -- 9 Unsolvable Problems -- 9.1 Computation -- 9.2 HNN Extensions -- 9.3 Unsolvable Problems in Group Theory -- 9.4 The Homeomorphism Problem -- Bibliography and Chronology. |
Record Nr. | UNINA-9910828272903321 |
Stillwell John | ||
New York, NY : , : Springer New York : , : Imprint : Springer, , 1993 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Classical topology and combinatorial group theory / John Stillwell ; illustrated with 312 figures by the author |
Autore | Stillwell, John |
Edizione | [2nd ed] |
Pubbl/distr/stampa | New York : Springer-Verlag, c1993 |
Descrizione fisica | xii, 334 p. : ill. ; 24 cm. |
Disciplina | 514 |
Collana | Graduate texts in mathematics, 0072-5285 ; 72 |
Soggetto topico |
Combinatorial group theory
Topology |
ISBN | 0387979700 |
Classificazione |
AMS 51-01
AMS 55-01 AMS 57-01 QA611.S84 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000745169707536 |
Stillwell, John | ||
New York : Springer-Verlag, c1993 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|