Ruggero Ferro

Foto,  February 18, 2016
Position
Research Assistants
Telephone
045 802 7909
Fax
+39 045 8027068
E-mail
ruggero|ferro*univr|it <== Replace | with . and * with @ to have the right email address.
Personal web page
http://profs.sci.univr.it/~ferro

Insegnamenti

Risultano 47 insegnamenti attivi nel periodo selezionato.
Clicca sull'insegnamento per vedere orari e dettagli del corso

Teachings in the last two academic years
Department/Faculty Name Total credits Online Teacher credits Modules offered by this teacher
Department Computer Science  Mathematical logic (2014/2015)   6  eLearning
Department Computer Science  Matematica e didattica della matematica (2014/2015)   8  eLearning MODULO A
Department Computer Science  Foundations of mathematics I (2013/2014)   6  eLearning
Department Computer Science  Matematica e didattica della matematica (2013/2014)   8  eLearning MODULO A
Department Humanities  Matematica per la formazione di base 2 (2013/2014)   9  eLearning Matematica per la formazione di base 2
Laboratorio
Department Computer Science  Advanced course in foundations of mathematics (2012/2013)   6  eLearning
Department Computer Science  Basis of mathematics (2012/2013)   6   
Department Computer Science  Foundations of mathematics I (2012/2013)   6  eLearning
Department Computer Science  Mathematical logic (2012/2013)   6  eLearning
Department Computer Science  Non standard analysis (seminar course) (2012/2013)   6   
Department Computer Science  Basis of mathematics (2011/2012)   6   
Department Computer Science  Foundations of mathematics I (2011/2012)   6  eLearning
Department Computer Science  Mathematical logic (LM) (2011/2012)   6   
Department Computer Science  Non standard analysis (2011/2012)   6   
Department Computer Science  Foundations of mathematics I (2010/2011)   6   
Department Computer Science  Logics and discrete mathematics (2010/2011)   6   
Department Computer Science  Mathematical logic (LM) (2010/2011)   6  eLearning
Department Computer Science  Non standard analysis (2010/2011)   6   
Department Computer Science  Advanced course in Foundations of Mathematics (2009/2010)   6   
Department Computer Science  Foundations of mathematics I (2009/2010)   6   
Department Computer Science  Mathematical logic (LM) (2009/2010)   6   
Department Computer Science  Basis of mathematics 1 (2008/2009)   4   
Department Computer Science  Basis of mathematics 2 (2008/2009)   4   
Department Computer Science  Logic (2008/2009)   5   
Department Computer Science  Basis of mathematics 1 (2007/2008)   4   
Department Computer Science  Basis of mathematics 2 (2007/2008)   4   
Department Computer Science  Logic (2007/2008)   5   
Department Computer Science  Basis of mathematics 1 (2006/2007)   4   
Department Computer Science  Basis of mathematics 2 (2006/2007)   4   
Department Computer Science  computational logic (2006/2007)   5    2.5 
Department Computer Science  Logic (2006/2007)   5   
Department Computer Science  Basis of mathematics 1 (2005/2006)   4   
Department Computer Science  Logic (2005/2006)   5   
Department Computer Science  Mathematical analysis (2005/2006)   6   
Department Computer Science  Basic Mathematics (2003/2004)   4     
Department Computer Science  Mathematical Logic (2003/2004)   5     
Department Computer Science  Basic Mathematics (2002/2003)   4     
Department Computer Science  Logic II (2002/2003)   5     
Department Computer Science  Mathematical Logic (2002/2003)   5     
Department Computer Science  Basic Mathematics (2001/2002)   4     
Department Computer Science  Mathematical Logic (2001/2002)   0     
Department Computer Science  Mathematical Logic (2001/2002)   6     
Department Computer Science  Basic Mathematics (2000/2001)   1     
Department Computer Science  Mathematical Logic (2000/2001)   1     
Department Computer Science  Mathematical Analysis I (1999/2000)   2     
Department Computer Science  Mathematical Logic (1999/2000)   1     

Gli insegnamenti degli anni accademici precedenti sono consultabili dal catalogo dell'offerta formativa, specificando Anno Accademico e Docente.


 

Research groups

Logica
Logica in matematica ed informatica.
Skills
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. Matematica discreta e computazionale
Mathematical logic and foundations - -
Projects
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



Chairperson
  • Comitato scientifico del Master Universitario in Aggiornamento in matematica dei docenti delle scuole secondarie (II livello)