Eserciziario di logica. Insiemi, metodi dimostrativi, logica proposizionale
Prezzo
26,84 €
Tasse incluse
Carrara Massimiliano, Maietti Maria Emilia, Mancini Filippo, Maschio Samuele
Manuali
Libro in brossura
27 Settembre 2024
Nuovo
Descrizione
Questo eserciziario vuole essere un ausilio per gli studenti universitari alle prese con un corso base di logica. Consiste in una collezione di esercizi risolti su insiemi (notazione insiemistica e operazioni su insiemi, prodotto cartesiano e insieme potenza, relazioni e funzioni, cardinalità e numerali), metodi dimostrativi (dimostrazione contronominale, dimostrazione per assurdo, dimostrazione per casi, induzione matematica), logica e calcolo proposizionali (sintassi, semantica, tableaux, derivazioni di sequenze, teoremi, formule interderivabili e teorie proposizionali). Gli esercizi sono raccolti per argomenti introdotti da brevi rimandi alla teoria (pillole di teoria).
Dettagli del prodotto
9788815389657
Scheda dati
- Autore
- Carrara Massimiliano, Maietti Maria Emilia, Mancini Filippo, Maschio Samuele
- Collana
- Manuali
- Formato
- Libro in brossura
- Data pubblicazione
- 27 Settembre 2024
Riferimenti specifici
- isbn
- 9788815389657
- ean13
- 9788815389657
Nuovo
Leo Elements Font End
Panel Tool
Full Width
Boxed Large
Yes
No
Font Base
Font Heading
Font Slider
Font Senary
Font Septenary
Color Default