Buy:

book € 22,00

series "Manuali"

pp. 216, Brossura, 978-88-15-38965-7
publication year 2024

MASSIMILIANO CARRARA, MARIA EMILIA MAIETTI, FILIPPO MANCINI, SAMUELE MASCHIO

Introduzione

1 Teoria degli insiemi

1.1 Notazione insiemistica e operazioni su insiemi

1.2 Prodotto cartesiano e insieme potenza

1.3 Relazioni e funzioni

1.4 Cardinalità e numerali

2 Metodi dimostrativi

2.1 Dimostrazione contronominale

2.2 Dimostrazione per assurdo

2.3 Dimostrazione per casi

2.4 Induzione matematica

3 Logica proposizionale classica

3.1 Sintassi

3.2 Semantica

3.3 Tableaux (alberi di refutazione)

4 Calcolo proposizionale classico

4.1 Derivazioni di sequenze

4.2 Teoremi

4.3 Formule interderivabili

4.4 Teorie proposizionali

Bibliografia