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: Discrete Mathematics Using a Computer
  name:
    name part: O’Donnell, John.
    role:
      role term: creator
    role:
      role term: author.
  name:
    name part: Hall, Cordelia.
    role:
      role term: author.
  name:
    name part: Page, Rex.
    role:
      role term: author.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: xxk
    date issued: 2006
    edition: 2.
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: XIX, 441 p. 68 illus. online resource.
  abstract: Discrete Mathematics Using a Computer offers a new, "hands-on" approach to teaching Discrete Mathematics. Using software that is freely available on Mac, PC and Unix platforms, the functional language Haskell allows students to experiment with mathematical notations and concepts -- a practical approach that provides students with instant feedback and allows lecturers to monitor progress easily. This second edition of the successful textbook contains significant additional material on the applications of formal methods to practical programming problems. There are more examples of induction proofs on small programs, as well as a new chapter showing how a mathematical approach can be used to motivate AVL trees, an important and complex data structure. Designed for 1st and 2nd year undergraduate students, the book is also well suited for self-study. No prior knowledge of functional programming is required; everything the student needs is either provided or can be picked up easily as they go along. Key features include: • Numerous exercises and examples • A web page with software tools and additional practice problems, solutions, and explanations, as well as course slides • Suggestions for further reading Complete with an accompanying instructor's guide, available via the web, this volume is intended as the primary teaching text for Discrete Mathematics courses, but will also provide useful reading for Conversion Masters and Formal Methods courses. Visit the book’s Web page at: http://www.dcs.gla.ac.uk/~jtod/discrete-mathematics/.
  table of contents: Programming and Reasoning with Equations -- to Haskell -- Equational Reasoning -- Recursion -- Trees -- Logic -- Propositional Logic -- Predicate Logic -- Set Theory -- Set Theory -- Inductively Defined Sets -- Relations -- Functions -- Applications -- The AVL Tree Miracle -- Discrete Mathematics in Circuit Design.
  note: by John O’Donnell, Cordelia Hall, Rex Page.
  subject:
    topic: Computer science
  subject:
    topic: Algorithms
  subject:
    topic: Mathematical logic
  subject:
    topic: Computer science
    topic: Mathematics
  subject:
    topic: Computer Science
  subject:
    topic: Discrete Mathematics in Computer Science
  subject:
    topic: Mathematical Logic and Formal Languages
  subject:
    topic: Algorithm Analysis and Problem Complexity
  classification: QA76.9.M35
  classification: 004.0151
  related item:
    title info:
      title: Springer eBooks
  identifier: 9781846285981
  identifier: http://dx.doi.org/10.1007/1-84628-598-4
  record info:
    record creation date: 100301
    record change date: 20151204181337.0
    record identifier: 978-1-84628-598-1