Get Free Shipping on orders over $89
Studies in Logic : Studies in Logic - Victor Marek

Studies in Logic

By: Victor Marek

Paperback | 24 February 2014

At a Glance

Paperback


$33.00

or 4 interest-free payments of $8.25 with

 or 

Ships in 5 to 7 business days

Propositional logic allows for description and then solving of a significant class of constraint satisfaction problems, namely those that require that the domains of variables are finite.

As such, propositional logic finds applications in describing problems stemming from computer science, computer engineering and combinatorial optimization. But logic goes beyond just providing descriptive means - it is supported by mechanisms for computation of answers.

At present there is a class of software systems, SAT solvers, that allow (given enough of resources) for solving problems expressed in propositional logic.

This book studies syntax, semantics, and algorithms for finding solutions of problems expressible in propositional logic. It is addressed to individuals who want to understand the principles on which SAT solvers are based and gain a deeper understanding of techniques used in logic-based solving.

More in Mathematical Logic

Handbook of Automated Reasoning - Rachel Phillips
Current Trends in Automated Reasoning - Erika Bach
Unequal : The Maths of When Things Do and Don't Add Up - Eugenia Cheng
The Language of Mathematics : The Stories behind the Symbols - Raul Rojas
Skill Builder Sudoku : Medium to Hard - Peter Gordon

RRP $22.99

$22.75

New Trends in Blockchain - Abhishek Danu

$432.75

Logic For Dummies : For Dummies - Mark Zegarelli

RRP $41.95

$29.99

29%
OFF
Introduction to Modern Cryptography : Revised Third Edition - Jonathan  Katz
How to Prove It : A Structured Approach - Daniel J. Velleman

RRP $73.95

$70.75

Skill Builder Sudoku : Easy to Medium - Peter Gordon

RRP $22.99

$22.75

Skill Builder Sudoku : Hard to Expert - Peter Gordon

RRP $22.99

$22.75