Logica. Lezioni di primo livello

di Vito Michele Abrusci, Abrusci Vito Michele | CEDAM 2016
A partire da

19,00 €

Attualmente non disponibile

Descrizione

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.

Dettagli

  • Autore:
  • Editore:
  • Collana:
  • Anno edizione:
  • Vito Michele Abrusci, Abrusci Vito Michele
  • CEDAM
  • -
  • 2016
  • In commercio dal:
  • Pagine:
  • Lingua:
  • EAN:
  • 1 settembre 2016
  • 283 p.
  • ITA
  • 9788813358679

Libri dello stesso autore

Ti potrebbe interessare anche

Librerie di Roma | Logica. Lezioni di primo livello