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.
Algorithms for Constructing Computably Enumerable Sets / / by Kenneth J. Supowit
| Algorithms for Constructing Computably Enumerable Sets / / by Kenneth J. Supowit |
| Autore | Supowit Kenneth J. |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2023 |
| Descrizione fisica | 1 online resource (191 pages) |
| Disciplina | 004.0151 |
| Collana | Computer Science Foundations and Applied Logic |
| Soggetto topico |
Computer science
Computable functions Recursion theory Set theory Computer science—Mathematics Theory of Computation Computability and Recursion Theory Set Theory Theory and Algorithms for Application Domains Mathematics of Computing Matemàtica discreta Teoria de conjunts Algorismes |
| Soggetto genere / forma | Llibres electrònics |
| ISBN |
9783031269042
9783031269035 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1 Index of notation and terms -- 2 Set theory, requirements, witnesses -- 3 What’s new in this chapter? -- 4 Priorities (a splitting theorem) -- 5 Reductions, comparability (Kleene-Post Theorem) -- 6 Finite injury (Friedberg-Muchnik Theorem) -- 7 The Permanence Lemma -- 8 Permitting (Friedberg-Muchnik below C Theorem) -- 9 Length of agreement (Sacks Splitting Theorem) -- 10 Introduction to infinite injury -- 11 A tree of guesses (Weak Thickness Lemma) -- 12 An infinitely branching tree (Thickness Lemma) -- 13 True stages (another proof of the Thickness Lemma) -- 14 Joint custody (Minimal Pair Theorem) -- 15 Witness lists (Density Theorem) -- 16 The theme of this book: delaying tactics -- Appendix A: a pairing function -- Bibliograph -- Solutions to selected exercises. |
| Record Nr. | UNINA-9910726280003321 |
Supowit Kenneth J.
|
||
| Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Combinatorial Set Theory : With a Gentle Introduction to Forcing / / by Lorenz J. Halbeisen
| Combinatorial Set Theory : With a Gentle Introduction to Forcing / / by Lorenz J. Halbeisen |
| Autore | Halbeisen Lorenz J |
| Edizione | [3rd ed. 2025.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (XVII, 616 p.) |
| Disciplina | 511.3 |
| Collana | Springer Monographs in Mathematics |
| Soggetto topico |
Logic, Symbolic and mathematical
Set theory Discrete mathematics Mathematical Logic and Foundations Set Theory Discrete Mathematics |
| ISBN | 3-031-91752-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I: Preliminary -- 1 The Setting -- 2 First-Order Logic in a Nutshell -- 3 Axioms of Set Theory -- Part II: Topics in Combinatorial Set Theory -- 4 Overture: Ramsey's Theorem -- 5 Cardinal Relations in ZF Only -- 6 Forms of Choice -- 7 How to Make Two Balls from One -- 8 Models of Set Theory with Atoms -- 9 Thirteen Cardinals and Their Relations -- 10 The Shattering Number Revisited -- 11 Happy Families and Their Relatives -- 12 Coda: A Dual Form of Ramsey’s Theorem -- Part III: From Martin’s Axiom to Cohen’s Forcing -- 13 The Idea of Forcing -- 14 Martin's Axiom -- 15 The Notion of Forcing -- 16 Proving Unprovability -- 17 Models in Which AC Fails -- 18 Combining Forcing Notions -- 19 Models in Which p=c -- 20 Suslin’s Problem -- Part IV: Combinatorics of Forcing Extensions -- 21 Properties of Forcing Extensions -- 22 Cohen Forcing Revisited -- 23 Sacks Forcing -- 24 Silver-Like Forcing Notions -- 25 Miller Forcing -- 26 Mathias Forcing -- 27 Laver Forcing -- 28 How Many Ramsey Ultrafilters Exist? -- 29 Suite. |
| Record Nr. | UNINA-9911007454503321 |
|
Halbeisen Lorenz J
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Concepts of Fuzzy Mathematics / / by Manoranjan Kumar Singh
| Concepts of Fuzzy Mathematics / / by Manoranjan Kumar Singh |
| Autore | Singh Manoranjan Kumar |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (680 pages) |
| Disciplina | 511.313 |
| Collana | Forum for Interdisciplinary Mathematics |
| Soggetto topico |
Set theory
Set Theory |
| ISBN | 981-9732-70-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1 Fundamental of Crisp Set Theory -- 2 Fundamental Concepts of Fuzzy Sets -- 3 Generalization of Fuzzy Sets -- 4 Decomposition of a Fuzzy Set and Extension Principle -- 5 Fuzzy Set-Theoretic Operators -- 6 Arithmetic Operations and Fuzzy Mathematics -- 7 Fuzzy Relations. |
| Record Nr. | UNINA-9910887813703321 |
|
Singh Manoranjan Kumar
|
||
| Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Cryptocoding Based on Quasigroups / / by Daniela Mechkaroska, Aleksandra Popovska-Mitrovikj, Verica Bakeva
| Cryptocoding Based on Quasigroups / / by Daniela Mechkaroska, Aleksandra Popovska-Mitrovikj, Verica Bakeva |
| Autore | Mechkaroska Daniela |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (100 pages) |
| Disciplina | 003.54 |
| Collana | SpringerBriefs in Information Security and Cryptography |
| Soggetto topico |
Data protection
Coding theory Information theory Computer networks Cryptography Data encryption (Computer science) Set theory Algebra Data and Information Security Coding and Information Theory Computer Communication Networks Cryptology Set Theory Order, Lattices, Ordered Algebraic Structures |
| ISBN | 3-031-50125-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Quasigroups and quasigroups string transformation -- Cryptcodes based on quasigroup -- Experimental results for cryptcodes based on quasigroups for transmission through a binary-symmetric channel -- Experimental results for cryptcodes based on quasigroups for transmission through a Gaussian channel -- Fast algorithms for cryptcodes based on quasigroups -- Cryptcodes based on quasigroups for burst channels. |
| Record Nr. | UNINA-9910800117103321 |
|
Mechkaroska Daniela
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Essentials of Fuzzy Soft Multisets : Theory and Applications / / by Anjan Mukherjee, Ajoy Kanti Das
| Essentials of Fuzzy Soft Multisets : Theory and Applications / / by Anjan Mukherjee, Ajoy Kanti Das |
| Autore | Mukherjee Anjan |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (154 pages) |
| Disciplina | 511.3223 |
| Soggetto topico |
Set theory
Algebra Topology Set Theory |
| ISBN | 981-19-2760-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Introduction to fuzzy sets, soft sets, mulit sets and their generations -- 2. Fuzzy soft multiset theory -- 3. Relation on fuzzy soft multisets -- 4. Topology on fuzzy soft multisets -- 5. Fuzzy soft multi points and their sequences -- 6. Fuzzy soft multi compactness and separation axioms -- 7. Fuzzy soft multiset based applications -- 8. Generalization of fuzzy soft multisets -- 9. Intuitionistic fuzzy soft multiset theory -- 10. Application of intuitionistic fuzzy soft multisets. . |
| Record Nr. | UNINA-9910678249403321 |
|
Mukherjee Anjan
|
||
| Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A Gentle Introduction to Group Theory / / by Bana Al Subaiei, Muneerah Al Nuwairan
| A Gentle Introduction to Group Theory / / by Bana Al Subaiei, Muneerah Al Nuwairan |
| Autore | Al Subaiei Bana |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (429 pages) |
| Disciplina | 512.2 |
| Soggetto topico |
Group theory
Algebra Computer software Set theory Group Theory and Generalizations Mathematical Software Set Theory |
| ISBN | 981-9901-47-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Background Results in Set Theory -- Algebraic Operations on Integers -- The Integers Modulo -- Semigroups -- Groups -- The Symmetric Group -- Subgroups -- Groups Homomorphisms and Isomorphic Groups -- Classification of Finite Abelian Groups -- Group Theory and SageMath. |
| Record Nr. | UNINA-9910728949903321 |
|
Al Subaiei Bana
|
||
| Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Introduction to Incompleteness : From Gödel's Theorems to Forcing and the Continuum Hypothesis / / by Serafim Batzoglou
| Introduction to Incompleteness : From Gödel's Theorems to Forcing and the Continuum Hypothesis / / by Serafim Batzoglou |
| Autore | Batzoglou Serafim |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Birkhäuser, , 2024 |
| Descrizione fisica | 1 online resource (303 pages) |
| Disciplina | 511.3 |
| Soggetto topico |
Logic, Symbolic and mathematical
Set theory Mathematical Logic and Foundations Set Theory |
| ISBN | 3-031-64217-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part 1: Godel's Theorems -- Formal Axiomatic Systems -- Peano Arithmetic and Recursive Functions -- Godel's Incompleteness Theorems -- Structures, Models, and Satisfaction -- Completeness and Compactness Theorems -- Completeness and Peano Arithmetic -- The Lucas-Penrose Arguments -- Part II: Incompleteness in arithmetic and set theory -- Incompleteness in Finite Combinatorics -- Consistency of PA and E0 Induction -- Set Theory -- Independence of CH--forcing -- Independence of CH--forcing CH and -CH. |
| Record Nr. | UNINA-9910886096103321 |
|
Batzoglou Serafim
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Birkhäuser, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
An Introduction to Naïve Set Theory and Its Applications / / by Shashi Mohan Srivastava
| An Introduction to Naïve Set Theory and Its Applications / / by Shashi Mohan Srivastava |
| Autore | Srivastava Shashi Mohan |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (143 pages) |
| Disciplina | 511.322 |
| Collana | University Texts in the Mathematical Sciences |
| Soggetto topico |
Set theory
Logic, Symbolic and mathematical Set Theory Mathematical Logic and Foundations |
| ISBN |
9789819746439
9789819746422 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Functions and Relations -- Ordinal and Cardinal Numbers -- Applications in Other Branches of Mathematics -- Banach-Tarski Paradox. |
| Record Nr. | UNINA-9910917201203321 |
|
Srivastava Shashi Mohan
|
||
| Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Multi-criteria Decision Making Methods with Bipolar Fuzzy Sets / / by Muhammad Akram, Shumaiza, José Carlos Rodríguez Alcantud
| Multi-criteria Decision Making Methods with Bipolar Fuzzy Sets / / by Muhammad Akram, Shumaiza, José Carlos Rodríguez Alcantud |
| Autore | Akram Muhammad |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (232 pages) |
| Disciplina | 658.403 |
| Altri autori (Persone) |
Shumaiza
Rodríguez AlcantudJosé Carlos |
| Collana | Forum for Interdisciplinary Mathematics |
| Soggetto topico |
Operations research
Mathematical optimization Set theory Mathematics Operations Research and Decision Theory Optimization Set Theory Applications of Mathematics Presa de decisions multicriteri Conjunts borrosos |
| Soggetto genere / forma | Llibres electrònics |
| ISBN |
9789819905690
9789819905683 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. TOPSIS and ELECTRE-I Methodologies: Bipolar Fuzzy Formulations -- 2.TOPSIS Method with Trapezoidal Bipolar Fuzzy Numbers -- 3. VIKOR Method with Trapezoidal Bipolar Fuzzy Sets. - 4. Extended VIKOR Method Based on Complex Bipolar Fuzzy Sets -- 5. Beyond ELECTRE I: A Bipolar Fuzzy ELECTRE II Method -- 6. Extended PROMETHEE Method with Bipolar Fuzzy Sets -- 7. Enhanced Decision-Making Method with Two-Tuple Linguistic Bipolar Fuzzy Sets. |
| Record Nr. | UNINA-9910726281603321 |
|
Akram Muhammad
|
||
| Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Richard Dedekind : What Are and What Should the Numbers Be? Continuity and Irrational Numbers / / by Stefan Müller-Stach
| Richard Dedekind : What Are and What Should the Numbers Be? Continuity and Irrational Numbers / / by Stefan Müller-Stach |
| Autore | Müller-Stach Stefan |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (244 pages) |
| Disciplina | 510.9 |
| Collana | Classic Texts in the Sciences |
| Soggetto topico |
Mathematics
History Number theory Set theory Teoria de nombres Nombres irracionals History of Mathematical Sciences Number Theory Set Theory |
| Soggetto genere / forma | Llibres electrònics |
| ISBN |
9783662700570
9783662700563 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface -- 1. Historical Introduction -- 2. Dedekind’s Investigations into the Concept of Number -- 3. Reprint of Dedekind’s Books -- 4. Explanation of the Texts in Today’s Language -- 5. Reception History -- 6. Impact and Positions of Research -- A Dedekind’s Publications -- B The Letter to Keferstein from February 27, 1890 -- Bibliography -- Name and Subject Index. |
| Record Nr. | UNINA-9910917200303321 |
|
Müller-Stach Stefan
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
