Eserciziario di logica. Insiemi, metodi dimostrativi, logica proposizionale

Editore: Il Mulino
EAN: 9788815389657
Pagine: 216 p. , Libro in brossura
In commercio dal: 27 settembre 2024
Collana: Manuali
A partire da 22,00 €

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).

Prodotto non disponibile per l'acquisto
Ti potrebbe interessare anche