alle ore 12,30 presso la Sala Conferenze "F. Tricerri" del Dipartimento di Matematica e Informatica "U. DINI"
Il Dott. Kadib Alban Mohamed Rabii
(Università di Firenze)
terrà una conferenza dal titolo:
"la formalizzazione della geometria di Tarski"
Abstract:
Con lo sviluppo delle scienza che stiamo vivendo , dovremmo riformare la geometria tradizionale perché diventi più conveniente logicamente, scientificamente e didatticamente. Così, in questo seminario, daremo la luce alla geometria di Tarski formalizzata dentro il Coq (un programma informatico)