Questo sito utilizza solo cookie tecnici, propri e di terze parti: continuando la navigazione ne accetti l'uso. Acconsento Vorrei maggiori informazioni

Naviga nel sito del Dipartimento:

Naviga nel sito della Didattica:

Dettagli sull'Insegnamento per l'A.A. 2017/2018

Le informazioni che state leggendo si riferiscono all'anno accademico 2017/2018. Per questo molti collegamenti non sono disponibili e i dati potrebbero essere incompleti. Per leggere le informazioni correnti sul corso, se ancora erogato, consulta il catalogo corsi di ateneo. Per consultare le informazioni relative ad altri anni accademici, usa la lista in fondo a questa pagina.

A. Accademico:

2017/2018

Nome:

Elementi di Logica / Introduction to Mathematical Logic

Tipo:

Corso singolo

Informazioni

Codice:

F1I054

SSD:

MAT/01

Crediti:

: Bachelor Degree in Computer Science 3 CFU (c)

Periodo:

2^nd semester

Erogazione:

Lingua:

Italiano

Docenti:

Mutua:

Elementi di Logica

Prerequisiti

Nessuno in particolare tranne una cultura di base

Obiettivi

Fornire agli studenti di Informatica il linguaggio e gli strumenti elementari della Logica Matematica e soprattutto il rigore matematico nel ragionamento e nell’applicazione

Sillabo

Logica proposizionale: Senso e denotazione, Connettivi, Sintassi, Induzione, Semantica, Teorema di compattezza, Equivalenza semantica, Completezza funzionale, Forme Normali, Dualità
Sistemi deduttivi: Proprietà intuitive dei sistemi deduttivi, La Deduzione Naturale, Sistemi Assiomatici , Formule e tipi. Altri Sistemi Assiomatici, Relazione tra ND e H. Il Calcolo dei Sequenti, Eliminazione del taglio, Invertibilità delle regole logiche
Correttezza e completezza. Deduzione Naturale. Sistema Assiomatico. Calcolo dei Sequenti

Testi di riferimento

A. Asperti e A. Ciabattoni, Logica a Informatica , McGraw-Hill. disponibile in formato elettronico

Aggiornamenti alla pagina del corso

Le informazioni sulle editioni passate di questo corso sono disponibili per i seguenti anni accademici:

Per leggere le informazioni correnti sul corso, se ancora erogato, consulta il catalogo corsi di ateneo.

Ultimo aggiornamento delle informazioni sul corso: 14 novembre 2013, 13:08

Il DISIM

Il DISIM svolge la sua attivà di formazione e ricerca nell'ambito della matematica pura e delle sue applicazioni e nell'ambito delle aree scientifiche e ingegneristiche che caratterizzano il mondo dell'ICT.

Link Rapidi

Come Raggiungerci

Via Vetoio, Coppito, 67100 L'Aquila

disim

sad

strutture.univaq

+39 0862 433002

+39 0862 433180 (fax)