FORMAL SYSTEMS

FORMAL SYSTEMS

AF monodisc.
Scheda dell'insegnamento
Anno accademico
2017/2018
Anno accademico di espletamento
2018/2019
Tipologia di insegnamento
Affine/Integrativa
Settore disciplinare
LOGICA E FILOSOFIA DELLA SCIENZA (M-FIL/02)
Lingua
Inglese
Crediti
6
Anno di corso
2
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 istituzionale comprendente gli aspetti rilevanti della logica del prim'ordine.