Geometria Computazionale Simbolica – Firenze

Università degli Studi di Firenze · Matematica e Informatica 'Ulisse Dini' · tutti i canali con docenti e libri, a.a. 2026/2027

Prof. Marco Maggesi Canale unico

Corso di laurea: Matematica · Laurea magistrale (LM-40) · esame facoltativo · Applicativo · 9 CFU

Firenze · Matematica e Informatica 'Ulisse Dini' · 9 CFU · apri nel catalogo · Matematica · 1º anno · 1º semestre ›

Il docente indica 2 testi · da studiare tutti

John Harrison – Handbook of Practical Logic and Automated Reasoning Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026

Robert – Some new results on decidability for elementary…Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026

Bacheca del docente: cosa indica di studiare

Argomenti del programma: Dimostrazione interattiva applicata alla geometria e all'algebra. Introduzione alla Logica di Ordine Superiore. Introduzione all'uso del sistema di dimostrazione interattiva HOL. Procedure di decisione in Geometria e in Algebra. Alcuni esempi di formalizzazione nel sistema HOL in algebra e geometria.

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.