2009
2009
Sei collegato come utente non registrato
Riepilogo dell'insegnamento: Logica matematica
| Informazioni generali | |||
| Corso di Laurea | Informatica | Percorso | Percorso base per le lauree specialistiche |
|---|---|---|---|
| CFU | 6 | Università | UDINE |
| Ore di didattica frontale per CFU | 8 | Settore Scientifico Disciplinare | MAT/01 |
| Commento | |||
6 cfu così ripartiti nelle aree:
- 6 CFU nell'area MAT - Crediti di MATEMATICA
Sillabo dell'insegnamento
- MAT - Crediti di MATEMATICA
-
MAT/01 - Logica Matematica
Cenni alle Logiche non-classiche. -
MAT/01 - Logica Matematica
Giochi di Ehrenfeuch-Fraisse' per la logica al prim'ordine. -
MAT/01 - Logica Matematica
Clausole di Horn e SLD-refutazione. -
MAT/01 - Logica Matematica
L'algoritmo di Unificazione; Compattezza e Completezza per la logica al predicativa: il metodo di risoluzione. -
MAT/01 - Logica Matematica
Clausole di Horn e Prolog Proposizionale. -
MAT/01 - Logica Matematica
Compattezza e Completezza per la logica al proposizionale: il metodo di risoluzione.
(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali
