Libri UniversitariApri il catalogo

Prof. Riccardo Bruni

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

Libri adottati dal prof. Riccardo Bruni

Materie del prof. Riccardo Bruni

Calcolabilita' e Logica Canale unico

Corso di laurea: Filologia Moderna · Laurea magistrale (LM-14) · esame facoltativo · Linguistica Storica, Teorica, e Applicata · 6 CFU

Firenze · Lettere e Filosofia · 6 CFU · apri nel catalogo · Filologia Moderna · 2º anno · 1º semestre ›

Parte I (Teoria strutturale della dimostrazione)

Troelstra – Basic proof theoryCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Negri – Structural proof theoryCerca su Amazon ›Da studiare: Parte II (Elementi di calcolabilità e teoremi limitativiVerificato sulla scheda ufficiale il 02/10/2026
Shoenfield – Mathematical LogicCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Bacheca del docente: cosa indica di studiare
  • Dispense del docente (scaricabili online dalla pagina Moodle del corso).

Argomenti del programma: Parte I: Teoria strutturale della dimostrazione. Parte II: Calcolabilità e teoremi limitativi.

Apri la scheda ufficiale ›
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Logica 1 Canale unico

Corso di laurea: Filosofia · Laurea triennale (L-5) · 1º anno · 1º semestre · 12 CFU

Firenze · Lettere e Filosofia · 12 CFU · apri nel catalogo · Filosofia · 1º anno · 1º semestre ›

A) Per la prima parte (propedeutica / 36 ore)

Cantini – INTRODUZIONE ALLA LOGICA, significato, argomentazioneCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Bacheca del docente: cosa indica di studiare

Argomenti del programma: Il corso introduce gli studenti alle principali problematiche della logica contemporanea, fornendo le conoscenze basilari relative a: logica enunciativa e dei predicati classica (con cenni alle logiche non classiche); alberi di refutazione; deduzione naturale; semantica tarskiana; computabilità (via macchine di Turing); teoria ingenua degli insiemi.

Apri la scheda ufficiale ›
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Filosofia della Logica e della Matematica Canale unico

Il docente consiglia di frequentare

Corso di laurea: Filosofia · Laurea triennale (L-5) · esame facoltativo · 6 CFU

Firenze · Lettere e Filosofia · 6 CFU · apri nel catalogo · Filosofia · 2º anno · 2º semestre ›

Il testo di riferimento del corso è

Casari – Questioni di filosofia della matematicaCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026

Non frequentanti · Testo obbligatorio in più

Casari – La filosofia della matematica del '900Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoDa studiare: Pp. 1-25Verificato sulla scheda ufficiale il 02/10/2026
Bacheca del docente: cosa indica di studiare
  • Le parti del testo da studiare in vista dell'esame saranno comunicate dal docente alla luce del contenuto effettivo delle lezioni. Eventuali dispense o materiali aggiuntivi saranno forniti dal docente.

Argomenti del programma: Un'introduzione alle problematiche di filosofia della logica e dellla matematica.

Apri la scheda ufficiale ›
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Logica Canale unico

Corso di laurea: Lettere · Laurea triennale (L-10) · esame facoltativo · Lettere Moderne · 6 CFU

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

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

Apri la scheda ufficiale ›
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Temi Avanzati di Logica Canale unico

Corso di laurea: Logica, Filosofia delle Scienze e Metodi della Ricerca · Laurea magistrale (LM-78) · 1º anno · 1º semestre · 12 CFU

Firenze · Lettere e Filosofia · 12 CFU · apri nel catalogo · Logica, Filosofia delle Scienze e Metodi della Ricerca · 1º anno · 1º semestre ›

Parte I (Teoria strutturale della dimostrazione)

Troelstra – Basic proof theoryCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Negri – Structural proof theoryCerca su Amazon ›Da studiare: Parte II (Elementi di calcolabilità e teoremi limitativiVerificato sulla scheda ufficiale il 02/10/2026
Shoenfield – Mathematical LogicCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Bacheca del docente: cosa indica di studiare
  • Dispense del docente (scaricabili online dalla pagina Moodle del corso).

Argomenti del programma: Parte I: Teoria strutturale della dimostrazione. Parte II: Calcolabilità e teoremi limitativi.

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. Riccardo Bruni per Calcolabilita' e Logica?

Troelstra – Basic proof theory; Negri – Structural proof theory; Shoenfield – Mathematical Logic

Quali libri consiglia il prof. Riccardo Bruni per Logica 1?

Cantini – INTRODUZIONE ALLA LOGICA, significato, argomentazione

Quali libri consiglia il prof. Riccardo Bruni per Filosofia della Logica e della Matematica?

Casari – Questioni di filosofia della matematica; Casari – La filosofia della matematica del '900

Quali libri consiglia il prof. Riccardo Bruni per Temi Avanzati di Logica?

Troelstra – Basic proof theory; Negri – Structural proof theory; Shoenfield – Mathematical Logic