| CODE | 90705 |
|---|---|
| ACADEMIC YEAR | 2016/2017 |
| CREDITS |
7 credits during the 1st year of 9011 Mathematics (LM-40) GENOVA
7 credits during the 3nd year of 8760 Mathematics (L-35) GENOVA |
| SCIENTIFIC DISCIPLINARY SECTOR | MAT/01 |
| LANGUAGE | Italiano |
| TEACHING LOCATION | GENOVA (Mathematics) |
| SEMESTER | 2° Semester |
| TEACHING MATERIALS | AULAWEB |
Language: Italian
Teaching style: In presence
Logic for the mathematical practice. Formal theories and the deduction calculi.
Type theory. The problem of consistency. First order number theory. Recursive functions. The incompleteness theorems.
Hilbert tenth problem and its solution.
Course notes.
GIUSEPPE ROSOLINI (President)
MARCO BORGA
Teaching style: In presence
February 27, 2017
| Date | Time | Location | Type | Notes |
|---|---|---|---|---|
| 05/06/2017 | 09:00 | GENOVA | Orale | (P) prenotazione obbligatoria per e-mail |
| 29/06/2017 | 09:00 | GENOVA | Orale | (P) prenotazione obbligatoria per e-mail |
| 20/07/2017 | 09:00 | GENOVA | Orale | (P) prenotazione obbligatoria per e-mail |
| 04/09/2017 | 09:00 | GENOVA | Orale | (P) prenotazione obbligatoria per e-mail |
| 20/09/2017 | 09:00 | GENOVA | Orale | (P) prenotazione obbligatoria per e-mail |