2014
2014
Sei collegato come utente non registrato
Riepilogo dell'insegnamento: Logica
| Informazioni generali | |||
| Corso di Laurea | Informatica | Percorso | |
|---|---|---|---|
| CFU | 6 | Università | PADOVA |
| Ore di didattica frontale per CFU | 8 | Settore Scientifico Disciplinare | MAT/01 |
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
Linguaggio, segni e espressioni, simboli e proposizioni, asserzioni e dichiarazioni, metalinguaggio, livelli di riferimento, iterazione infinita. -
MAT/01 - Logica Matematica
Concetto di macchina o robot, significato dei connettivi e loro regole di deduzione, logica classica (cenni all'esistenza di altre logiche tra cui quella intuizionista), tavole di verità, funzioni proposizionali e sottoinsiemi, quantificatori e loro regole di deduzione. -
MAT/01 - Logica Matematica
Metodi di decisione per il calcolo dei sequenti proposizionale classico. -
MAT/01 - Logica Matematica
Definizioni e dimostrazioni per induzione, termini e formule, interpretazione delle formule, nozione di modello e contromodello, validità, soddisfacibilità e insoddisfacibilità di una formula. -
MAT/01 - Logica Matematica
Cenni ai teoremi di completezza e incompletezza (Goedel) e di indecidibilità (Church) e loro significato. -
MAT/01 - Logica Matematica
Analisi dettagliata di un esempio pratico: teoria assiomatica dell'aritmetica di Peano.
(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa
