Con ogni acquisto su Bookdealer sostieni una libreria indipendente del territorio.
Editore: Il Mulino
Reparto: Logica
ISBN: 9788815389657
Data di pubblicazione: 27/09/2024
Numero pagine: 216
Collana: Manuali
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).
Registrati gratuitamente e ottieni subito un codice sconto per il tuo primo acquisto.