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).
Prezzo: € 22,00
Titolo: Eserciziario di logica
Autore:
Massimiliano Carrara,
Filippo Mancini,
Maria Emilia Maietti
Editore: Il Mulino
Data di Pubblicazione: 2024
Pagine: 216
Formato: copertina-morbida
ISBN: 9788815389657