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 structures, logic, and computability
  name:
    name part: Hein, James L.
    role:
      role term: creator
    role:
      role term: author.
  type of resource: text
  genre: bibliography
  origin info:
    place:
      place term: mau
    date issued: 2017
    copyright date: 2017
    edition: Fourth edition.
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: print
    extent: xiv, 1039 pages ; 25 cm.
  abstract: Updated to align to the latest 2013 ACM/IEEE Computer Science curricula, Discrete Structures, Logic, and Computability, Fourth Edition is designed for the one- to two-term Discrete Mathematics course. The structure of the book supports the spiral method of learning, by first introducing basic information, allowing students to work on the problem, and then revisiting the topic as new information and skills are established. This method, coupled with a student-friendly and simplified writing style, provides an accessible yet comprehensive level of coverage. Written for prospective computer scientists, computer engineers or applied mathematicians, who wish to learn about the ideas that underlie computer science, this edition contains an extensive coverage of logic, setting it apart from other books in the field.
  table of contents: Elementary notions and notations -- Facts about functions -- Construction techniques -- Binary relations and inductive proof -- Analysis tools and techniques -- Elementary logic -- Predicate logic -- Applied logic -- Algebraic structures and techniques -- Graph theory -- Languages and automata -- Computational notions.
  note: James L. Hein, Professor Emeritus, Portland State University.
  note: Includes bibliographical references (pages 1005-1009) and index.
  subject:
    topic: Computer science
    topic: Mathematics
  subject:
    topic: Logic programming
  subject:
    topic: Data structures (Computer science)
  subject:
    topic: Logic, Symbolic and mathematical
  subject:
    topic: Computable functions
  classification: QA76.9.M35 H44 2017
  classification: 005.1/15
  identifier: 9781284099867
  identifier: 1284099865
  identifier: 9781284070408
  identifier: 1284070409
  identifier: 2015019684
  record info:
    record content source: DLC
    record creation date: 150521
    record change date: 20251119205403.0
    record identifier: in00004796127