Mathematics of Discrete Structures for Computer Science - Image 1

£37.39

Springer Mathematics of Discrete Structures for Computer Science

Name: Mathematics of Discrete Structures for Computer Science
Brand: Springer
Price: 37.39 GBP
Availability: InStock

Architecture & Microprocessors

It has never been this cheap. We have no record of a lower price.

£37 today · cheaper than every other day in the last 3 months

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 2 days • 2 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 2 days • 1 price levels

Days at Price

Price Analysis

Most common price: £37 (2 days, 100.0%)

Price range: £37 - £37

Price levels: 1 different prices over 2 days

Description

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 about the design -- its correctness, robustness and dependability. This book covers the foundational mathematics necessary for courses in computer science. The common approach to presenting mathematical concepts and operators is to define them in terms of properties they satisfy, and then based on these definitions develop ways of computing the result of applying the operators and prove them correct. This book is mainly written for computer science students, so here the author takes a different approach: he starts by defining ways of calculating the results of applying the operators and then proves that they satisfy various properties. After justifying his underlying approach the author offers detailed chapters covering propositional logic, predicate calculus, sets, relations, discrete structures, structured types, numbers, and reasoning about programs. The book contains chapter and section summaries, detailed proofs and many end-of-section exercises -- key to the learning process. The book is suitable for undergraduate and graduate students, and although the treatment focuses on areas with frequent applications in computer science, the book is also suitable for students of mathematics and engineering.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3642429882
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 15 October 2014
Listed Since: 15 October 2014

Barcode

No barcode data available

Springer Mathematics of Discrete Structures for Computer Science

It has never been this cheap. We have no record of a lower price.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Introduction to Mathematical Logic: Set Theory Computable Functions Model Theory (Undergraduate Texts in Mathematics)

Basic Proof Theory 2ed: 43 (Cambridge Tracts in Theoretical Computer Science, Series Number 43)

Mathematical Logic: Exercises and Solutions (Problem Books in Mathematics)

Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results

Decidability of Logical Theories and Their Combination (Studies in Universal Logic)

Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)

Logic for Mathematicians

Logic and Complexity (Discrete Mathematics and Theoretical Computer Science)

Logic for Computer Scientists (Modern Birkhäuser Classics)

Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version

Logic for Computer Science and Artificial Intelligence

Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)

Logical Foundations of Proof Complexity (Perspectives in Logic)

Lectures in Logic and Set Theory: Volume I: Mathematical Logic: 82 (Cambridge Studies in Advanced Mathematics, Series Number 82)

Turing Computability: Theory and Applications (Theory and Applications of Computability)

Mathematical Aspects of Logic Programming Semantics (Chapman & Hall/CRC Studies in Informatics Series)

Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)

Introduction to Languges, Machines and Logic: Computable Languages, Abstract Machines and Formal Logic

An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)

Constructive Models (Siberian School of Algebra and Logic)

A Formalization of Set Theory without Variables (Colloquium Publications)

Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction (Springer Monographs in Mathematics)

Constructive Models (Siberian School of Algebra and Logic)