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 |
| 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 | ||
| ||
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 | ||
| ||
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 |
| Soggetto non controllato |
Algebra
Logic, Symbolic And Mathematical Algebra, Abstract Mathematics |
| 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 |
Mathematical logic
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
Mathematical logic 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 |
| Soggetto non controllato |
Logic, Symbolic And Mathematical
Operations Research Mathematics Business & Economics |
| 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 History of Mathematical Sciences Number Theory Set Theory |
| 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 | ||
| ||
Science for Humans : Mind, Life, The Formal-&-Natural Sciences, and A New Concept of Nature / / by Robert Hanna
| Science for Humans : Mind, Life, The Formal-&-Natural Sciences, and A New Concept of Nature / / by Robert Hanna |
| Autore | Hanna Robert |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (238 pages) |
| Disciplina | 501 |
| Soggetto topico |
Science - Philosophy
Philosophy of nature Set theory Physics - Philosophy Cosmology Philosophy of Science Philosophy of Nature Set Theory Philosophy of Physics |
| ISBN |
9783031611131
9783031611124 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1 Introduction -- Chapter 2 Mind is a Form of Animal Life The Essential Embodiment Theory Now -- Chapter 3 Physics For Humans Kant Physics and The Neo Aristotelian Natural Power Grid -- Chapter 4 The Incompleteness of Logic The Incompleteness of Physics and the Primitive Sourcehood of Rational Human Animals -- Chapter 5 Frame by Frame How Early 20th Century Physics Was Shaped by Brownie Cameras and Early Cinema -- Chapter 6 How to Complete Quantum Mechanics Or What It's Like To Be A Naturally Creative Bohmian Beable -- Chapter 7 Can Physics Explain Physics Anthropic Principles and Transcendental Idealism -- Chapter 8 A Neo-Organicist Approach to Formal Science The Case of Mathematical Logic -- Chapter 9 A Neo-Organicist Approach to The Löwenheim Skolem Theorem and Skolem’s Paradox -- Chapter 10 How To Solve Zeno’s Paradox of Motion Without Supertasks -- Chapter 11 Sensible Set Theory -- Chapter 12 Neo-Organicism and The Rubber Sheet Cosmos -- Chapter 13 A Philosophical Case For Holding That The Second Law of Thermodynamics is Only a Special Law of Nature, and Not a Universal Law -- Chapter 14 The Epiphenomenality of Natural Mechanical Systems and The Salvation of Everyday Objects -- Chapter 15 The Attunement Thesis and Cosmic Dignitarianism -- Chapter 16 Human Rationality, Consciousness, and Cosmology. |
| Record Nr. | UNINA-9910866586903321 |
|
Hanna Robert
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Soggetto topico
-
Set Theory
(9)
- Set theory (9)
- Algebra (2)
- Mathematical Logic and Foundations (2)
- Mathematical logic (2)