LEADER 03997nam  22006615  450 
001 9910299270603321
005 20251116195413.0
010   $a3-319-68397-7
024 7 $a10.1007/978-3-319-68397-3
035   $a(CKB)4100000002892053
035   $a(DE-He213)978-3-319-68397-3
035   $a(MiAaPQ)EBC6311969
035   $a(MiAaPQ)EBC5589099
035   $a(Au-PeEL)EBL5589099
035   $a(OCoLC)1029761878
035   $a(PPN)225552922
035   $a(EXLCZ)994100000002892053
100   $a20180320d2018      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aMathematical Foundations of Advanced Informatics $eVolume 1: Inductive Approaches /$fby Bernhard Steffen, Oliver Rüthing, Michael Huth
205   $a1st ed. 2018.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018.
215   $a1 online resource (XXVII, 228 p. 29 illus., 7 illus. in color.) 
311 08$a3-319-68396-9 
320   $aIncludes bibliographical references and index.
327   $aIntroduction -- Propositions and Sets -- Relations and Functions -- Inductive Definitions -- Inductive Proofs -- Inductive Approach: Potential, Limitations, and Pragmatics.
330   $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.
606   $aComputer science?Mathematics
606   $aComputers
606   $aComputer science$xMathematics
606   $aSoftware engineering
606   $aMathematics of Computing$3https://scigraph.springernature.com/ontologies/product-market-codes/I17001
606   $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005
606   $aMathematical Applications in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/M13110
606   $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002
615  0$aComputer science?Mathematics.
615  0$aComputers.
615  0$aComputer science$xMathematics.
615  0$aSoftware engineering.
615 14$aMathematics of Computing.
615 24$aTheory of Computation.
615 24$aMathematical Applications in Computer Science.
615 24$aSoftware Engineering/Programming and Operating Systems.
676   $a004.0151
700   $aSteffen$b Bernhard$4aut$4http://id.loc.gov/vocabulary/relators/aut$0878620
702   $aRu?thing$b Oliver$4aut$4http://id.loc.gov/vocabulary/relators/aut
702   $aHuth$b Michael$4aut$4http://id.loc.gov/vocabulary/relators/aut
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910299270603321
996   $aMathematical Foundations of Advanced Informatics$91961595
997   $aUNINA