FORMAL SYSTEMS

FORMAL SYSTEMS

AF monodisc.
Scheda dell'insegnamento
Anno accademico
2016/2017
Anno accademico di espletamento
2016/2017
Tipologia di insegnamento
Affine/Integrativa
Settore disciplinare
LOGICA E FILOSOFIA DELLA SCIENZA (M-FIL/02)
Lingua
Inglese
Crediti
6
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
48
Ore di studio individuale
90
Prerequisiti

un corso che includa la logica del prim'ordine.