• Sei in:
  • Home
  • SettoreMAT01percorsi

LOGICA MATEMATICA

I percorsi di Logica Matematica si inseriscono nel curriculum Teorico. Questi  percorsi preparano ad una comprensione critica e profonda della Matematica e più in generale educano e sviluppano alla chiarezza intellettuale. Queste sono competenze apprezzate e spendibili in molti ambiti lavorativi, anche al di fuori dell'accademia, in particolare nel campo dell’Informatica.
Una parte della Logica Matematica (Teoria degli Insiemi e Teoria dei Modelli) si occupa del concetto di definibilità. Questa nozione appare implicitamente in moltissimi contesti, come Algebra, Geometria, Topologia e Analisi, e il suo studio sistematico porta in particolare ad applicazioni in tali ambiti. Un’altra parte della Logica si interessa invece degli aspetti metamatematici e ha applicazioni sia nell’Informatica che nella Filosofia della Matematica.
 
Proponiamo  due percorsi monotematici e un terzo orientato verso gli aspetti filosofici e storici della Logica Matematica: 
Si possono inoltre creare dei percorsi orientati verso l’Informatica Teorica. Gli studenti interessati si possono rivolgere al prof. Matteo Viale (matteo.viale@unito.it).

Le attività del gruppo di Logica Matematica di Torino sono consultabili alla pagina web: http://logicatorino.altervista.org

Ultimo aggiornamento: 21/09/2018 23:31

Il corso in breve

Dipartimenti di riferimento

Scuola di riferimento

Campusnet Unito

Location: https://matematicalm.campusnet.unito.it/robots.html
Non cliccare qui!