Dettaglio del documento
- Rimuovi dalla lista
- Aggiungi alla lista
-
Il permalink è stato copiato, puoi utilizzarlo immediatamente.
E’ sufficiente premere i tasti “Ctrl+v” per posizionarlo dove preferite.
Secondo eserciziario di logica : sillogistica, logica del primo ordine e modelli
Abstract
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. (Fonte: editore).
- Lo trovi in
- Scheda
- Unimarc
| Testo a stampa (moderno) | ||
| Monografia | ||
| Codice SBN | PUV1599049 | |
| Descrizione | *Secondo eserciziario di logica : sillogistica, logica del primo ordine e modelli / Massimiliano Carrara ... [et al.] Bologna : Il Mulino, 2026 VI, 302 p. ; 24 cm |
|
| ISBN | 9788815393470 | |
| Collana | Manuali. Filosofia | |
| Autore |
|
|
Note e bibliografia |
||
| Soggetti | LOGICA - Esercizi | |
| Dewey | 160 LOGICA | |
| Luogo pubblicazione | Bologna | |
| Editori | Il Mulino <casa editrice> | |
Note e bibliografia |
||
| Anno pubblicazione | 2026 | |
| Titolo dell'opera | Secondo eserciziario di logica |