Ruggero Ferro
The contents of this page are the responsibility of the person: Ruggero Ferro
In caso di assenza rivolgersi alla struttura:
Department of Computer Science
- Qualification
- Adjunct Professors
- Disciplinary sector
- MAT/01 - Mathematical Logic
- Office
- Ca' Vignal 2, Floor 1, Room 77
- Telephone
- 045 802 7909
- Fax
- +39 045 8027068
- ruggero
ferro
univr
it
- Personal web page
- http://profs.sci.univr.it/~ferro
- Chairperson
-
-
Consiglio del Corso di Laurea Magistrale in Matematica
-
Consiglio del Corso di Laurea Magistrale in Matematica
| Topic | Description | Research area |
|---|---|---|
| Philosophical aspects of logic and foundations | Several results in mathematical logic point out and explain the limitations, possibilities and advantages of formalization (the use of formal languages). An increasing precision in determining of the role of formal languages is basic to a critical attitude in philosophy of mathematics, spotting untenable positions and supporting others. An empiricist point of view is being developed that overcomes the vagueness and difficulties of know presentations. This type of research has developed, and will continue to support, competences on the following themes: Mathematical logic; Understanding, acquiring, and constructing basic mathematical notion, in particular the primitive ones; The role of logic in the construction and acquisition of mathematical notions; The role of the language in mathematics; The role of formalism in mathematics; Mathematics teacher’s initial and life long education; Mathematical motivations for the teaching of mathematics. |
Discrete and computational mathematics
Mathematical logic and foundations - - |
| Title | Starting date |
|---|---|
| Alcuni problemi di matematica pura ed applicata | 1/1/05 |
| Formazione Universitaria Italo-Argentina degli insegnati delle scuole secondarie | 5/11/04 |
| Alcuni problemi di matematica pura ed applicata (continuazione, anno 2004) | 1/1/04 |
| Department/Faculty | Name | Total credits | Online | Teacher credits | Modules offered by this teacher |
|---|---|---|---|---|---|
| Department Computer Science | Foundations of mathematics I (2012/2013) | 6 |
|
6 | |
| Department Computer Science | Advanced course in foundations of mathematics (2012/2013) | 6 |
|
6 | |
| Department Computer Science | Fondamenti della matematica (2012/2013) | 6 | 6 | ||
| Department Computer Science | Mathematical logic (2012/2013) | 6 |
|
7 | |
| Department Computer Science | Non standard analysis (seminar course) (2012/2013) | 6 | 1 | ||
| Department Computer Science | Foundations of mathematics I (2011/2012) | 6 |
|
6 | |
| Department Computer Science | Mathematical logic (LM) (2011/2012) | 6 | 6 | ||
| Department Computer Science | Analisi non standard (2011/2012) | 6 | 1 | ||
| Department Computer Science | Fondamenti della matematica (2011/2012) | 6 | 6 |
