Table of Contents -- Discrete Structure, Logic, and Computability

James L. Hein: Discrete Structures, Logic, and Computability

The Table of Contents have been provided as an Adobe PDF file. You will need a copy of the Adobe Acrobat Reader to view this format. If you do not have this software, you can go to the Adobe web site and download a copy for free.

Click to view/download - Full_TOC -- Hein.pdf (308 Kbytes)

Depending on your browser configuration, clicking on the links above may attempt to open the PDF files in a browser window. To download to your computer rather than viewing in your browser, either right-click (Windows) or click-and-hold (Mac) on the links above. Then select "Save Target as..." or "Save Link as..." from the popup menu that appears. Choose a location on your computer to which to save the file, and hit OK or Save. You can then find the file on your computer using the Finder or Explorer and open the file up in the Acrobat Reader program.

Brief Table of Contents for: Discrete Structures, Logic, and Computability, Second Edition
Chapter 1 - Elementary Notions and Notations
Chapter 2 - Facts About Functions
Chapter 3 - Construction Techniques
Chapter 4 - Equivalence, Order, and Inductive Proof
Chapter 5 - Analysis Techniques
Chapter 6 - Elementary Logic
Chapter 7 - Predicate Logic
Chapter 8 - Applied Logic
Chapter 9 - Computational Logic
Chapter 10 - Algebraic Structures
Chapter 11 - Regular Languages and Finite Automata
Chapter 12 - Context-Free Languages and Pushdown Automata
Chapter 13 - Turing Machines and Equivalent Models
Chapter 14 - Computational Notions