Davide Rinaldi

Foto,  September 29, 2016
E-mail
davide|rinaldi*univr|it <== Replace | with . and * with @ to have the right email address.
Not present since
September 30, 2017
Note
 

Modules

Modules running in the period selected: 3.
Click on the module to see the timetable and course details.

Course Name Total credits Online Teacher credits Modules offered by this teacher
Bachelor's degree in Applied Mathematics Linear Algebra and Elements of Geometry (2016/2017)   12  eLearning ELEMENTI DI GEOMETRIA
ALGEBRA LINEARE (Teoria (seconda parte))
ALGEBRA LINEARE (Esercitazioni)

 

Research groups

Logica
Logica in matematica ed informatica.
Skills
Topic Description Research area
Hilbert's Programme for Abstract Mathematics Extracting the computational content of classical proofs in conceptual mathematics. Particular attention is paid to invocations of logical completeness in mathematical form, typically as variants of Zorn's Lemma. Matematica discreta e computazionale
Mathematical logic and foundations - -
Proof theory and constructive mathematics Proof theory at large studies mathematical proofs, which thus become themselves objects of mathematics. In a nutshell, the goal is to understand "what can be proved with what" and to gain computational information from proofs. Constructive mathematics aims at direct proofs from which one can read off algorithms; any such algorithm comes with a certificate of correctness for free, which just is the original proof. Matematica discreta e computazionale
Mathematical logic and foundations - -