Andrea Asperti Agata Ciabattoni - Logica a Informatica (2008) - ITA
COVER 1997 ED.
Genere: Informatica | Lingua: Italiano | Editore: McGraw-Hill. | Collana: Istruzione scientifica
Anno: 2008 ed.ITA 2008 digi Ed. | Formato: Pdf 212 Pagine | Dimensioni: 933 KB
Descrizione:
1) Logica proposizionale, 2) Sistemi Deduttivi, 3) Correttezza e Completezza,
4) Logica dei predicati, 5) Il Calcolo del Primo Ordine, 6) Metodo di Risoluzione,
Il titolo di questo libro richiede una spiegazione: non si vuole soltanto sottolineare la destinazione del testo
(i corsi di Logica matematica nelle facoltà di Informatica), ma soprattutto metterne in evidenza la particolare
impostazione, che lo distingue dai numerosi manuali di logica matematica disponibili sul mercato italiano.
Il volume, infatti, affronta l’insegnamento della logica tenendo sempre presenti gli strettissimi rapporti di
questa disciplina con l'informatica; pur presentando argomenti tradizionali della logica matematica classica, il
testo è arricchito da costanti riferimenti ai principali temi di contatto tra logica e informatica.
