II volume presenta un corso iniziale di logica che è rivolto agli studenti universitari e a tutti coloro che desiderano leggere un'introduzione alla logica, senza particolari prerequisiti. Questo corso di logica - frutto di una lunga esperienza didattica nei corsi di laurea di Filosofia e di Scienze della Comunicazione - è strutturato in lezioni di primo livello su: i principali temi della logica, le proposizioni, le dimostrazioni, i connettivi, i quantificatori, entro la logica classica, i principali teoremi sulla logica (in primo luogo, il teorema di incompletezza di Gödel), la concezione delle classi e degli insiemi, e le operazioni sugli insiemi, in logica classica; i metodi e i risultati della logica che hanno influenzato la nascita dell'informatica (in particolare, la Macchina di Turing), l'assiomatizzazione e la formalizzazione della logica del primo ordine.
Logica. Lezioni di primo livello
| Titolo | Logica. Lezioni di primo livello |
| Autore | Vito Michele Abrusci |
| Argomento | Matematica e scienze Matematica |
| Editore | CEDAM |
| Formato |
Libro: Libro in brossura |
| Pagine | XIII-270 |
| Pubblicazione | 09/2016 |
| Numero edizione | 3 |
| ISBN | 9788813358679 |
Libri dello stesso autore
Chi ha cercato questo ha cercato anche...
Quanto è reale la matematica? Come domande semplici conducono a verità profonde
Eugenia Cheng
Franco Angeli
novità
La matematica con Ale. Il magico mondo dei numeri, in compagnia di Matematicale
Alessandra Vaghi
Mondadori Electa
Matematica per le applicazioni economiche e finanziarie. Temi ed esercizi per l'autovalutazione
Mariacristina Uberti
Giappichelli
A piccole dosi. Contro la crisi di astinenza dalla matematica
Piergiorgio Odifreddi
Raffaello Cortina Editore
Matematici segreti. Storia inaspettata della matematica e dei suoi pionieri sconosciuti
Kate Kitagawa, Timothy Revell
Aboca Edizioni
I numeri non ingannano (quasi) mai. Storie matematiche che lasciano a bocca aperta
Vincenzo Mauro
Longanesi
Algebra lineare e geometria analitica. Volume Vol. 1
Elsa Abbena, Anna M. Fino, G. Mario Gianella
Aracne
I numeri e la nascita delle civiltà. Un'invenzione che ha cambiato il corso della storia
Caleb Everett
Franco Angeli