COMPLEMENTI DI LOGICA

COMPLEMENTI DI LOGICA

AF monodisc.
Scheda dell'insegnamento
Anno accademico
2014/2015
Anno accademico di espletamento
2014/2015
Tipologia di insegnamento
Caratterizzante
Afferenza
Settore disciplinare
LOGICA MATEMATICA (MAT/01)
Crediti
9
Anno di corso
1
Docenti*
MONTAGNA FRANCO
*Nominativo proposto dal Comitato per la didattica, salvo ratifica del Consiglio di Dipartimento
Ciclo
Primo Semestre
Ore di attivita' frontale
72
Ore di studio individuale
135
Prerequisiti

Sono richieste nozioni di base di Logica Matematica, come: elementi di teoria ingenua degli insiemi, semantica per la logica classica del primo ordine, conoscenza di almeno un sistema di dimostrazione per tale logica, teoremi di completezza e di compattezza. Sarebbe opportuna una conoscenza di alcuni elementi di algebra di base.