Un primo corso di logica

Recensioni dei lettori

Attualmente non ci sono recensioni dei lettori. La valutazione si basa su 5 voti.

Titolo originale:

A First Course in Logic

Contenuto del libro:

Un primo corso di logica" è un'introduzione alla logica del primo ordine adatta a matematici e informatici del primo e del secondo anno. Il corso si articola in tre parti: logica proposizionale, algebre booleane e logica dei predicati/primo ordine.

La logica è la base delle prove in matematica - come facciamo a sapere che ciò che diciamo è vero? -- e anche dell'informatica: come faccio a sapere che questo programma farà quello che penso? Sorprendentemente non è necessaria molta matematica per imparare e capire la logica (questo corso non prevede alcun calcolo).

Il vero prerequisito matematico è la capacità di manipolare simboli: in altre parole, l'algebra di base. Chiunque sia in grado di scrivere programmi dovrebbe avere questa capacità.