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 | ||
| ||
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 Anàlisi matemàtica |
| Soggetto genere / forma | Llibres electrònics |
| 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 Teoria de grups |
| Soggetto genere / forma | Llibres electrònics |
| 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 Teorema de Gödel Teoria de conjunts |
| Soggetto genere / forma | Llibres electrònics |
| 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 | ||
| ||