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 | ||
| ||
Biological Models via Interval Type-2 Fuzzy Sets / / by Rosana Sueli da Motta Jafelice, Ana Maria Amarillo Bertone
| Biological Models via Interval Type-2 Fuzzy Sets / / by Rosana Sueli da Motta Jafelice, Ana Maria Amarillo Bertone |
| Autore | Jafelice Rosana Sueli da Motta |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (XVIII, 136 p. 90 illus., 87 illus. in color.) |
| Disciplina | 570.151 |
| Collana | SpringerBriefs in Mathematics |
| Soggetto topico |
Biomathematics
Set theory Computer simulation Mathematical and Computational Biology Set Theory Computer Modelling |
| ISBN | 3-030-64530-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | - Introduction -- A Tour of Type-1 and Interval Type-2 Fuzzy Sets Theory -- Interval Type-2 Fuzzy Rule-Based System Applications -- Interval Type-2 Fuzzy Sets in the Future: Scientific Projects for Development -- Index. |
| Record Nr. | UNINA-9910484371103321 |
|
Jafelice Rosana Sueli da Motta
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
| 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 Teoria combinatòria de conjunts Forcing (Teoria de models) |
| Soggetto genere / forma | Llibres electrònics |
| 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 Conjunts borrosos Teoria de conjunts |
| Soggetto genere / forma | Llibres electrònics |
| 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 Conjunts borrosos |
| Soggetto genere / forma | Llibres electrònics |
| 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 | ||
| ||
First-Order Schemata and Inductive Proof Analysis / / by Alexander Leitsch, David Michael Cerna, Anela Lolic
| First-Order Schemata and Inductive Proof Analysis / / by Alexander Leitsch, David Michael Cerna, Anela Lolic |
| Autore | Leitsch Alexander |
| Edizione | [1st ed. 2026.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Birkhäuser, , 2026 |
| Descrizione fisica | 1 online resource (427 pages) |
| Disciplina | 004.0151 |
| Altri autori (Persone) |
CernaDavid Michael
LolicAnela |
| Collana | Computer Science Foundations and Applied Logic |
| Soggetto topico |
Computer science
Logic, Symbolic and mathematical Computational complexity Reasoning Set theory Computer Science Logic and Foundations of Programming Mathematical Logic and Foundations Computational Complexity Formal Reasoning Set Theory |
| ISBN | 3-032-05741-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Introduction -- 2. Schemata and Point Transition Systems -- 3. Term schemata and formula schemata -- 4. Term Schemata and Unification -- 5. Proof schemata -- 6. Proof schemata and arithmetic -- 7. Cut-Elimination and the Method CERES -- 8. Schematic CERES (completely new - improves former publications) -- 9. An Application of Schematic CERES -- 10. Schematic Reasoning in GAPT -- 11. Conclusion. |
| Record Nr. | UNINA-9911049197703321 |
|
Leitsch Alexander
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Birkhäuser, , 2026 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Fundamentals of Analysis with Applications / / by Atul Kumar Razdan, V. Ravichandran
| Fundamentals of Analysis with Applications / / by Atul Kumar Razdan, V. Ravichandran |
| Autore | Razdan Atul Kumar |
| Edizione | [1st ed. 2022.] |
| Pubbl/distr/stampa | Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2022 |
| Descrizione fisica | 1 online resource (491 pages) |
| Disciplina | 780 |
| Collana | Mathematics and Statistics Series |
| Soggetto topico |
Mathematical analysis
Functions of real variables Set theory Sequences (Mathematics) Algebraic topology Fourier analysis Analysis Real Functions Set Theory Sequences, Series, Summability Algebraic Topology Fourier Analysis |
| ISBN |
981-16-8383-2
981-16-8382-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Sets, Functions and Cardinality -- 2. The Real Numbers -- 3. Sequence and Series of Numbers -- 4. Analysis on R -- 5. Topology of the Real Line -- 6. Metric Spaces -- 7. Continuity and Differentiability -- 8. Sequences and Series of Functions -- 9. Lebesgue Integration -- 10. Fourier Series. |
| Record Nr. | UNINA-9910743213603321 |
|
Razdan Atul Kumar
|
||
| Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Fuzzy Mathematical Analysis and Advances in Computational Mathematics / / edited by S. R. Kannan, Mark Last, Tzung-Pei Hong, Chun-Hao Chen
| Fuzzy Mathematical Analysis and Advances in Computational Mathematics / / edited by S. R. Kannan, Mark Last, Tzung-Pei Hong, Chun-Hao Chen |
| Edizione | [1st ed. 2022.] |
| Pubbl/distr/stampa | Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2022 |
| Descrizione fisica | 1 online resource (273 pages) |
| Disciplina | 511.3223 |
| Collana | Studies in Fuzziness and Soft Computing |
| Soggetto topico |
Computational intelligence
Artificial intelligence Computer science - Mathematics Set theory Computational Intelligence Artificial Intelligence Mathematics of Computing Set Theory |
| ISBN | 981-19-0471-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Bipolar Complex Pythagorean Fuzzy Graphs -- Modified Operations Of Trapezoidal Fuzzy Numbers For Solving Fuzzy Linear Programming Problems -- An Innovative Method for Finding Optimal Solution Fully Solved by Using Generalized Quadratic Fuzzy Transportation Problems -- A New Ranking Method For Solving Nanogonal Fuzzy Transportation Problem -- Novel Arithmetic Operations On Ivifns And Their Properties On Ranking Functions. |
| Record Nr. | UNINA-9910559394203321 |
| Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2022 | ||
| 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 | ||
| ||