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).
Eserciziario di logica. Insiemi, metodi dimostrativi, logica proposizionale
| Titolo | Eserciziario di logica. Insiemi, metodi dimostrativi, logica proposizionale |
| Autori | Massimiliano Carrara, Maria Emilia Maietti, Filippo Mancini, Samuele Maschio |
| Argomento | Scienze umane Filosofia |
| Collana | Manuali |
| Editore | Il Mulino |
| Formato |
Libro: Libro in brossura |
| Pagine | 216 |
| Pubblicazione | 09/2024 |
| ISBN | 9788815389657 |
Libri dello stesso autore
Introduzione alla metafisica contemporanea
Massimiliano Carrara, Ciro De Florio, Giorgio Lando, Vittorio Morato
Il Mulino
Sul dialeteismo. Lezioni padovane di Graham Priest ed altri saggi su l dialeteismo
Padova University Press
Eserciziario di logica
Filippo Mancini, Massimiliano Carrara, Andrea Strollo
Padova University Press