Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification (Texts in Computer Science) - Image 1

£32.70

Springer Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification (Texts in Computer Science)

Name: Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification (Texts in Computer Science)
Brand: Springer
Price: 24.99 GBP
Availability: InStock

Algorithms

Price History & Forecast

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

Historical

Generating forecast...

Price Distribution

Price distribution over 87 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £25 (74 days, 85.1%)

Price range: £25 - £33

Price levels: 2 different prices over 87 days

Description

This textbook aims to help the reader develop an in-depth understanding of logical reasoning and gain knowledge of the theory of computation. The book combines theoretical teaching and practical exercises; the latter is realised in Isabelle/HOL, a modern theorem prover, and PAT, an industry-scale model checker. I also give entry-level tutorials on the two software to help the reader get started. By the end of the book, the reader should be proficient in both software. Content-wise, this book focuses on the syntax, semantics and proof theory of various logics; automata theory, formal languages, computability and complexity. The final chapter closes the gap with a discussion on the insight that links logic with computation. This book is written for a high-level undergraduate course or a Master's course. The hybrid skill set of practical theorem proving and model checking should be helpful for the future of readers should they pursue a research career or engineering informal methods.

Product Specifications

Brand: Springer
Format: hardcover
ASIN: 3030878813
Category: Books > Subjects > Computing & Internet > Programming > Algorithms
Domain: Amazon UK
Release Date: 04 December 2021
Listed Since: 20 August 2021

Barcode

No barcode data available

Springer Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification (Texts in Computer Science)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

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

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

Limits of Mathematics: A Journey Through the Key Areas of Mathematical Logic: 19 (Mathematics Study Resources, 19)

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

Proof Theory and Logic Programming: Computation as Proof Search

Springer Mathematical Problems from Applied Logic I - Vol 4

Logic And Language Models For Computer Science (Third Edition)

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

Logic and Language Models for Computer Science: Third Edition

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

Mathematical Logic and Computation

Logique mathématique - Tome 2 - Fonctions récursives, théorème de Gödel, théorie des ensembles: T 2 - Fonctions récursives, théorème de Gödel, théorie des ensembles

Logic of Computation: SER F / v.157 (NATO ASI)

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

Logic And Language Models For Computer Science (fourth Edition): 4th Edition

Logic for Computer Scientists (Modern Birkhäuser Classics)

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

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

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

Proof and System-Reliability: v. 62 (NATO Science Series II)

Springer - Reverse Mathematics: Problems, Reductions, and Proofs

The Mathematics of Logic: A Guide to Completeness Theorems and their Applications

Substructural Logics: A Primer: 13 (Trends in Logic, 13)

Concrete Semantics: With Isabelle/HOL