Prof. Marco Maggesi

Università degli Studi di Firenze · Lettere e Filosofia · libri consigliati e cosa studiare, a.a. 2026/2027

Libri adottati dal prof. Marco Maggesi

John Harrison – Handbook of Practical Logic and Automated Reasoning – Geometria Computazionale Simbolica (Matematica, esame facoltativo · Applicativo · 9 CFU)
Robert – Some new results on decidability for elementary… – Geometria Computazionale Simbolica (Matematica, esame facoltativo · Applicativo · 9 CFU)

Materie del prof. Marco Maggesi

Logica Applicata Canale unico

Corso di laurea: Logica, Filosofia delle Scienze e Metodi della Ricerca · Laurea magistrale (LM-78) · esame facoltativo · 6 CFU

Firenze · Lettere e Filosofia · 6 CFU · apri nel catalogo

Il docente non ha ancora pubblicato i testi per questo canale.

Bacheca del docente: cosa indica di studiare

Appunti e dispense forniti dal docente.

Argomenti del programma: Linguaggi elementari e modelli. Modellizzazione logica di problemi computazionali. Problemi SAT. Ricerca, conflitto e apprendimento. Soddisfacibilità modulo teorie. Uso di software SAT/SMT-solver. Eliminazione dei quantificatori. Quantificatori in contesti aritmetici.

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

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

Geometria Computazionale Simbolica 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.

Logica per L'Intelligenza Artificiale Canale unico

Corso di laurea: Data Science, Calcolo Scientifico & Intelligenza Artificiale · Laurea magistrale (LM Data) · esame facoltativo · 6 CFU

Firenze · Statistica, Informatica, Applicazioni 'G. Parenti' (DiSIA) · 6 CFU · apri nel catalogo

Il docente non ha ancora pubblicato i testi per questo canale.

Bacheca del docente: cosa indica di studiare

Appunti e dispense forniti dal docente.

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

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

Domande frequenti

Quali libri consiglia il prof. Marco Maggesi per Geometria Computazionale Simbolica?

John Harrison – Handbook of Practical Logic and Automated Reasoning; Robert – Some new results on decidability for elementary…