Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Fundamentals of Logic and Computation

Fundamentals of Logic and Computation

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783030878818
Condition
New
Product 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.

Available Colors
Available Sizes
1 Offer Price Range: $49.99 - $49.99
BEST PRICE

Single Product Purchase

$49.99
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$49.99 $49.99

$49.99
See Site In stock Visit Store

Similar Products

Recombinant DNA Research and Viruses

$169.00

The Ethics of Creativity

$109.99

Semantic Intelligence

$249.99

Integrated Computer Technologies in Mechanical Engineering

$169.99

Electronic Healthcare Information Security

$84.99

Argumentation in Multi-Agent Systems

$39.99

Exotic Nuclear Spectroscopy

$39.99

Consecutive Interpreting

$109.99

The Moon

$5.21

Intelligent Environments

$109.99

Dezentrale Produktionssteuerung mit Agenten-Systemen

$44.99

Arbuscular Mycorrhizas and Stress Tolerance of Plants

$169.99

Investigation of Nanoscopic Dynamics and Potentials by Interferometric Scattering Microscopy

$119.99

Data Analytics Approaches in Educational Games and Gamification Systems

$109.99

Global Engineering, Manufacturing and Enterprise Networks

$169.00

Planung, Anlage und Betrieb von Flugpltzen

$229.00

Die Bedeutung sozialen Kapitals fr Migrationsprozesse

$49.99

Designing for Quality

$169.99

Thidiazuron: From Urea Derivative to Plant Growth Regulator

$169.99

Proceedings of the International Conference on Aerospace System Science and Engineering 2021

$299.99

Advances in Tracer Methodology

$39.99

Sepsis Management

$109.99

Die Grundgesetze der Wrmeleitung und ihre Anwendung auf plattenfrmige Krper

$59.99

Paint By Sticker: Masterpieces

$8.77

Die Grostadt im Roman

$44.99

Hollywoods Exploited

$54.99

Arbeitsbuch zur Theoretischen Physik

$49.95

Transmission Electron Microscopy

$149.00

Nutritional and Physiological Functions of Amino Acids in Pigs

$169.99

Integratives Kostencontrolling

$59.99

Combination Vaccines

$169.99

The Handbook of Neuropsychiatric Biomarkers, Endophenotypes and Genes

$129.00

Die oto-rhino-laryngologischen Operationen

$54.99

Memory in a Social Context

$169.99

Medio-translatology

$139.99

Coherent States and Applications in Mathematical Physics

$39.99

Alessandro Piccolominis Early Astronomical Works: II. An Examination of Their Scientific Content

$159.99

Organic Chemistry from Retrosynthesis to Asymmetric Synthesis

$159.99

International Handbook of Interpretation in Educational Research

$429.00

Gaussian Measures in Finite and Infinite Dimensions

$54.99