2012
2012
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 |
| 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
Definizione di termini, formule, interpretazione e teorema di validita', per LJ e per LK. -
MAT/01 - Logica Matematica
Definizioni per induzione. -
MAT/01 - Logica Matematica
Esempi di uso dell'apparato deduttivo della logica: data-base per l'anagrafe, strutture d'ordine, strutture algebriche. -
MAT/01 - Logica Matematica
Il calcolo dei sequenti LJ e LK. -
MAT/01 - Logica Matematica
Analisi del linguaggio: segni, simboli, espressioni, proposizioni, asserzioni. Linguaggio e metalinguaggio. -
MAT/01 - Logica Matematica
Le regole di inferenza per le costanti logiche tramite il principio di riflessione. Due concezioni di verita': costruttiva e classica; tavole di verita'.
(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali
