Logica

Logica

LEZIONI DI PRIMO LIVELLO

Autori: mostra di più mostra meno

Data di pubblicazione: 2018

Opzioni di acquisto
Scopri di più Prevendita Non disponibile Disponibile

Omaggio

Descrizione

Il 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;
  • alcune fra le principali relazioni della logica con le altre discipline.

Estratti

In questa sezione puoi consultare e scaricare alcuni estratti del prodotto

Dettagli

Data di pubblicazione

2018

Editore

Cedam

ISBN

9788813366087

Codice

00231453

Categoria

Libri

Carta

320 pagine

Dettagli

Data di pubblicazione

Editore

ISBN

Codice

Categoria

 

Periodicità

Edizione

Impossibile aggiungere il prodotto al carrello
Prodotto aggiunto al carrello