Libri di
Bibliografia di : tutti i libri in vendita online editi da La Scuola Sei con argomento Logica
Prossime uscite di
Libri previsti in uscita su Unilibro.it:
- 9791282494205 I sogni sono contagiosi
- 9791281704428 Difesa dell'Italia
- 9791280113146 Wrota Biblii. Materialy dla lepszego zrozumienia biblii: chronologie, mapy i grafiki dotycz?ce ka?dej ksi?gi
- 9791257230548 Voce del cuore, la
- 9791257230340 Sabbia e spuma. Testo inglese a fronte
- 9791223209790 The knave and the moon
- 9791223208083 The Ordeals
- 9788899208028 Datagate e web 2.0. Quando dire la verità è un reato
- 9788894422276 NissArte Artistic Vision. Ediz. illustrata
- 9788893511438 Freccia verde. Cacciatori arco lungo
Logica Galvan Sergio - La Scuola Sei, 2012 - Saggi
Il volume si articola in cinque capitoli. Il primo contiene una introduzione al linguaggio formale, che può essere oggetto a sé stante di un corso di avviamento alla logica. Nel capitolo si presenta una panoramica generale dei linguaggi formali, comprensiva anche dei linguaggi intensionali (modale deontico, epistemico e intenzionale) che non sono tema specifico di approfondimento tecnico nei capitoli successivi. Questo capitolo è principalmente rivolto agli studenti interessati all'utilizzo della logica nell'ambito filosofico. Il secondo e il terzo capitolo presentano la sintassi e la semantica del calcolo dei predicati del primo ordine. Nel terzo capitolo, dedicato alla semantica della logica dei predicati, sono dimostrati in dettaglio i teoremi di correttezza e di completezza secondo lo stile di Henkin. Il quarto capitolo introduce l'idea di teoria del primo ordine. Infine l'ultimo capitolo è dedicato ad un esame delle principali proprietà metateoriche delle teorie.