Il Mulino Libri
Libri editi da Il Mulino pubblicati nella collana Manuali di Genere Logica
Prossime uscite della collana Manuali
Libri previsti in uscita su Unilibro.it:
- 9791280540669 Il parto è nostro
- 9791256083718 Medieval history: an introduction
- 9788886350464 Come girare in digitale
- 9788875276751 Il librogioco come strumento didattico
- 9788875276737 Anatomia della trama
- 9788875276713 Pronunciare bene. Una raccolta di testi appositamente creati per esercitare la pronuncia. Nuova ediz.
- 9788875276690 Scrivere fumetti e graphic novel. Nuova ediz.
- 9788875276652 Il sistema Stanislavskij come cassetta degli attrezzi. Nuova ediz.
- 9788875276591 Per una storia della fotografia cinematografica
- 9788875276577 Slay the dragon
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.