Computational prospects of infinity [[electronic resource] ] . Part I Tutorials / / editors, Chitat Chong ... [et al.] |
Pubbl/distr/stampa | Singapore ; ; Hackensack, NJ, : World Scientific, c2008 |
Descrizione fisica | 1 online resource (264 p.) |
Disciplina | 511.322 |
Altri autori (Persone) | ChongC.-T <1949-> (Chi-Tat) |
Collana | Lecture notes series / Institute for Mathematical Sciences, National University of Singapore |
Soggetto topico |
Recursion theory
Set theory Infinite |
ISBN |
1-281-93434-8
9786611934347 981-279-405-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
CONTENTS; Foreword; Preface; Recursion Theory Tutorials; Five Lectures on Algorithmic Randomness Rod Downey; 1. Introduction; 2. Lecture 1: Kolmogorov complexity basics; 2.1. Plain complexity; 2.2. Symmetry of Information; 2.3. Pre.x-free complexity; 2.4. The Coding Theorem; 2.5. Pre.x-free symmetry of information; 2.6. Pre.x-free randomness; 2.7. The overgraph functions; 3. Lecture 2: Randomness for reals; 3.1. Martin-L ̈of randomness; 3.2. Schnorr's Theorem and the computational paradigm; 3.3. Martingales and the prediction paradigm; 3.4. Super martingales and continuous semimeasures
3.5. Schnorr and computable randomness 4. Lecture 3: Randomness in general; 4.1. The de Leeuw, Moore, Shannon, Shapiro Theorem, and Sacks' Theorem; 4.2. Coding into randoms; 4.3. Kucera Coding; 4.4. n-randomness; 4.5. Notes on 2-randoms; 4.6. Kucera strikes again; 4.7. van Lambalgen's Theorem; 4.8. Effective 0-1 Laws; 4.9. Omega operators; 5. Lecture 4: Calibrating randomness; 5.1. Measures of relative randomness and the Kucera-Slaman Theorem; 5.2. The Density Theorem; 5.3. Other measures of relative randomness; 5.4. 4.3. Persistence and reection 4.4. Generic persistence; 4.5. Denability of automorphisms of D; 4.6. Invariance of the double jump; 5. Denability in D; 5.1. Bi-interpretability; 6. The Turing jump; 6.1. Recursive enumerability; References; Set Theory Tutorials; Derived Models Associated to Mice John R. Steel; 1. Introduction; 2. Some background and preliminaries; 2.1. Homogeneously Suslin sets; 2.2. Hom1 iteration strategies; 2.3. The derived model; 2.4. Iterations to make RV = R; 2.5. Premice over a set; 3. Iteration independence for derived models of mice 4. Mouse operators and jump operators 5. The mouse set conjecture in D(M; ); 6. The Solovay sequence in D(M; ); 7. The -transform; 8. A long Solovay sequence; 9. The mouse set conjectures: Framework of the induction; 10. The background universe N; 11. The L[E]-model Nx; 12. Two hybrid mouse operators at 0; 13. New mice modulo (y); 15. The consistency strength of AD+ + 0 <; 16. Global MSC implies the local MSC; 17. MSC implies capturing via R-mice; References; Tutorial Outline: Suitable Extender Sequences W. Hugh Woodin; 1. Introduction; 2. Generalized iteration trees 2.1. Long extenders |
Record Nr. | UNINA-9910813457003321 |
Singapore ; ; Hackensack, NJ, : World Scientific, c2008 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Consequences of Martin's axiom / D. H. Fremlin |
Autore | Fremlin, D.H. |
Pubbl/distr/stampa | Cambridge (UK) : Cambridge University Press, c1984 |
Descrizione fisica | XII, 325 p. ; 24 cm |
Disciplina | 511.322 |
Collana | Cambridge tracts in mathematics |
Soggetto non controllato | Teoria degli insiemi |
ISBN | 0-521-25091-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001327010403321 |
Fremlin, D.H. | ||
Cambridge (UK) : Cambridge University Press, c1984 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Consequences of Martin's axiom / D. H. Fremlin |
Autore | Fremlin, D. H. |
Pubbl/distr/stampa | Cambridge ; New York : Cambridge University Press, 1984 |
Descrizione fisica | xii, 325 p. ; 24 cm. |
Disciplina | 511.322 |
Collana | Cambridge tracts in mathematics ; 84 |
Soggetto topico |
Combinatorial analysis
Martin's axiom Topology |
ISBN | 0521250919 |
Classificazione |
AMS 03E50
QA248 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000783179707536 |
Fremlin, D. H. | ||
Cambridge ; New York : Cambridge University Press, 1984 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
The consistency of the axiom of Choice and of the generalized continuum-hypothesis with the axioms of set theory / Kurt Gödel |
Autore | Godel, Kurt |
Edizione | [8th corr. print. 1970] |
Pubbl/distr/stampa | Princeton, N. J. : Princeton Univ. Press, 1940 |
Descrizione fisica | 70 p. ; 23 cm. |
Disciplina | 511.322 |
Collana | Annals of mathematics studies ; 3 |
Soggetto topico | Ordinal and cardinal numbers |
ISBN | 0691079277 |
Classificazione | AMS 03E10 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000783259707536 |
Godel, Kurt | ||
Princeton, N. J. : Princeton Univ. Press, 1940 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
The continuum, and other types of serial order : with an introduction to Cantor's transfinite numbers, by Edward V. Huntington |
Autore | Huntington, Edward Vermilye |
Edizione | [2d. ed.] |
Pubbl/distr/stampa | Cambridge : Harvard University Press, c1917 |
Descrizione fisica | vii, 82 p. ; 20 cm |
Disciplina | 511.322 |
Altri autori (Persone) | Cantor, Georg |
Collana | Dover books on mathematics |
Soggetto topico | Set-valued maps |
Classificazione |
AMS 34A60
AMS 34D AMS 39A LC QA248.H9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991001889149707536 |
Huntington, Edward Vermilye | ||
Cambridge : Harvard University Press, c1917 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
The core model / A. Dodd |
Autore | Dodd, A. |
Pubbl/distr/stampa | Cambridge [England] : Cambridge University Press, 1982 |
Descrizione fisica | xxxviii, 229 p. ; 23 cm |
Disciplina | 511.322 |
Collana | London Mathematical Society lecture note series, 0076-0552 ; 61 |
Soggetto topico | Axiomatic set theory |
ISBN | 0521285305 |
Classificazione |
AMS 03C
QA248 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000794429707536 |
Dodd, A. | ||
Cambridge [England] : Cambridge University Press, 1982 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Dagli insiemi ai numeri : storia e assiomatica della teoria degli insiemi / Gabriele Lolli |
Autore | LOLLI, Gabriele |
Pubbl/distr/stampa | Torino : Bollati Boringhieri, 1994 |
Descrizione fisica | 201 p. ; 22 cm. |
Disciplina | 511.322 |
Collana | Didattica, Proposte ed esperienze |
Soggetto topico | Insiemi - Teoria |
ISBN | 88-339-0838-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNISA-990001731820203316 |
LOLLI, Gabriele | ||
Torino : Bollati Boringhieri, 1994 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Data engineering [[electronic resource] ] : fuzzy mathematics in systems theory and data analysis / / Olaf Wolkenhauer |
Autore | Wolkenhauer Olaf <1966-> |
Pubbl/distr/stampa | New York, : Wiley, c2001 |
Descrizione fisica | 1 online resource (296 p.) |
Disciplina |
005.74
511.322 |
Soggetto topico |
Database management
Fuzzy systems System analysis |
ISBN |
1-280-26475-6
9786610264759 0-470-35673-1 0-471-46410-4 0-471-22434-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Contents; Preface; Acknowledgments; Introduction; 1.1 Overview of the Remaining Chapters; 1.2 Summary of Key Concepts and Ideas; 1.3 Symbols and Notation; 1 System Analysis; 1.1 Uncertainty; 1.2 The Art of Modelling: Linkage; 1.3 Dynamic Systems; 1.4 Example: Coupled Tanks Model; 2 Uncertainty Techniques; 2.1 The Least-Squares Criterion; 2.1.1 Example: Regression Line; 2.1.2 Example: Fourier Series; 2.2 Maximum Likelihood Estimation; 2.2.1 Example: ML-Estimates; 2.2.2 The EM Algorithm; 2.3 Stochastic Processes; 2.3.1 Example: Kalman-Bucy Filtering; 3 Learning from Data: System Identification
3.1 The Probabilistic Perspective3.2 Kernel Density Estimation; 3.3 Basis Function Approximation; 3.4 Example: EM Algorithm; 3.5 Discussion: Modelling and Identification; 4 Propositions as Subsets of the Data Space; 4.1 Hard-c-Means Clustering; 4.2 Least-Squares Functional: Fuzzy Clustering; 4.3 Example: Hard vs. Fuzzy Clustering; 4.4 Orthogonal Transformation; 4.5 Example: Classification; 4.6 Similarity-Based Reasoning; 4.7 The Quotient Induced by Similarity Relations; 5 Fuzzy Systems and Identification; 5.1 Fuzzy Systems Model Structures; 5.2 Identification of Antecedent Fuzzy Sets 5.3 Parameter Identification in the Takagi-Sugeno Model5.4 Example: TS-Modelling and Identification; 5.5 Example: Prediction of a Chaotic Time-Series; 5.6 Discussion; 5.7 Regression Models and Fuzzy Clustering; 5.8 Example: pH Neutralization Process; 6 Random-Set Modelling and Identification; 6.1 Random Variables, Point-Valued Maps; 6.2 Random-Sets, Multi-Valued Maps; 6.3 A Random-Set Approach to System Identification; 6.4 Example 1: Nonlinear AR Process; 6.5 Example 2: Box- Jenkins Gas-Furnace Data; 7 Certain Uncertainty; 7.1 Uncertainty in Systems Analysis 7.2 A Fuzzy Prepositional Calculus7.2.1 Probabilistic Logic; 7.2.2 Classical Two-Valued Logic; 7.2.3 Approximate Reasoning; 8 Fuzzy Inference Engines; 8.1 Composition-Based Inference; 8.2 Individual-Rule-Based Inference; 8.3 Fuzzy Systems as Nonlinear Mappings; 8.4 Example: Comparison of Inference Engines; 9 Fuzzy Classification; 9.1 Equivalence of Fuzzy and Statistical Classifiers; 9.2 Fuzzy Rule-Based Classifier Design; 10 Fuzzy Control; 10.1 PI-Control vs. Fuzzy PI-Control; 10.2 Example 1: First-Order System with Dead-Time; 10.3 Example 2: Coupled Tanks; 11 Fuzzy Mathematics 11.1 The Algebra of Fuzzy Sets11.2 The Extension Principle; 11.3 Fuzzy Rules and Fuzzy Graphs; 11.4 Fuzzy Logic; 11.5 A Bijective Probability - Possibility Transformation; 11.6 Example: Maintenance Decision Making; 11.7 Example: Evaluating Student Performances; 12 Summary; 12.1 System Representations; 12.2 More Philosophical Ideas; 12.2.1 Data Engineering; 13 Appendices; 13.1 Sets, Relations, Mappings; 13.2 Measuring Forecast Accuracy; 13.3 (Hierarchical) Clustering; 13.4 Measure Spaces and Integrals; 13.5 Unbiasedness of Estimators; 13.6 Statistical Reasoning; 13.7 Frequency Analysis; Index A |
Record Nr. | UNINA-9910143174903321 |
Wolkenhauer Olaf <1966-> | ||
New York, : Wiley, c2001 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Decision Making Theories and Methods Based on Interval-Valued Intuitionistic Fuzzy Sets [[electronic resource] /] / by Shuping Wan, Jiuying Dong |
Autore | Wan Shuping |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Singapore : , : Springer Singapore : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (326 pages) |
Disciplina | 511.322 |
Soggetto topico |
Computational intelligence
Control engineering Operations research Decision making Game theory Computational Intelligence Control and Systems Theory Operations Research/Decision Theory Game Theory, Economics, Social and Behav. Sciences |
ISBN | 981-15-1521-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | A possibility degree method for interval-valued intuitionistic fuzzy multi-attribute group decision making -- A new method for Atanassov's interval-valued intuitionistic fuzzy MAGDM with incomplete attribute weight information -- Interval-valued intuitionistic fuzzy mathematical programming method for hybrid multi-criteria group decision making with interval-valued intuitionistic fuzzy truth degrees -- A selection method based on MAGDM with interval-valued intuitionistic fuzzy sets, Mathematical Problems in Engineering -- Aggregating decision information into interval-valued intuitionistic fuzzy numbers for heterogeneous multi-attribute group decision making -- A novel method for group decision making with interval-valued Atanassov intuitionistic fuzzy preference relations -- Additive consistent interval-valued Atanassov intuitionistic fuzzy preference relation and likelihood comparison algorithm based group decision making -- A three-phase method for group decision making with interval-valued intuitionistic fuzzy preference relations -- A group decision-making method considering both the group consensus and multiplicative consistency of interval-valued intuitionistic fuzzy preference relations. |
Record Nr. | UNINA-9910484903003321 |
Wan Shuping | ||
Singapore : , : Springer Singapore : , : Imprint : Springer, , 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Descriptive Set Theoretic Methods in Automata Theory [[electronic resource] ] : Decidability and Topological Complexity / / by Michał Skrzypczak |
Autore | Skrzypczak Michał |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XIII, 211 p. 18 illus.) |
Disciplina | 511.322 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Machine theory
Computer science Algorithms Computer science—Mathematics Discrete mathematics Software engineering Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming Theory of Computation Discrete Mathematics in Computer Science Software Engineering |
ISBN | 3-662-52947-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Subclasses of regular languages -- Thin algebras -- Extensions of regular languages. |
Record Nr. | UNISA-996465309703316 |
Skrzypczak Michał | ||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|