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