TEORIA DELLA COMPUTABILITA'

TEORIA DELLA COMPUTABILITA'

AF monodisc.
Scheda dell'insegnamento
Anno accademico
2014/2015
Anno accademico di espletamento
2014/2015
Tipologia di insegnamento
Affine/Integrativa
Afferenza
Settore disciplinare
LOGICA MATEMATICA (MAT/01)
Crediti
9
Anno di corso
1
Docenti*
*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

Nozioni di base di matematica e di logica.