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
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.