Abstract: 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).
Titolo e contributi: Eserciziario di logica : insiemi, metodi dimostrativi, logica proposizionale / Massimiliano Carrara ... [et al.]
Pubblicazione: Il Mulino, 2024
Descrizione fisica: vi, 214 p. ; 24 cm
EAN: 9788815389657
Data:2024
Lingua: Italiano (lingua del testo, colonna sonora, ecc.)
Paese: Italia
- Tipo di data: monografia edita in un solo anno
- Data di pubblicazione: 2024
- Target: adulti, generale
- Genere: saggi
Sono presenti 1 copie, di cui 0 in prestito.
| Biblioteca | Collocazione | Inventario | Stato | Prestabilità | Rientra |
|---|---|---|---|---|---|
| Olgiate Comasco | 500-549 Scienze naturali, scienze pure SC M 1343 | OC-111820 | Su scaffale | Disponibile |