Mathematical structures for computer science
By: Judith L. Gersting.
Publisher: W.H. Freeman
Published: 1982
Place of publication: San Francisco
Language: eng
Number of pages: 426
Subjects: Mathematics.; Mathematical models.; Computer science -- Mathematics.
Notes: Includes bibliographies and index.
Table of contents: title: Preface
pagenum: viii; title: Note to the Student
pagenum: xi; label: Chapter 1
title: How to Speak Mathematics: Basic Vocabulary I
pagenum: 2; label: 1.1
title: Logic
pagenum: 2; label: 1.2
title: Proof Techniques
pagenum: 12; label: 1.3
title: Sets
pagenum: 23; label: 1.4
title: Combinatorics
pagenum: 38; label: Chapter 2
title: How to Speak Mathematics: Basic Vocabulary II
pagenum: 46; label: 2.1
title: Relations
pagenum: 46; label: 2.2
title: Functions
pagenum: 62; label: 2.3
title: Graphs
pagenum: 77; label: Chapter 3
title: Structures and Simulations
pagenum: 102; label: 3.1
title: Structures—Simulation I
pagenum: 102; label: 3.2
title: Morphisms—Simulation II
pagenum: 114; label: Chapter 4
title: Boolean Algebra and Computer Logic
pagenum: 128; label: 4.1
title: Logic Networks
pagenum: 128; label: 4.2
title: Minimization
pagenum: 149; label: Chapter 5
title: Algebraic Structures
pagenum: 168; label: 5.1
title: Semigroups, Monoids, Groups—Simulation I
pagenum: 168; label: 5.2
title: Substructures
pagenum: 182; label: 5.3
title: Morphisms—Simulation II
pagenum: 190; label: 5.4
title: Homomorphism Theorems
pagenum: 201; label: 5.5
title: Quotient Groups
pagenum: 207; label: Chapter 6
title: Coding Theory
pagenum: 220; label: 6.1
title: Encoding
pagenum: 220; label: 6.2
title: Decoding
pagenum: 235; label: Chapter 7
title: Finite-State Machines
pagenum: 244; label: 7.1
title: Machines—Simulation I
pagenum: 244; label: 7.2
title: Morphisms—Simulation II
pagenum: 255; label: 7.3
title: Machines as Recognizers
pagenum: 267; label: Chapter 8
title: Machine Design and Construction
pagenum: 284; label: 8.1
title: Machine Minimization
pagenum: 284; label: 8.2
title: Building Machines
pagenum: 296; label: 8.3
title: Parallel and Serial Decompositions
pagenum: 305; label: 8.4
title: Cascade Decompositions
pagenum: 319; label: Chapter 9
title: Computability
pagenum: 330; label: 9.1
title: Turing Machines—Simulation I
pagenum: 330; label: 9.2
title: The Universal Turing Machine—Simulation II; Unsolvability
pagenum: 348; label: 9.3
title: Computational Complexity
pagenum: 357; label: Chapter 10
title: Formal Languages
pagenum: 368; label: 10.1
title: Classes of Languages
pagenum: 368; label: 10.2
title: Language Recognizers
pagenum: 381; title: Answers to Selected Exercises
pagenum: 394; title: Index
pagenum: 419; title: Answers to Practice Problems
pagenum: A-1