20410451-2 - LM410 -TEOREMI SULLA LOGICA 1 - MODULO B

Acquisire buona conoscenza dei principi della logica classica del primo ordine e del calcolo dei sequenti per essa, nonch‚ dei principali risultati che la concernono.

TORTORA DE FALCO LORENZO

scheda docente | materiale didattico

Mutuazione: 20410451-2 LM410 -TEOREMI SULLA LOGICA 1 - MODULO B in Matematica LM-40 TORTORA DE FALCO LORENZO

Programma

Dimostrazione del teorema di compattezza per linguaggi di cardinalità qualsiasi. Linguaggi con uguaglianza. Il teorema di compattezza per i linguaggi con uguaglianza. Correttezza e completezza per i linguaggi con uguaglianza. Il teorema di L"owenheim-Skolem per i linguaggi con uguaglianza (numerabili). Limiti espressivi del linguaggio del primo ordine. Equivalenza elementare, sottostrutture, sottostrutture elementari. Isomorfismo ed equivalenza elementare. La nozione di sottostruttura. Sottostrutture elementari e diagrammi. I teoremi di preservazione. Generalizzazioni del teorema di L"owenheim-Skolem. Completezza di una teoria.

Testi Adottati

V. Michele Abrusci e Lorenzo Tortora de Falco, Logica. Vol. 1 Dimostrazioni e modelli al primo ordine, Springer, 2014

Modalità Erogazione

Il corso prevede Didattica frontale; Discussioni con gli studenti e dibattiti sugli argomenti trattati; Esercitazioni; La frequenza non è obbligatoria ma è vivamente raccomandata. Nel caso di un prolungamento dell’emergenza sanitaria da COVID-19 verranno valutate le modalità di svolgimento delle attività didattiche. Si cercherà di limitare l’inevitabile danno agli studenti dovuto ad un’eventuale necessità di tenere il corso a distanza preservando, per quanto possibile, l’interattività durante le lezioni. E' previsto lo streaming sincrono delle lezioni senza registrazione delle lezioni svolte in aula.

Modalità Valutazione

Esame scritto e/o orale, di durata variabile, in media tra 30 e 45 minuti. Nel caso di un prolungamento dell’emergenza sanitaria da COVID-19 verranno valutate le modalità di svolgimento degli esami. Si cercherà di limitare l’inevitabile danno agli studenti dovuto ad un’eventuale necessità di tenere gli esami a distanza.

TORTORA DE FALCO LORENZO

scheda docente | materiale didattico

Mutuazione: 20410451-2 LM410 -TEOREMI SULLA LOGICA 1 - MODULO B in Matematica LM-40 TORTORA DE FALCO LORENZO

Programma

Dimostrazione del teorema di compattezza per linguaggi di cardinalità qualsiasi. Linguaggi con uguaglianza. Il teorema di compattezza per i linguaggi con uguaglianza. Correttezza e completezza per i linguaggi con uguaglianza. Il teorema di L"owenheim-Skolem per i linguaggi con uguaglianza (numerabili). Limiti espressivi del linguaggio del primo ordine. Equivalenza elementare, sottostrutture, sottostrutture elementari. Isomorfismo ed equivalenza elementare. La nozione di sottostruttura. Sottostrutture elementari e diagrammi. I teoremi di preservazione. Generalizzazioni del teorema di L"owenheim-Skolem. Completezza di una teoria.

Testi Adottati

V. Michele Abrusci e Lorenzo Tortora de Falco, Logica. Vol. 1 Dimostrazioni e modelli al primo ordine, Springer, 2014

Modalità Erogazione

Il corso prevede Didattica frontale; Discussioni con gli studenti e dibattiti sugli argomenti trattati; Esercitazioni; La frequenza non è obbligatoria ma è vivamente raccomandata. Nel caso di un prolungamento dell’emergenza sanitaria da COVID-19 verranno valutate le modalità di svolgimento delle attività didattiche. Si cercherà di limitare l’inevitabile danno agli studenti dovuto ad un’eventuale necessità di tenere il corso a distanza preservando, per quanto possibile, l’interattività durante le lezioni. E' previsto lo streaming sincrono delle lezioni senza registrazione delle lezioni svolte in aula.

Modalità Valutazione

Esame scritto e/o orale, di durata variabile, in media tra 30 e 45 minuti. Nel caso di un prolungamento dell’emergenza sanitaria da COVID-19 verranno valutate le modalità di svolgimento degli esami. Si cercherà di limitare l’inevitabile danno agli studenti dovuto ad un’eventuale necessità di tenere gli esami a distanza.

TORTORA DE FALCO LORENZO

scheda docente | materiale didattico

Mutuazione: 20410451-2 LM410 -TEOREMI SULLA LOGICA 1 - MODULO B in Matematica LM-40 TORTORA DE FALCO LORENZO

Programma

Dimostrazione del teorema di compattezza per linguaggi di cardinalità qualsiasi. Linguaggi con uguaglianza. Il teorema di compattezza per i linguaggi con uguaglianza. Correttezza e completezza per i linguaggi con uguaglianza. Il teorema di L"owenheim-Skolem per i linguaggi con uguaglianza (numerabili). Limiti espressivi del linguaggio del primo ordine. Equivalenza elementare, sottostrutture, sottostrutture elementari. Isomorfismo ed equivalenza elementare. La nozione di sottostruttura. Sottostrutture elementari e diagrammi. I teoremi di preservazione. Generalizzazioni del teorema di L"owenheim-Skolem. Completezza di una teoria.

Testi Adottati

V. Michele Abrusci e Lorenzo Tortora de Falco, Logica. Vol. 1 Dimostrazioni e modelli al primo ordine, Springer, 2014

Modalità Erogazione

Il corso prevede Didattica frontale; Discussioni con gli studenti e dibattiti sugli argomenti trattati; Esercitazioni; La frequenza non è obbligatoria ma è vivamente raccomandata. Nel caso di un prolungamento dell’emergenza sanitaria da COVID-19 verranno valutate le modalità di svolgimento delle attività didattiche. Si cercherà di limitare l’inevitabile danno agli studenti dovuto ad un’eventuale necessità di tenere il corso a distanza preservando, per quanto possibile, l’interattività durante le lezioni. E' previsto lo streaming sincrono delle lezioni senza registrazione delle lezioni svolte in aula.

Modalità Valutazione

Esame scritto e/o orale, di durata variabile, in media tra 30 e 45 minuti. Nel caso di un prolungamento dell’emergenza sanitaria da COVID-19 verranno valutate le modalità di svolgimento degli esami. Si cercherà di limitare l’inevitabile danno agli studenti dovuto ad un’eventuale necessità di tenere gli esami a distanza.