Il Mulino Libri
Libri editi da Il Mulino pubblicati nella collana Manuali Filosofia: logica
Prossime uscite della collana Manuali
Libri previsti in uscita su Unilibro.it:
- 9791280540669 Il parto è nostro
- 9791280013781 Pensare la plusdotazione. Verso un'epistemologia della differenza
- 9788886350464 Come girare in digitale
- 9788881248650 Football story. Musei e mostre del calcio nel mondo. Ediz. italiana e inglese
- 9788875276591 Per una storia della fotografia cinematografica
- 9788875276577 Slay the dragon
- 9788875276553 Master di scrittura creativa. Nuova ediz.
- 9788875276522 L'ABC del linguaggio cinematografico. Strutture, analisi e figure nella narrazione per immagini. Nuova ediz.
- 9788875276478 Scrivere per stare meglio. Nuova ediz.
- 9788866524168 Pittura su porcellana
Eserciziario di logica. Insiemi, metodi dimostrativi, logica proposizionale Carrara Massimiliano Maietti Maria Emilia Mancini Filippo - Il Mulino, 2024 - Manuali
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).
Secondo eserciziario di logica. Sillogistica, logica del primo ordine e modelli Carrara Massimiliano Mancini Filippo Maschio Samuele - Il Mulino, 2026 - Manuali
Questo secondo eserciziario completa il percorso avviato con il primo, pubblicato nel 2024. Raccoglie esercizi sulla sillogistica, sulla sintassi e sulla semantica della logica del primo ordine, sulle forme prenesse e sulla Skolemizzazione, nonché su modelli e validità. Un capitolo è dedicato alle dimostrazioni in deduzione naturale e mediante il calcolo dei sequenti. Il volume si conclude con un ampio capitolo dedicato ai puzzle logici - dai classici «cavalieri e furfanti» al test di Wason. Come nel primo eserciziario, anche in questo ogni capitolo è introdotto da brevi richiami teorici che orientano le lettrici e i lettori, accompagnandoli nella risoluzione degli esercizi.