Logica - Introduzione alla logica

Periodo di svolgimento
Ore del corso
40
Ore dei docenti responsabili
40
Ore di didattica integrativa
0
‌‌

Modalità esame

Prova orale

Docente

Vedi dettagli del docente

Prerequisiti

Nessun prerequisito. Il corso si consiglia agli allievi dei primi anni.

Programma

Il corso si propone d'introdurreanche in chiave filosofica, i concetti e i metodi fondamentali della logica contemporanea, nonché i suoi principali risultati sintattici e semantici. Nessuna conoscenza previa di logica è richiesta da parte dell’allievo.

Obiettivi formativi

Far aquisire allo studente nozioni di base di logica ed elementari tecniche dimostrative.

Riferimenti bibliografici

Dispense.
Testi indicati a lezione.