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 | ||
| ||
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 | ||
| ||
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 | ||
| ||
