rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Mathematical Foundations of Advanced Informatics
    sub title: Volume 1: Inductive Approaches
  name:
    name part: Steffen, Bernhard.
    role:
      role term: creator
    role:
      role term: author.
    role:
      role term: aut
    role:
      role term: http://id.loc.gov/vocabulary/relators/aut
  name:
    name part: Rüthing, Oliver.
    role:
      role term: author.
    role:
      role term: aut
    role:
      role term: http://id.loc.gov/vocabulary/relators/aut
  name:
    name part: Huth, Michael.
    role:
      role term: author.
    role:
      role term: aut
    role:
      role term: http://id.loc.gov/vocabulary/relators/aut
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: gw
    date issued: 2018
    edition: 1st ed. 2018.
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: XXVII, 228 p. 29 illus., 7 illus. in color. online resource.
  abstract: The 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.
  table of contents: Introduction -- Propositions and Sets -- Relations and Functions -- Inductive Definitions -- Inductive Proofs -- Inductive Approach: Potential, Limitations, and Pragmatics.
  note: by Bernhard Steffen, Oliver Rüthing, Michael Huth.
  subject:
    topic: Computer science-Mathematics
  subject:
    topic: Computers
  subject:
    topic: Computer mathematics
  subject:
    topic: Software engineering
  subject:
    topic: Mathematics of Computing
  subject:
    topic: Theory of Computation
  subject:
    topic: Mathematical Applications in Computer Science
  subject:
    topic: Software Engineering/Programming and Operating Systems
  classification: QA76.9.M35
  classification: 004.0151
  related item:
    title info:
      title: Springer eBooks
  identifier: 9783319683973
  identifier: https://doi.org/10.1007/978-3-319-68397-3
  record info:
    record creation date: 180320
    record change date: 20191026081142.0
    record identifier: 978-3-319-68397-3