FIRST ORDER LOGIC

FIRST ORDER LOGIC

AF monodisc.
Scheda dell'insegnamento
Anno accademico
2019/2020
Anno accademico di espletamento
2020/2021
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
36
Ore di studio individuale
114
Prerequisiti

È richiesta la conoscenza preliminare della logica proposizionale classica.