Ricerca Veloce:    
Ricerca Avanzata
 

Introduction to Mathematics of Satisfiability

Introduction to Mathematics of Satisfiability

di Victor W. Marek

  • Prezzo: € 87.96
Spedizione gratuita  Promozione: questo prodotto ha diritto alla spedizione gratuita (Leggi i dettagli)
Normalmente disponibile in 6/7 giorni lavorativi
Aggiungi al carrello

Spedizione gratuita sopra i 19€

Descrizione

This book focuses on the satisfiability of theories consisting of propositional logic formulas. It first deals with logic fundamentals, including the syntax of propositional logic, complete sets of functors, normal forms, the Craig lemma, and compactness. The book then examines clauses, their proof theory and semantics, and basic complexity issues of propositional logic. The final chapters on knowledge representation cover finite runs of Turing machines and encodings into SAT. The author also shows how constraint satisfaction systems can be worked out by satisfiability solvers and how answer set programming can be used for knowledge representation.

Dettagli del libro

  • Titolo: Introduction to Mathematics of Satisfiability
  • Autore: Victor W. Marek
  • Editore: Chapman & Hall/CRC
  • Data di Pubblicazione: September 2009
  • ISBN: 1439801673
  • ISBN-13: 9781439801673
  • Pagine: 00350
  • Reparto: General

Recensioni degli utenti

Scrivi una nuova recensione su Introduction to Mathematics of Satisfiability e condividi la tua opinione con altri utenti.

Ultimi prodotti visti