Tempo di lettura stimato:
7h 12m
Editore: Il Mulino
Anno: 2024
Lingua: Italiano
Rilegatura: Brossura
Pagine: 216 Pagine
Isbn 13: 9788815389657
Trama
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).
Altre edizioni
Altri libri dello stesso autore
Autori che ti potrebbero interessare