Eserciziario di logica. Insiemi, metodi dimostrativi, logica proposizionale di Carrara Massimiliano; Mancini Filippo; Maietti Maria Emilia - Bookdealer | I tuoi librai a domicilio
Menu principale

Con ogni acquisto su Bookdealer sostieni una libreria indipendente del territorio.

Eserciziario di logica. Insiemi, metodi dimostrativi, logica proposizionale
Carrara Massimiliano , Mancini Filippo , Maietti Maria Emilia

Eserciziario di logica. Insiemi, metodi dimostrativi, logica proposizionale

Editore: Il Mulino

Reparto: Logica

ISBN: 9788815389657

Data di pubblicazione: 27/09/2024

Numero pagine: 216

Collana: Manuali


22,00€
Facile da trovare

Sinossi

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

Prodotti Correlati


Mostra altri

Recensioni dei lettori


5% di sconto sul tuo primo ordine

Registrati gratuitamente e ottieni subito un codice sconto per il tuo primo acquisto.