Mathematical structures for computer science
By: Judith L. Gersting.
Edition: 2nd ed.
Series: A Series of books in the mathematical sciences
Publisher: W.H. Freeman
Published: 1987
Place of publication: New York
Language: eng
Number of pages: 618
Subjects: Mathematics.; Mathematical models.; Computer science -- Mathematics.
Notes: Includes index.
Table of contents: title: Preface
pagenum: xi; title: Note to the Student
pagenum: xv; label: Chapter 1
title: Logic, Induction, and Recursion
pagenum: 1; label: 1.1
title: Statements and Quantifiers
pagenum: 1; label: 1.2
title: Propositional Logic and Predicate Logic
pagenum: 25; label: 1.3
title: Proof Techniques
pagenum: 39; label: 1.4
title: Induction
pagenum: 47; label: 1.5
title: Recursion and Recurrence Relations
pagenum: 59; label: Chapter 2
title: Sets and Combinatorics
pagenum: 71; label: 2.1
title: Sets
pagenum: 71; label: 2.2
title: Counting
pagenum: 92; label: 2.3
title: Permutations and Combinations
pagenum: 98; label: 2.4
title: The Binomial Theorem
pagenum: 104; label: Chapter 3
title: Relations, Functions, and Matrices
pagenum: 111; label: 3.1
title: Relations
pagenum: 111; label: 3.2
title: Functions
pagenum: 131; label: 3.3
title: Matrices
pagenum: 149; label: Chapter 4
title: Graphs and Trees
pagenum: 157; label: 4.1
title: Graph Terminology and Applications
pagenum: 157; label: 4.2
title: Computer Representations of Graphs
pagenum: 168; label: 4.3
title: Graph Algorithms
pagenum: 180; label: 4.4
title: Algorithms for Traversing Graphs
pagenum: 197; label: Chapter 5
title: Structures and Simulations
pagenum: 209; label: 5.1
title: Structures-Simulation I
pagenum: 210; label: 5.2
title: Morphisms-Simulation II
pagenum: 223; label: Chapter 6
title: Boolean Algebra and Computer Logic
pagenum: 237; label: 6.1
title: Logic Networks
pagenum: 237; label: 6.2
title: Minimization
pagenum: 262; label: Chapter 7
title: Algebraic Structures
pagenum: 281; label: 7.1
title: Semigroups, Monoids, and Groups-Simulation I
pagenum: 281; label: 7.2
title: Substructures
pagenum: 297; label: 7.3
title: Morphisms-Simulation II
pagenum: 306; label: 7.4
title: Homomorphism Theorems
pagenum: 319; label: 7.5
title: Quotient Groups
pagenum: 326; label: Chapter 8
title: Coding Theory
pagenum: 339; label: 8.1
title: Encoding
pagenum: 339; label: 8.2
title: Decoding
pagenum: 359; label: Chapter 9
title: Finite-State Machines
pagenum: 369; label: 9.1
title: Machines-Simulation I
pagenum: 369; label: 9.2
title: Morphisms-Simulation II
pagenum: 386; label: 9.3
title: Machines as Recognizers
pagenum: 399; label: Chapter 10
title: Machine Design and Construction
pagenum: 419; label: 10.1
title: Machine Minimization
pagenum: 419; label: 10.2
title: Building Machines
pagenum: 432; label: 10.3
title: Parallel and Serial Decompositions
pagenum: 440; label: 10.4
title: Cascade Decompositions
pagenum: 455; label: Chapter 11
title: Computability
pagenum: 467; label: 11.1
title: Turing Machines-Simulation I
pagenum: 467; label: 11.2
title: The Universal Turing Machine-Simulation II and Unsolvability
pagenum: 486; label: 11.3
title: Computational Complexity
pagenum: 496; label: Chapter 12
title: Formal Languages
pagenum: 505; label: 12.1
title: Classes of Languages
pagenum: 505; label: 12.2
title: Language Recognizers
pagenum: 519; title: Answers to Practice Problems
pagenum: 533; title: Answers to Selected Exercises
pagenum: 563; title: Index
pagenum: 607