2012
2012
Sei collegato come utente non registrato
Riepilogo dell'insegnamento: Fondamenti dell'Informatica
| Informazioni generali | |||
| Corso di Laurea | Informatica | Percorso | |
|---|---|---|---|
| CFU | 8 | Università | MILANO-BICOCCA |
| Ore di didattica frontale per CFU | 8 | Settore Scientifico Disciplinare | INF/01 |
8 cfu così ripartiti nelle aree:
- 8 CFU nell'area A - Fondamenti
Sillabo dell'insegnamento
- A - Fondamenti
-
L - Logica
Linguaggi predicativi -
L - Logica
Sistemi deduttivi proposizionali -
L - Logica
Linguaggio proposizionale -
L - Logica
Sistemi deduttivi predicativi -
V - Varie
Teoria degli insiemi -
V - Varie
Strutture relazionali, grafi e ordinamenti -
V - Varie
Algebra di Boole -
V - Varie
Introduzione all'induzione
(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali
