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: Logic Functions and Equations
    sub title: Examples and Exercises
  name:
    name part: Steinbach, Bernd.
    role:
      role term: creator
    role:
      role term: author.
  name:
    name part: Posthoff, Christian.
    role:
      role term: author.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: ne
    date issued: 2009
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: XXII, 232 p. online resource.
  abstract: The field of binary Logics has two main areas of application, the Digital Design of Circuits (related to Electrical Engineering) and Propositional Logics (related to Mathematics, Artificial Intelligence, Complexity etc.). In both cases it is quite possible to teach the theoretical foundations and to do some exercises, but in both cases the examples that can be done in class and by hand are far away from examples that are relevant for practical problems. Therefore a software package called XBOOLE Monitor will be made available (downloadable, without additional fees), and the exercises given in Logic Functions and Equations can be solved by using this software package – in this way it is possible to solve a lot of relevant problems and to study the solutions based on this software. The whole approach is based on the single and unique concept of Boolean Equations and Ternary Vectors as the basic data structure which makes it also easy to follow these ideas very easily, because the wide range of problems and solutions will be based on these two concepts.
  table of contents: Basic Software -- XBOOLE Monitor -- Basics and Logic Functions -- Logic Equations -- Boolean Differential Calculus -- The Solution of Logic Equations -- Applications -- Logics and Arithmetics -- Combinatorial Circuits -- Finite-State Machines.
  note: by Bernd Steinbach, Christian Posthoff.
  subject:
    topic: Computer science
  subject:
    topic: Architecture, Computer
  subject:
    topic: Computer logic
  subject:
    topic: Computer science
    topic: Mathematics
  subject:
    topic: Discrete mathematics
  subject:
    topic: Electronic circuits
  subject:
    topic: Computer Science
  subject:
    topic: Computer System Implementation
  subject:
    topic: Circuits and Systems
  subject:
    topic: Discrete Mathematics
  subject:
    topic: Logics and Meanings of Programs
  subject:
    topic: Discrete Mathematics in Computer Science
  classification: QA76.9.A73
  classification: QA76.9.S88
  classification: 003.3
  related item:
    title info:
      title: Springer eBooks
  identifier: 9781402095955
  identifier: http://dx.doi.org/10.1007/978-1-4020-9595-5
  record info:
    record creation date: 100301
    record change date: 20151204185535.0
    record identifier: 978-1-4020-9595-5