Mathematical structures for computer science

  • 158 Want to read
  • 12 Currently reading
  • 2 Have read

My Reading Lists:

Create a new list

  • 158 Want to read
  • 12 Currently reading
  • 2 Have read

Buy this book

Last edited by Drini
September 14, 2025 | History

Mathematical structures for computer science

  • 158 Want to read
  • 12 Currently reading
  • 2 Have read

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
W.H. Freeman
Language
English
Pages
426

Buy this book

Previews available in: English

Edition Availability
Cover of: Mathematical structures for computer science
Mathematical structures for computer science: discrete mathematics and its applications
2014, W.H. Freeman and Company, a Macmillian Higher Education Company
in English - 7th edition.
Cover of: Mathematical structures for computer science
Mathematical structures for computer science
1987, W.H. Freeman
in English - 2nd ed.
Cover of: Mathematical structures for computer science
Mathematical structures for computer science
1982, W.H. Freeman
in English

Add another edition?

Book Details


Table of Contents

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

Edition Notes

Includes bibliographies and index.

Published in
San Francisco

Classifications

Dewey Decimal Class
510
Library of Congress
QA39.2 .G47 1982

The Physical Object

Pagination
x, 426, 26 p. :
Number of pages
426

Edition Identifiers

Open Library
OL3483122M
ISBN 10
0716713055
LCCN
82002550
LibraryThing
239069
Goodreads
4915184

Work Identifiers

Work ID
OL1922611W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
September 14, 2025 Edited by Drini Add TOC from Tocky
June 13, 2012 Edited by ImportBot import new book
October 25, 2011 Edited by ImportBot import new book
August 2, 2010 Edited by IdentifierBot added LibraryThing ID
April 1, 2008 Created by an anonymous user Imported from Scriblio MARC record