LEADER 02577nmm a2200361 i 4500 001 991003319579707536 007 cr cn ---mpcbr 008 170126s2014 de o j 00 0 eng d 020 $a9783319017211 024 7 $a10.1007/978-3-319-01721-1$2doi 035 $ab1431521x-39ule_inst 040 $aBibl. Dip.le Aggr. Matematica e Fisica - Sez. Matematica$beng 082 04$a511.42$223 084 $aAMS 49J45 084 $aAMS 74Q10 084 $aAMS 49J40 084 $aAMS 74Q05 245 00$aModal Interval Analysis$h[e-book] :$bNew Tools for Numerical Information /$cby Miguel A. Sainz ... [et al.] 264 1$aCham :$bSpringer Intern. Publ.,$c2014 300 $a1 online resource (xvi, 316 p. : 37 ill., 3 ill. in col.) 440 0$aLecture Notes in Mathematics,$x1617-9692 ;$v2091 505 0 $a1. Intervals ; 2. Modal intervals ; 3. Modal interval extensions ; 4. Interpretability and optimality ; 5. Interval arithmetic ; 6. Equations and systems ; 7. Twins and f * algorithm ; 8. Marks ; 9. Intervals of marks ; 10. Some related problems 520 3 $aThis book presents an innovative new approach to interval analysis. Modal Interval Analysis (MIA) is an attempt to go beyond the limitations of classic intervals in terms of their structural, algebraic and logical features. The starting point of MIA is quite simple: It consists in defining a modal interval that attaches a quantifier to a classical interval and in introducing the basic relation of inclusion between modal intervalsby means ofthe inclusion of the sets of predicates they accept. This modal approach introduces interval extensions of the real continuous functions, identifies equivalences between logical formulas and interval inclusions, and provides the semantic theorems that justify these equivalences, along with guidelines for arriving at these inclusions. Applications of these equivalences in different areas illustrate the obtained results. The book also presents a new interval object: marks, which aspire to be a new form of numerical treatment of errors in measurements and computations 650 0$aGlobal analysis (Mathematics) 700 1 $aSainz, Miguel A. 773 0 $aSpringer eBooks 776 08$iPrinted edition:$z9783319017204 856 40$uhttp://link.springer.com/book/10.1007/978-3-319-01721-1$zAn electronic book accessible through the World Wide Web 907 $a.b1431521x$b03-03-22$c26-01-17 912 $a991003319579707536 996 $aModal interval analysis$91395512 997 $aUNISALENTO 998 $ale013$b26-01-17$cm$d@ $e-$feng$gsz $h0$i0