Libri UniversitariApri il catalogo

Geometria Computazionale Simbolica – prof. Marco Maggesi

Matematica · Università degli Studi di Firenze · esame facoltativo · Applicativo · 9 CFU · canale unico

Libri del canale

Geometria Computazionale Simbolica 9 CFU

MMProf. Marco Maggesi Canale unico
John Harrison – Handbook of Practical Logic and Automated ReasoningIl prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026
Cerca su Amazon ›
Robert – Some new results on decidability for elementary…Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026
Cerca su Amazon ›
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.

Apri nel catalogo: Matematica, 1º anno, tutte le materie e i canali ›

Testi d'esame di Geometria Computazionale Simbolica del prof. Marco Maggesi, canale unico, corso di laurea in Matematica (Laurea magistrale (LM-40)), Università degli Studi di Firenze, esame facoltativo · Applicativo · 9 CFU, a.a. 2026/2027. Libri adottati: John Harrison – Handbook of Practical Logic and Automated Reasoning; Robert – Some new results on decidability for elementary….

Vedi anche: Prof. Marco Maggesi · Geometria Computazionale Simbolica a Firenze (tutti i canali)