An Accompaniment to Higher Mathematics [[electronic resource] /] / by George R. Exner |
Autore | Exner George R |
Edizione | [1st ed. 1996.] |
Pubbl/distr/stampa | New York, NY : , : Springer New York : , : Imprint : Springer, , 1996 |
Descrizione fisica | 1 online resource (XVII, 200 p.) |
Disciplina | 511.3 |
Collana | Undergraduate Texts in Mathematics |
Soggetto topico |
Mathematical analysis
Analysis (Mathematics) Topology Mathematical logic Analysis Mathematical Logic and Foundations |
ISBN | 1-4612-3998-2 |
Classificazione | 00A05 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1 Examples -- 1.1 Propaganda -- 1.2 Basic Examples for Definitions -- 1.3 Basic Examples for Theorems -- 1.4 Extended Examples -- 1.5 Notational Interlude -- 1.6 Examples Again: Standard Sources -- 1.7 Non-examples for Definitions -- 1.8 Non-examples for Theorems -- 1.9 Summary and More Propaganda -- 1.10 What Next? -- 2 Informal Language and Proof -- 2.1 Ordinary Language Clues -- 2.2 Real-Life Proofs vs. Rules of Thumb -- 2.3 Proof Forms for Implication -- 2.4 Two More Proof Forms -- 2.5 The Other Shoe, and Propaganda -- 3 For mal Language and Proof -- 3.1 Propaganda -- 3.2 Formal Language: Basics -- 3.3 Quantifiers -- 3.4 Finding Proofs from Structure -- 3.5 Summary, Propaganda, and What Next? -- 4 Laboratories -- 4.1 Lab I: Sets by Example -- 4.2 Lab II: Functions by Example -- 4.3 Lab III: Sets and Proof -- 4.4 Lab IV: Functions and Proof -- 4.5 Lab V: Function of Sets -- 4.6 Lab VI: Families of Sets -- A Theoretical Apologia -- B Hints -- References. |
Record Nr. | UNINA-9910783136203321 |
Exner George R | ||
New York, NY : , : Springer New York : , : Imprint : Springer, , 1996 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
An Accompaniment to Higher Mathematics [[electronic resource] /] / by George R. Exner |
Autore | Exner George R |
Edizione | [1st ed. 1996.] |
Pubbl/distr/stampa | New York, NY : , : Springer New York : , : Imprint : Springer, , 1996 |
Descrizione fisica | 1 online resource (XVII, 200 p.) |
Disciplina | 511.3 |
Collana | Undergraduate Texts in Mathematics |
Soggetto topico |
Mathematical analysis
Analysis (Mathematics) Topology Mathematical logic Analysis Mathematical Logic and Foundations |
ISBN | 1-4612-3998-2 |
Classificazione | 00A05 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1 Examples -- 1.1 Propaganda -- 1.2 Basic Examples for Definitions -- 1.3 Basic Examples for Theorems -- 1.4 Extended Examples -- 1.5 Notational Interlude -- 1.6 Examples Again: Standard Sources -- 1.7 Non-examples for Definitions -- 1.8 Non-examples for Theorems -- 1.9 Summary and More Propaganda -- 1.10 What Next? -- 2 Informal Language and Proof -- 2.1 Ordinary Language Clues -- 2.2 Real-Life Proofs vs. Rules of Thumb -- 2.3 Proof Forms for Implication -- 2.4 Two More Proof Forms -- 2.5 The Other Shoe, and Propaganda -- 3 For mal Language and Proof -- 3.1 Propaganda -- 3.2 Formal Language: Basics -- 3.3 Quantifiers -- 3.4 Finding Proofs from Structure -- 3.5 Summary, Propaganda, and What Next? -- 4 Laboratories -- 4.1 Lab I: Sets by Example -- 4.2 Lab II: Functions by Example -- 4.3 Lab III: Sets and Proof -- 4.4 Lab IV: Functions and Proof -- 4.5 Lab V: Function of Sets -- 4.6 Lab VI: Families of Sets -- A Theoretical Apologia -- B Hints -- References. |
Record Nr. | UNINA-9910826595303321 |
Exner George R | ||
New York, NY : , : Springer New York : , : Imprint : Springer, , 1996 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Actes du congrès international des mathématiciens : 1-10 septembre 1970 Nice. France / publiés sous la direction du Comité d'organisation du Congrès |
Autore | Congrès international des mathématiciens : 11. : <1970 |
Pubbl/distr/stampa | Paris : Gauthier-Villars, 1971 |
Descrizione fisica | 3 v. (XXXIII, 532; 959; 371 p.) ; 24 cm |
Disciplina |
519
510 511.3 512 516 514 515 |
Soggetto non controllato |
Matematica - Applicazioni
Matematica - Didattica Opere di matematica generale Opera di bourbaki Logica Algebra Geometria Topologia Analisi Matematici - Congressi 1970 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione |
fre
eng |
Nota di contenuto | 1.: Documents, médailles Fields, Conférences générales (G), Logique (A), Algèbre 2.: Géométrie et topologie (C). Analyse (D) 3.: Mathématiques appliquées (E). Histoire et enseignement (F) |
Record Nr. | UNINA-990000837910403321 |
Congrès international des mathématiciens : 11. : <1970 | ||
Paris : Gauthier-Villars, 1971 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Admissibility of logical inference rules / Vladimir V. Rybakov |
Autore | Rybakov, Vladimir V. |
Pubbl/distr/stampa | Amsterdam : Elsevier, 1997 |
Descrizione fisica | 617 p. ; 24 cm |
Disciplina | 511.3 |
Collana | Studies in logic and the foundations of mathematics |
Soggetto non controllato |
Logica matematica e fondamenti - Presentazione di ricerche
Logica proposizionale classica Logica classica del primo ordine |
ISBN | 0-444-89505-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990009504180403321 |
Rybakov, Vladimir V. | ||
Amsterdam : Elsevier, 1997 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Admissibility of logical inference rules [e-book] / Vladimir V. Rybakov |
Autore | Rybakov, Vladimir Vladimir |
Pubbl/distr/stampa | Amsterdam ; New York : Elsevier, 1997 |
Descrizione fisica | 617 p. : ill. ; 24 cm |
Disciplina | 511.3 |
Collana | Studies in logic and the foundations of mathematics ; 136 |
Soggetto topico |
Logic, Symbolic and mathematical
Inference |
ISBN |
0444895051
9780444895059 |
Formato | Risorse elettroniche |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991003271489707536 |
Rybakov, Vladimir Vladimir | ||
Amsterdam ; New York : Elsevier, 1997 | ||
Risorse elettroniche | ||
Lo trovi qui: Univ. del Salento | ||
|
Admissible sets and structures : an approach to definability theory / Jon Barwise |
Autore | Barwise, Jon |
Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1975 |
Descrizione fisica | xiii, 394 p. : ill. ; 25 cm |
Disciplina | 511.3 |
Collana | Perspectives in mathematical logic |
Soggetto non controllato | Teoria degli insiemi |
ISBN |
3540074511
0387074511 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990000957920403321 |
Barwise, Jon | ||
Berlin ; New York : Springer-Verlag, 1975 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Admissible sets and structures : an approach to definability theory / Jon Barwise |
Autore | Barwise, Jon |
Pubbl/distr/stampa | Berlin : Springer-Verlag, 1975 |
Descrizione fisica | xiii, 394 p. ; 25 cm. |
Disciplina | 511.3 |
Collana | Perspectives in mathematical logic |
Soggetto topico |
Admissible sets
Definability theory Interpolation |
ISBN | 3540074511 |
Classificazione |
AMS 03C
AMS 03C40 AMS 03D QA9.B29 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000645929707536 |
Barwise, Jon | ||
Berlin : Springer-Verlag, 1975 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Advanced Mathematical Methods : Theory and Applications / / Andrea Giusti, Francesco Mainardi |
Autore | Giusti Andrea |
Pubbl/distr/stampa | [Place of publication not identified] : , : MDPI - Multidisciplinary Digital Publishing Institute, , 2020 |
Descrizione fisica | 1 online resource (198 pages) |
Disciplina | 511.3 |
Soggetto topico | Proof theory |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | Advanced Mathematical Methods |
Record Nr. | UNINA-9910688581903321 |
Giusti Andrea | ||
[Place of publication not identified] : , : MDPI - Multidisciplinary Digital Publishing Institute, , 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Advances and New Developments in Fuzzy Logic and Technology [[electronic resource] ] : Selected Papers from IWIFSGN'2019 – The Eighteenth International Workshop on Intuitionistic Fuzzy Sets and Generalized Nets held on October 24-25, 2019 in Warsaw, Poland / / edited by Krassimir T. Atanassov, Vassia Atanassova, Janusz Kacprzyk, Andrzej Kałuszko, Maciej Krawczak, Jan W. Owsiński, Sotir S. Sotirov, Evdokia Sotirova, Eulalia Szmidt, Sławomir Zadrożny |
Edizione | [1st ed. 2021.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
Descrizione fisica | 1 online resource (334 pages) |
Disciplina | 511.3 |
Collana | Advances in Intelligent Systems and Computing |
Soggetto topico |
Computational intelligence
Engineering—Data processing Computational Intelligence Data Engineering Lògica difusa |
Soggetto genere / forma |
Llibres electrònics
Congressos |
ISBN | 3-030-77716-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Intro -- Preface -- Contents -- Issues in the Representation, Processing and Analyses of Uncertain Information -- Intuitionistic Fuzzy Temporal-Modal Operators -- 1 Introduction -- 2 Preliminary Remarks -- 3 Definitions of the Intuitionistic Fuzzy Implications 139, ..., 185 over Intuitionistic Fuzzy Sets -- 4 Intuitionistic Fuzzy Temporal-Modal Operators ``Necessity'' and ``Possibility'' -- 5 Conclusion -- References -- In Direction of Intuitionistic Fuzzy Arithmetic -- 1 Introduction -- 2 Intuitionistic Fuzzy Set and Type 2 Fuzzy Set -- 3 Alternative Definition of the Fuzzy Set Type 2 -- 4 Conclusions -- References -- A New Approach for an Intuitionistic Fuzzy Sugeno Integral Using Morphological Gradient Edge Detector -- 1 Introduction -- 2 Sugeno Measures and Fuzzy Integrals -- 2.1 Monotonic Measures -- 2.2 Sugeno Measure -- 2.3 Sugeno Integral -- 3 Sugeno Integral with Intuitionistic Fuzzy Sets -- 3.1 Intuitionistic Fuzzy Set -- 3.2 Sugeno Integral with Intuitionistic Fuzzy Set -- 3.3 Intuitionistic Fuzzy Sugeno Integral Using πA = 0.4 -- 4 Edge Detection -- 5 Simulation Results -- 6 Conclusion -- References -- M-Probabilistic Versions of the Strong Law of Large Numbers -- 1 Introduction -- 2 Selected Elements of M-Probability Theory -- 3 M-Probabilistic Versions of the Strong Law of Large Numbers -- 4 An Illustrative Example -- 5 Conclusions -- References -- Intuitionistic Fuzzy Probability and Almost Everywhere Convergence -- 1 Introduction -- 2 IF-Event, IF-Probability, IF-State and IF-Observable -- 3 Product Operation, Joint IF-Observable and Function of Several IF-Observables -- 4 Lower and Upper Limits, m-Almost Everywhere Convergence -- 5 P-Almost Everywhere Convergence -- 6 Conclusion -- References -- Classification of Images by Using Distance Functions Defined on Intuitionistic Fuzzy Sets -- 1 Introduction.
2 Intuitionistic Fuzzy Sets -- 3 Preparation of the Data -- 3.1 Pre-processing of the Images -- 3.2 Pre-processing of the Data -- 3.3 Classification of the Images -- 4 Experimental Results -- 5 Conclusions -- References -- A Study on Local Properties and Local Contrast in Fuzzy Setting -- 1 Introduction -- 2 Preliminaries -- 3 Local Contrast and Local Properties -- 4 Notes on Application -- 5 Conclusions -- References -- Note on the Zadeh's Extension Principle Based on Fuzzy Variable Approach -- 1 Introduction -- 2 Fuzzy Variables -- 2.1 Generalized Measure Theory -- 2.2 From Possibility Measures to Fuzzy Sets -- 2.3 Non-interacting Sets -- 2.4 Extension Principles -- 3 Conclusions -- References -- OFNBee Method Applied for Solution of Problems with Multiple Extremes -- 1 Introduction -- 2 OFN Ordered Fuzzy Numbers -- 3 Test Functions -- 4 Results -- 5 Conclusions -- References -- Imprecision Indexes of Oriented Fuzzy Numbers -- 1 Introduction -- 2 Oriented Fuzzy Numbers - Basic Facts -- 3 Evaluation of Imprecision for Oriented Fuzzy Numbers -- 4 Imprecision Evaluation for Trapezoidal Oriented Fuzzy Numbers -- 5 Portfolio Diversification -- 6 Final Remarks -- References -- Detailed Evaluation of Fuzzy Sets in Rule Conditions as a Key for Accurate and Explainable Rule-Based Systems -- 1 Introduction -- 2 Methods -- 2.1 Design of Fuzzy Membership Functions -- 2.2 Evaluation of Fuzzy Membership Functions -- 2.3 Fuzzy Rules Design and Fuzzy Belief Measure Calculation -- 3 Experiments -- 4 Discussion and Conclusions -- References -- Tests for Estimates of the Tolerance Relation Based on Pairwise Comparisons in Binary and Multivalent Form -- 1 Introduction -- 2 Estimation Problem, Form of Estimators and Their Properties for Binary Comparisons -- 2.1 Estimation Problem for Binary Comparisons -- 2.2 The Form of Estimator and Its Properties. 3 Tests for Verification of an Estimate of Tolerance Relation for Binary Comparisons -- 4 Estimation Problem, Form of Estimators and Their Properties for Multivalent Comparisons -- 4.1 Estimation Problem for Multivalent Comparisons -- 4.2 The Form of Estimator and Its Properties -- 5 Tests for Verification of an Estimate of Tolerance Relation for Multivalent Comparisons -- 6 Summary and Conclusions -- References -- Applications in Healthcare, Medicine, and Sports -- Opportunity for Obtaining an Intuitionistic Fuzzy Estimation for Health-Related Quality of Life Data -- 1 Introduction -- 2 Multi Layer Perceptron -- 3 Discussion -- 4 Conclusion -- References -- InterCriteria Analysis of the Blood Group Distribution of Patients of Saint Anna Hospital in 2015-2019 -- 1 Introduction -- 2 Input Data -- 3 Application of the InterCriteria Analysis - Results and Discussion -- 4 Conclusion -- References -- Application of the InterCriteria Analysis Method to a Data of Malignant Melanoma Disease for the Burgas Region for 2014-2018 -- 1 Introduction -- 2 An Application of the ICA -- 2.1 Applying ICA Approach for International Statistical Classification of Diseases and Health Problems Group for Malignant Melanoma of Skin -- 2.2 Applying ICA Approach for Marital Status and Gender Data -- 3 Discussions -- 4 Conclusion -- References -- A Generalized Net Model of the Abdominal Aorta and Its Branches as a Part of the Vascular System -- 1 Introduction -- 2 A Generalized Net Model of the Abdominal Aorta and Its Branches as a Part of the Vascular System -- 3 Conclusion -- References -- A Generalized Net Model of the Human Body Excretory System -- 1 Introduction -- 2 The Generalized Net Model -- 3 Conclusion -- References -- Clustering of InterCriteria Analysis Data Using a Malignant Neoplasms of the Digestive Organs Data -- 1 Introduction -- 2 InterCriteria Analysis. 3 Self Organizing Map Neural Networks -- 4 Testing with Data for Malignant Neoplasms of the Digestive Organs Data -- 5 Conclusion -- References -- Fuzzy-Based Algorithm for QRS Detection -- 1 Introduction -- 2 Overview of Algorithm -- 2.1 The Preprocessing Stage -- 2.2 Estimation of the Amplitude Threshold with Fuzzy c-Median Clustering Method -- 3 Numerical Experiment and Results -- 3.1 Data -- 3.2 Results -- 4 Conclusion -- References -- Influence of the Indoor Hockey "Push & -- Flick" Methodology on the Ball Speed During the Penalty Corner Shooting -- 1 Introduction -- 2 Methodology -- 3 InterCriteria Analysis Background -- 4 Results and Discussion from the Study on the Speed of the Ball When Executing a Penalty Corner Using Flick -- 4.1 Variation Analysis of the Speed of the Ball When Executing a Penalty Corner in Goal-Scoring Areas -- 4.2 InterCriteria Analysis of the Speed of the Ball When Executing a Penalty Corner in Goal-Scoring Areas -- 5 Conclusion -- References -- InterCriteria Analysis of Data Obtained from University Students Practicing Sports Activities -- 1 Introduction -- 2 Presentation of the Input Data -- 3 Application of the InterCriteria Analysis -- 4 Conclusions -- References -- Applications in Industry, Business and Critical Infrastructure -- Forest Fire Analysis Based on InterCriteria Analysis -- 1 Introduction -- 2 Forest Fires Data -- 3 Methods Theoretical Background -- 3.1 Methodology of Lubenov -- 4 InterCriteria Analysis -- 5 Results and Discussion -- 6 Conclusion -- References -- Generalized Net Model of Overall Telecommunication System with Queuing -- 1 Introduction -- 2 Classical Conceptual Model of Overall Telecommunication System -- 2.1 Base Virtual Devices Representation and Their Parameters -- 2.2 Types and Names of the Base Virtual Devices -- 2.3 Comprise Virtual Devices. 3 Generalized Net Model of Overall Telecommunication System with Queuing -- 3.1 Generalized Net Model of the Dialing Stage -- 3.2 Generalized Net Model of the Switching Stage -- 3.3 Generalized Net Model of the Ringing Stage -- 3.4 Generalized Net Model of the Communication Stage -- 4 Analytical Modeling of the Overall Telecommunication System Using the GN Model -- 4.1 Static and Dynamic Parameters of the Model -- 4.2 Main Assumptions -- 4.3 Equation for the Traffic Intensity of the Called Terminals -- 5 Conclusions -- References -- Generalized Net Model of Information Security Activities in the Automated Information Systems -- 1 Introduction -- 2 Generalized Net Model of Information Security Activities in Automated Information Systems -- 3 Conclusion -- References -- Use of OFN in the Short-Term Prediction of Exchange Rates -- 1 Introduction -- 2 Exchange Rates and Currency Markets -- 3 Fuzzy Observation of the Exchange Rate of Euro in Relation to USD -- 4 Formalizing the Description of Fuzzy Observation -- 5 Conclusion -- References -- Ordered Fuzzy Numbers for IoT Smart Home Solution -- 1 Introduction -- 2 The Idea of IoT and Intelligent - Smart Homes -- 3 Ordered Fuzzy Numbers for Smart Home Heating and Cooling System -- 4 The Real Test of Proposed Method -- 5 Conclusion -- References -- When Two-Constraint Binary Knapsack Problem is Equivalent to Classical Knapsack Problem? -- 1 Introduction -- 2 Definitions -- 3 Lagrange and Dual Estimations -- 4 Probabilistic Analysis -- 5 Concluding Remarks -- References -- Author Index. |
Record Nr. | UNINA-9910488700503321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Advances in Fuzzy Implication Functions [[electronic resource] /] / edited by Michał Baczyński, Gleb Beliakov, Humberto Bustince Sola, Ana Pradera |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (VII, 209 p.) |
Disciplina | 511.3 |
Collana | Studies in Fuzziness and Soft Computing |
Soggetto topico |
Computational intelligence
Artificial intelligence Computational Intelligence Artificial Intelligence |
ISBN | 3-642-35677-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | An Overview of Construction Methods of Fuzzy Implications -- Fuzzy Implications: Classification and a New Class -- A Survey of the Distributivity of Implications over Continuous T-norms and the Simultaneous Satisfaction of the Contrapositive Symmetry -- Implication Functions in Interval-valued Fuzzy Set Theory -- (S;N)-Implications on Bounded Lattices -- Implication Functions Generated Using Functions of one Variable -- Compositions of Fuzzy Implications -- Fuzzy Implications: Some Recently Solved Problems. |
Record Nr. | UNINA-9910437893503321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|