000827189 000__ 03147cam\a2200493Ii\4500
000827189 001__ 827189
000827189 005__ 20230306144602.0
000827189 006__ m\\\\\o\\d\\\\\\\\
000827189 007__ cr\cn\nnnunnun
000827189 008__ 180329s2018\\\\sz\a\\\\ob\\\\001\0\eng\d
000827189 019__ $$a1033651256
000827189 020__ $$a9783319683973$$q(electronic book)
000827189 020__ $$a3319683977$$q(electronic book)
000827189 020__ $$z9783319683966
000827189 0247_ $$a10.1007/978-3-319-68397-3$$2doi
000827189 035__ $$aSP(OCoLC)on1029761878
000827189 035__ $$aSP(OCoLC)1029761878$$z(OCoLC)1033651256
000827189 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dYDX$$dOCLCF$$dUPM$$dAZU$$dMERER
000827189 049__ $$aISEA
000827189 050_4 $$aQA9.2
000827189 08204 $$a511.3$$223
000827189 1001_ $$aSteffen, Bernhard,$$eauthor.
000827189 24510 $$aMathematical foundations of advanced informatics.$$nVolume 1,$$pInductive approaches /$$cBernhard Steffen, Oliver Rüthing, Michael Huth.
000827189 24630 $$aInductive approaches
000827189 264_1 $$aCham, Switzerland :$$bSpringer,$$c2018.
000827189 300__ $$a1 online resource (xxvii, 228 pages) :$$billustrations
000827189 336__ $$atext$$btxt$$2rdacontent
000827189 337__ $$acomputer$$bc$$2rdamedia
000827189 338__ $$aonline resource$$bcr$$2rdacarrier
000827189 347__ $$atext file$$bPDF$$2rda
000827189 504__ $$aIncludes bibliographical references and index.
000827189 5050_ $$aIntroduction -- Propositions and Sets -- Relations and Functions -- Inductive Definitions -- Inductive Proofs -- Inductive Approach: Potential, Limitations, and Pragmatics.
000827189 506__ $$aAccess limited to authorized users.
000827189 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.
000827189 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed March 29, 2018).
000827189 650_0 $$aLogic, Symbolic and mathematical.
000827189 650_0 $$aComputer science$$xMathematics.
000827189 7001_ $$aRüthing, Oliver,$$eauthor.
000827189 7001_ $$aHuth, Michael,$$eauthor.
000827189 77608 $$iPrint version: $$z9783319683966
000827189 852__ $$bebk
000827189 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-68397-3$$zOnline Access$$91397441.1
000827189 909CO $$ooai:library.usi.edu:827189$$pGLOBAL_SET
000827189 980__ $$aEBOOK
000827189 980__ $$aBIB
000827189 982__ $$aEbook
000827189 983__ $$aOnline
000827189 994__ $$a92$$bISE