Mathematical Logic for Computer Science - Image 1

£44.25

Springer Mathematical Logic for Computer Science

Name: Mathematical Logic for Computer Science
Brand: Springer
Price: 44.29 GBP
Availability: InStock

Programming

Price History & Forecast

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

Historical

Generating forecast...

Price Distribution

Price distribution over 21 days • 1 price levels

Days at Price

Price Analysis

Most common price: £44 (21 days, 100.0%)

Price range: £44 - £44

Price levels: 1 different prices over 21 days

Description

Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and easy to understand. The uniform use of tableaux-based techniques facilitates learning advanced logical systems based on what the student has learned from elementary systems. The logical systems presented are: propositional logic, first-order logic, resolution and its application to logic programming, Hoare logic for the verification of sequential programs, and linear temporal logic for the verification of concurrent programs. The third edition has been entirely rewritten and includes new chapters on central topics of modern computer science: SAT solvers and model checking.

Key Features

Mathematical Logic for Computer Science

Books Subjects Computers Technology Programming General Books Subjects Computers Technology General Books Subjects Computers Technology Computer Science Featured Stores Books Subjects Computers Technology Programming Microsoft Programming Books Subjects Science Math Mathematics Pure Mathematics Logic

Product Type: ABIS BOOK

Brand: Springer

Product Specifications

Brand: Springer
Format: Paperback
ASIN: 1447141288
Category: Books > Subjects > Computing & Internet > Programming
Domain: Amazon UK
Release Date: 17 June 2012
Listed Since: 27 April 2012

Barcode

No barcode data available

Springer Mathematical Logic for Computer Science

Price History & Forecast

Price Distribution

Price Analysis

Description

Key Features

Product Specifications

Barcode

Similar Products You Might Like

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

Logic for Applications (Texts in Computer Science)

Logic and Language Models for Computer Science: Third Edition

Logic And Language Models For Computer Science (Third Edition)

Logic and Complexity (Discrete Mathematics and Theoretical Computer Science)

A Logical Approach to Discrete Math (Monographs in Computer Science)

Propositional Logics Third Edition

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof: 27 (Applied Logic Series, 27)

Introduction to Mathematical Logic: Extended Edition

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

Modern Mathematical Logic (Cambridge Mathematical Textbooks)

Special Topics in Mathematics for Computer Scientists: Sets, Categories, Topologies and Measures

Logic for Computer Scientists (Modern Birkhäuser Classics)

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

A Logical Approach to Discrete Math (Monographs in Computer Science)

Logic of Mathematics: A Modern Course of Classical Logic: 22 (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts)

First-Order Logic and Automated Theorem Proving (Texts in Computer Science)

Formal Methods in Computer Science (Textbooks in Mathematics)

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

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

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

Introduction to Logic and Logical Discourse

Introduction to Logic and Logical Discourse

The Calculus of Computation: Decision Procedures with Applications to Verification