Libri UniversitariApri il catalogo

Robert – Some new results on decidability for elementary…

Libro adottato a Firenze, a.a. 2026/2027 · 1 canale

«Robert – Some new results on decidability for elementary…» è adottato per Geometria Computazionale Simbolica dal prof. Marco Maggesi (Matematica – Firenze).

Robert – Some new results on decidability for elementary…Cerca su Amazon ›

Come lo indica il docente: Robert M. Solovay, R. D. Arthan, John Harrison, "Some new results on decidability for elementary algebra and geometry" (arXiv 2009)

Chi lo adotta

Programma e testi di ogni canale

Geometria Computazionale Simbolica – 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 ›

John Harrison – Handbook of Practical Logic and Automated ReasoningCerca 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…questo libroCerca 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.

Si studia insieme a