LOGICA E LIMITI DEI SISTEMI FORMALI/LS

LOGICA E LIMITI DEI SISTEMI FORMALI/LS

AF monodisc.
Scheda dell'insegnamento
Anno accademico
2015/2016
Anno accademico di espletamento
2015/2016
Tipologia di insegnamento
Affine/Integrativa
Afferenza
Settore disciplinare
LOGICA E FILOSOFIA DELLA SCIENZA (M-FIL/02)
Crediti
9
Anno di corso
1
Ciclo
Primo Semestre
Ore di attivita' frontale
72
Ore di studio individuale
135
Prerequisiti

indispensabile un corso di logica che includa sintassi e semantica della logica del prim'ordine