2012
2012
Sei collegato come utente non registrato
Riepilogo dell'insegnamento: Logica
| Informazioni generali | |||
| Corso di Laurea | Sicurezza Informatica [LM-66], sede di Crema | Percorso | Sistemi sicuri |
|---|---|---|---|
| CFU | 6 | Università | MILANO |
| Ore di didattica frontale per CFU | 8 | Settore Scientifico Disciplinare | INF/01 |
6 cfu così ripartiti nelle aree:
- 6 CFU nell'area A - Fondamenti
Sillabo dell'insegnamento
- A - Fondamenti
-
L - Logica
Logica linguistica, filosofica e matematica -
L - Logica
Sintassi e semantica della logica proposizionale -
L - Logica
Sintassi e semantica della logica dei predicati -
L - Logica
Metodi di risoluzione proposizionale e predicativa -
L - Logica
Sintassi e semantica della logica fuzzy: cenni -
L - Logica
Verifica formale di programmi
(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali
