Logica computazionale: Volume 1: Calcolo deduttivo classico con logica classica. Seconda edizione

Titolo originale:

Computational Logic: Volume 1: Classical Deductive Computing with Classical Logic. Second Edition

Contenuto del libro:

Sebbene numerose applicazioni tecnologiche recenti richiedano il calcolo deduttivo classico con logiche non classiche, molte tecnologie chiave funzionano ancora bene o esclusivamente con la logica classica. In questo primo di un'opera in due volumi, elaboriamo il calcolo deduttivo classico con la logica classica. L'obiettivo del testo principale è quello di fornire al lettore un'elaborazione approfondita sia dell'informatica classica, ovvero dei linguaggi formali e della teoria degli automi, sia della deduzione classica con il calcolo classico dei predicati del primo ordine, in vista di implementazioni computazionali, in particolare nella dimostrazione automatica di teoremi e nella programmazione logica.

A complemento dell'esposizione matematica degli argomenti, offriamo al lettore un'ampia selezione di esercizi. Questa selezione mira non solo alla pratica del materiale discusso, ma anche ad approcci creativi ai problemi, sia per i contenuti discussi che per quelli nuovi, nonché alla ricerca di ulteriori argomenti rilevanti.

La presente terza edizione migliora le precedenti fornendo un approccio più algoritmico: C'è ora una sezione completamente nuova sugli algoritmi e ci sono in totale quattordici algoritmi chiaramente isolati e progettati in pseudo-codice. Altri miglioramenti sono, ad esempio, l'enfasi sulle funzioni nel Capitolo 1 e un maggior numero di esercizi con le macchine di Turing.