Davide Rinaldi

Foto,  29 settembre 2016
E-mail
davide|rinaldi*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.
Non presente dal
30 settembre 2017
Note
 

Insegnamenti

Insegnamenti attivi nel periodo selezionato: 3.
Clicca sull'insegnamento per vedere orari e dettagli del corso.

Corso Nome Crediti totali Online Crediti del docente Moduli svolti da questo docente
Laurea in Matematica Applicata Algebra lineare con elementi di geometria (2016/2017)   12  eLearning ELEMENTI DI GEOMETRIA
ALGEBRA LINEARE (Teoria (seconda parte))
ALGEBRA LINEARE (Esercitazioni)

 

Gruppi di ricerca

Logica
Logica in matematica ed informatica.
Competenze
Argomento Descrizione Area di ricerca
Il programma di Hilbert per la matematica astratta Estrarre il contenuto computazionale dalle dimostrazioni classiche nella matematica concettuale. Sotto particolare considerazione sono le istanze matematiche della completezza logica che tipicamente appaiono come varianti del lemma di Zorn. Matematica discreta e computazionale
Mathematical logic and foundations - -
Teoria della dimostrazione e matematica costruttiva La teoria della dimostrazione si occupa delle dimostrazione matematiche, che in tal modo diventano oggetti della matematica. L'obiettivo è capire “cosa si può dimostrare con cosa” e ottenere informazione computazionale dalle dimostrazioni. La matematica costruttiva mira a dimostrazioni dirette da cui si possono estrarre algoritmi; ogni tale algoritmo viene fuori con un certificato di correttezza gratuito, che è la dimostrazione originale. Matematica discreta e computazionale
Mathematical logic and foundations - -




Organizzazione

Strutture del dipartimento