# Discrete Structures, Logic, And Computability, 4th Edition

## Book Description

Includes access to student companion website. Updated to align to the latest 2013 ACM/IEEE 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 scientists, engineers, or applied mathematicians, who wish to learn about the ideas that underlie science, this edition contains an extensive coverage of logic, setting it apart from other books in the field. New and Key Features of the Fourth Edition: • NEW! – Over 300 new exercises and 125 new examples have been added throughout the text • NEW! – Learning objectives and review questions have been added to every section • NEW! – Includes a new Chapter 10, , expanding the introductory material presented in Chapter 1 • EXPANDED! – Provides expanded coverage of informal proof , which includes a wider range of proof techniques and examples • EXPANDED! – Provides expanded coverage of discrete probability including conditional independence and elementary • NEW! – Includes access to the Navigate Student Companion Website, featuring a Student Study Guide and a Lab Book of experiments that use a free open-source mathematics system

Chapter 1 Elementary Notions and Notations
Chapter 2 Facts about Functions
Chapter 3 Construction Techniques
Chapter 4 Binary Relations and Inductive Proof
Chapter 5 Analysis Tools and Techniques
Chapter 6 Elementary Logic
Chapter 7 Predicate Logic
Chapter 8 Applied Logic
Chapter 9 Structures and Techniques
Chapter 10 Graph Theory
Chapter 11 Languages and Automata
Chapter 12 Computational Notions

## Book Details

• Title: Discrete Structures, Logic, And Computability, 4th Edition
• Author:
• Length: 1040 pages
• Edition: 4
• Language: English
• Publisher:
• Publication Date: 2015-12-25
• ISBN-10: 1284070409
• ISBN-13: 9781284070408