Libro acquistabile con carte di credito e carte prepagate Postepay.

 

Libro acquistabile con Carta Docente.

 

Libro acquistabile con Carta Cultura Giovani e Carta del Merito.

 

Libro acquistabile in tre rate mensili Klarna.

 

Il costo del libro sarà addebitato solo all’avvio della consegna.

 

Scegli il punto di ritiro dei libri più comodo.

Eserciziario di logica. Insiemi, metodi dimostrativi, logica proposizionale

Riferimento: 9788815389657

Editore: Il Mulino
Autore: Carrara Massimiliano, Maietti Maria Emilia, Mancini Filippo, Maschio Samuele
Collana: Manuali
Pagine: 216
Formato: Libro in brossura
Data pubblicazione: 27 Settembre 2024
EAN: 9788815389657
Non disponibile - Contattaci
22,00 €
IVA inclusa
Quantità

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