eBook - PDF
Symbolic Logic and Mechanical Theorem Proving
Chin-Liang Chang, Richard Char-Tung Lee
This is a test
Condividi libro
- 331 pagine
- English
- PDF
- Disponibile su iOS e Android
eBook - PDF
Symbolic Logic and Mechanical Theorem Proving
Chin-Liang Chang, Richard Char-Tung Lee
Dettagli del libro
Indice dei contenuti
Citazioni
Informazioni sul libro
This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book consists of three major parts. Chapters 2 and 3 constitute an introduction to symbolic logic. Chapters 4-9 introduce several techniques in mechanical theorem proving, and Chapters 10 an 11 show how theorem proving can be applied to various areas such as question answering, problem solving, program analysis, and program synthesis.
Domande frequenti
Come faccio ad annullare l'abbonamento?
È semplicissimo: basta accedere alla sezione Account nelle Impostazioni e cliccare su "Annulla abbonamento". Dopo la cancellazione, l'abbonamento rimarrà attivo per il periodo rimanente già pagato. Per maggiori informazioni, clicca qui
È possibile scaricare libri? Se sì, come?
Al momento è possibile scaricare tramite l'app tutti i nostri libri ePub mobile-friendly. Anche la maggior parte dei nostri PDF è scaricabile e stiamo lavorando per rendere disponibile quanto prima il download di tutti gli altri file. Per maggiori informazioni, clicca qui
Che differenza c'è tra i piani?
Entrambi i piani ti danno accesso illimitato alla libreria e a tutte le funzionalità di Perlego. Le uniche differenze sono il prezzo e il periodo di abbonamento: con il piano annuale risparmierai circa il 30% rispetto a 12 rate con quello mensile.
Cos'è Perlego?
Perlego è un servizio di abbonamento a testi accademici, che ti permette di accedere a un'intera libreria online a un prezzo inferiore rispetto a quello che pagheresti per acquistare un singolo libro al mese. Con oltre 1 milione di testi suddivisi in più di 1.000 categorie, troverai sicuramente ciò che fa per te! Per maggiori informazioni, clicca qui.
Perlego supporta la sintesi vocale?
Cerca l'icona Sintesi vocale nel prossimo libro che leggerai per verificare se è possibile riprodurre l'audio. Questo strumento permette di leggere il testo a voce alta, evidenziandolo man mano che la lettura procede. Puoi aumentare o diminuire la velocità della sintesi vocale, oppure sospendere la riproduzione. Per maggiori informazioni, clicca qui.
Symbolic Logic and Mechanical Theorem Proving è disponibile online in formato PDF/ePub?
Sì, puoi accedere a Symbolic Logic and Mechanical Theorem Proving di Chin-Liang Chang, Richard Char-Tung Lee in formato PDF e/o ePub, così come ad altri libri molto apprezzati nelle sezioni relative a Mathématiques e Mathématiques discrètes. Scopri oltre 1 milione di libri disponibili nel nostro catalogo.
Informazioni
Argomento
MathématiquesCategoria
Mathématiques discrètes