INTRODUZIONE ALLA LOGICA E AL LINGUAGGIO MATEMATICO
Parte A-Introduzione alla matematica di base
1. Insiemi e operazioni su di essi
2. Relazioni e loro proprietà
3. Funzioni
4. Cardinalità
5. Numeri naturali
6. Algebre di Boole
Parte B- Introduzione alla logica matematica
7. La formalizzazione matematica
8. Calcolo degli enunciate
9. Calcolo dei predicati
10. Procedimenti di risoluzione
11. Prospettive e approfondimenti
Bibliografia
Indice Analitico
Lo scopo di questo breve volume è guidare lo studente che si accinge a intraprendere un curriculum di studi scientifico nell’acquisire il linguaggio e il rigore di ragionamento matematico, indispensabili a chi voglia occuparsi e dedicarsi a una scienza.
Il volume quindi non vuole presentarsi come un manuale ma come un invito a capire perché le cose debbano essere fatte in un certo modo se si vuole che abbiano un certo valore scientifico. Nella trattazione si evitano quindi definizioni complesse e alcune dimostrazioni di teoremi preferendo spiegare il motivo e la ragionevolezza di certe scelte, ricorrendo spesso a controesempi e, talvolta, a considerazioni di "buon senso".
Altro grande pregio della presente opera è l’enorme corredo di esercizi, svolti e non svolti, di diversi gradi di difficoltà.
Essi costituiscono uno strumento indispensabile per lo studente che, attraverso tentativi ed errori, voglia appropriarsi del linguaggio e del metodo matematico.