000 | 04032nam a22006015i 4500 | ||
---|---|---|---|
001 | 978-3-319-68397-3 | ||
003 | DE-He213 | ||
005 | 20210201191307.0 | ||
007 | cr nn 008mamaa | ||
008 | 180320s2018 gw | s |||| 0|eng d | ||
020 |
_a9783319683973 _9978-3-319-68397-3 |
||
050 | 4 | _aQA76.9.M35 | |
072 | 7 |
_aUYA _2bicssc |
|
072 | 7 |
_aCOM018000 _2bisacsh |
|
072 | 7 |
_aUYA _2thema |
|
072 | 7 |
_aUYAM _2thema |
|
082 | 0 | 4 |
_a004.0151 _223 |
100 | 1 |
_aSteffen, Bernhard. _eauthor. _0(orcid)0000-0001-9619-1558 _1https://orcid.org/0000-0001-9619-1558 _4aut _4http://id.loc.gov/vocabulary/relators/aut |
|
245 | 1 | 0 |
_aMathematical Foundations of Advanced Informatics _h[electronic resource] : _bVolume 1: Inductive Approaches / _cby Bernhard Steffen, Oliver Rüthing, Michael Huth. |
250 | _a1st ed. 2018. | ||
264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2018. |
|
300 |
_aXXVII, 228 p. 29 illus., 7 illus. in color. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
500 | _aAcceso multiusuario | ||
505 | 0 | _aIntroduction -- Propositions and Sets -- Relations and Functions -- Inductive Definitions -- Inductive Proofs -- Inductive Approach: Potential, Limitations, and Pragmatics. | |
520 | _aThe books in this trilogy capture the foundational core of advanced informatics. The authors make the foundations accessible, enabling students to become effective problem solvers. This first volume establishes the inductive approach as a fundamental principle for system and domain analysis. After a brief introduction to the elementary mathematical structures, such as sets, propositional logic, relations, and functions, the authors focus on the separation between syntax (representation) and semantics (meaning), and on the advantages of the consistent and persistent use of inductive definitions. They identify compositionality as a feature that not only acts as a foundation for algebraic proofs but also as a key for more general scalability of modeling and analysis. A core principle throughout is invariance, which the authors consider a key for the mastery of change, whether in the form of extensions, transformations, or abstractions. This textbook is suitable for undergraduate and graduate courses in computer science and for self-study. Most chapters contain exercises and the content has been class-tested over many years in various universities. | ||
541 |
_fUABC ; _cTemporal ; _d01/01/2021-12/31/2023. |
||
650 | 0 | _aComputer science-Mathematics. | |
650 | 0 | _aComputers. | |
650 | 0 | _aComputer mathematics. | |
650 | 0 | _aSoftware engineering. | |
650 | 1 | 4 |
_aMathematics of Computing. _0https://scigraph.springernature.com/ontologies/product-market-codes/I17001 |
650 | 2 | 4 |
_aTheory of Computation. _0https://scigraph.springernature.com/ontologies/product-market-codes/I16005 |
650 | 2 | 4 |
_aMathematical Applications in Computer Science. _0https://scigraph.springernature.com/ontologies/product-market-codes/M13110 |
650 | 2 | 4 |
_aSoftware Engineering/Programming and Operating Systems. _0https://scigraph.springernature.com/ontologies/product-market-codes/I14002 |
700 | 1 |
_aRüthing, Oliver. _eauthor. _4aut _4http://id.loc.gov/vocabulary/relators/aut |
|
700 | 1 |
_aHuth, Michael. _eauthor. _4aut _4http://id.loc.gov/vocabulary/relators/aut |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783319683966 |
776 | 0 | 8 |
_iPrinted edition: _z9783319683980 |
776 | 0 | 8 |
_iPrinted edition: _z9783030098339 |
856 | 4 | 0 |
_zLibro electrónico _uhttp://148.231.10.114:2048/login?url=https://doi.org/10.1007/978-3-319-68397-3 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
942 | _cLIBRO_ELEC | ||
999 |
_c241812 _d241811 |