Introduzione all'informatica e al trattamento dell'informazione

Questo manuale presenta un'introduzione alla logica proposizionale e al ragionamento. L'obiettivo del volume è quello di fornire gli strumenti di base utili per affrontare la risoluzione di quesiti di logica e di interpretazione del testo. L'introduzione della logica nei programmi scolastici ed universitari è avvenuto in concomitanza con quello dell’informatica e delle abilità ad essa correlate. Lo studio della logica richiede infatti la comprensione di linguaggi formali che sono in sintonia con i linguaggi di programmazione utilizzati in informatica. Da un punto di vista storico, infatti, gli sviluppi teorici legati alla logica hanno preceduto quelli legati all'informatica e ne hanno costituito la cornice teorica di riferimento. Per questo motivo lo studio della logica è considerato uno strumento utile ad inquadrare ecomprendere la struttura e le funzionalità dei calcolatori. La logica è quindi di fondamentale importanza se si vuole accedere al mondo dell'informatica non come utenti passivi, ma con mentalità critica e voglia di capirne i risvolti concettuali e teorici.