Programmi

 
Seleziona l'Anno Accademico:    2012/20132013/20142014/20152015/20162016/20172017/2018

LF/0151 - LOGICA

Anno Accademico 2017/2018

Docente
ANTONIO LEDDA (Tit.)
Periodo
Primo Semestre 
Modalità d'Erogazione
Convenzionale, Teledidattica 
Lingua Insegnamento
 



Informazioni aggiuntive

CorsoPercorsoCFUDurata(h)
[20/46]  FILOSOFIA E TEORIE DELLA COMUNICAZIONE [46/10 - Ord. 2017]  STORICO-FILOSOFICO1260
[20/46]  FILOSOFIA E TEORIE DELLA COMUNICAZIONE [46/20 - Ord. 2017]  TEORIE DELLA COMUNICAZIONE1260
Obiettivi

Il corso si propone di fornire allo studente gli strumenti di base della logica elementare.
In particolare, approfondiremo la nozione di sistema deduttivo, sia per la logica proposizionale sia del prim’ordine, così da rafforzare e ampliare quanto eventualmente appreso in un primo corso di logica proposizionale.
Inoltre, ci concentreremo sul concetto di calcolo logico, per discuterne, anche, adeguatezza e completezza.

Prerequisiti

È auspicabile la presenza negli studenti di adeguate competenze matematiche, del livello previsto in uscita da qualunque tipologia di scuola secondaria superiore, unitamente a nozioni di base di logica proposizionale.

Contenuti

• Nozioni di base
• Tableaux analitici per la logica proposizionale
• Consistenza e Completezza del sistema dei tableaux
• Il Teorema di Compattezza per la logica proposizionale
• Consistenza e massimalità
• La logica del prim’ordine
• Nozioni fondamentali
• Tableaux analitici al prim’ordine
• Consistenza e Completezza del sistema dei tableaux del prim’ordine
• Il Teorema di Completezza per i tableaux del prim’ordine
• I Teoremi di Löwenheim-Skolem e di Compattezza

Metodi Didattici

- lezione frontale in aula,
- esercitazioni,
- seminari

Verifica dell'apprendimento

La valutazione viene articolata in due prove scritte ed una eventuale prova orale. Se l’esito medio delle due prove scritte è maggiore o eguale a 18 la prova orale è facoltativa. In tale caso, lo studente ha facoltà di scegliere come voto d’esame il voto medio delle due prove scritte.

Testi

Dispense dedicate.

Altre Informazioni

Eventuali informazioni aggiuntive saranno consultabili sul sito del docente.

credits unica.it | accessibilità Università degli Studi di Cagliari
C.F.: 80019600925 - P.I.: 00443370929
note legali | privacy

Nascondi la toolbar