Mathematics of Discrete Structures for Computer Science

Mathematics plays a key role in computer science, some researchers would consider computers as nothing but the physical embodiment of mathematical systems. And whether you are designing a digital circuit, a computer program or a new programming language, you need mathematics to be able to reason abo...

Full description

Bibliographic Details
Call Number:Libro Electrónico
Main Author: Pace, Gordon J. (Author)
Corporate Author: SpringerLink (Online service)
Format: Electronic eBook
Language:Inglés
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Edition:1st ed. 2012.
Subjects:
Computer science-Mathematics.
Computer science.
Mathematical logic.
Mathematics of Computing.
Theory of Computation.
Mathematical Logic and Foundations.
Online Access:Texto Completo
Table of Contents:
  • Why Mathematics?
  • Propositional Logic
  • Predicate Calculus
  • Sets
  • Relations
  • Classifying Relations
  • More Discrete Structures
  • Defining New Structured Types
  • Numbers
  • Reasoning About Programs
  • Index.

Similar Items