Tutto il materiale è disponibile nel seguente insegnamento
- Docente: FRILLI GUIDO
Tutto il materiale è disponibile nel seguente insegnamento
- Docente: MANZINI MARIA RITA
- Docente: SAVOIA LEONARDO MARIA
Fondamenti di Teoria della Dimostrazione. Calcoli delle sequenze e loro proprietà.
Hauptsatz. Interpolazione.
Il programma di Hilbert. Estensioni e applicazioni a sistemi aritmetici. L'approccio di Hilbert esteso: Gentzen. Prove di consistenza via induzione transfinita.
- Docente: CANTINI ANDREA
In questo insegnamento è presente il materiale relativo anche ai seguenti mutuati:
B020989 (B055) - CALCOLABILITA' E LOGICA (CURRICULUM: LINGUISTICA STORICA, TEORICA, E APPLICATA - E38) 2024-2025
- Docente: MINARI PIERLUIGI
In questo insegnamento è presente il materiale relativo anche ai seguenti mutuati:
B027810 (B106) - PROBABILITY AND RATIONAL CHOICE (CURRICULUM: FILOSOFIA DELLA TECNOLOGIA E DELL'AMBIENTE - F042) 2024-2025
- Docente: BRUNI RICCARDO
Tutto il materiale è disponibile nel seguente insegnamento
- Docente: ZIPOLI CAIANI SILVANO
Tutto il materiale è disponibile nel seguente insegnamento
B032480 (B257) - LOGICA PER L'INTELLIGENZA ARTIFICIALE 2024-2025
- Docente: MAGGESI MARCO
Tutto il materiale è disponibile nel seguente insegnamento
B012975 (B077) - LOGICA MATEMATICA (CURRICULUM: APPLICATIVO - C76) 2024-2025
- Docente: FORNASIERO ANTONGIULIO
Tutto il materiale è disponibile nel seguente insegnamento
- Docente: PANUNZI ALESSANDRO
Tutto il materiale è disponibile nel seguente insegnamento
B028850 (B058) - STORIA DELLA CHIMICA E DELLA FISICA 2024-2025
- Docente: LIVI ROBERTO
- Docente: LO NOSTRO PIERANDREA
Tutto il materiale è disponibile nel seguente insegnamento
B013011 (B077) - DIDATTICA DELLA MATEMATICA (CURRICULUM: DIDATTICO - E24) 2024-2025
- Docente: ANTONINI SAMUELE
- Docente: GAVAGNA VERONICA
Tutto il materiale è disponibile nel seguente insegnamento
- Docente: PETTINI GIULIO
Tutto il materiale è disponibile nel seguente insegnamento
- Docente: PIETROPAOLI STEFANO
Tutto il materiale è disponibile nel seguente insegnamento
- Docente: CIARDI MARCO
Tutto il materiale è disponibile nel seguente insegnamento
- Docente: FERREIRA DA SILVA ANA SHIRLEY
- Docente: VERRI MARIA CECILIA
- Docente: SCHETTINO GIULIA
Tutto il materiale è disponibile nel seguente insegnamento
B029865 (B106) - BIOETICA (CURRICULUM: FILOSOFIA DELLA TECNOLOGIA E DELL'AMBIENTE - F042) 2024-2025
- Docente: GALLETTI MATTEO
- Docente: ROOK LORENZO
Tutto il materiale è disponibile nel seguente insegnamento
B032103 (B106) - FILOSOFIA ANTICA (CURRICULUM: FILOSOFIA: TESTO E INTERPRETAZIONE - F040) 2024-2025
- Docente: ADEMOLLO FRANCESCO
Tutto il materiale è disponibile nel seguente insegnamento
- Docente: RODOLFI ANNA
In questo insegnamento è presente il materiale relativo anche ai seguenti mutuati:
B032212 (B106) - STORIA DELLA SCIENZA (CURRICULUM: FILOSOFIA DELLA TECNOLOGIA E DELL'AMBIENTE - F042) 2024-2025
- Docente: CIARDI MARCO
Tutto il materiale è disponibile nel seguente insegnamento
B032225 (B252) - SCIENZA, LETTERATURA E PSEUDOSCIENZA 2024-2025
- Docente: CIARDI MARCO
- Docente: TOCCAFONDI FIORENZA
Tutto il materiale è disponibile nel seguente insegnamento
B032464 (B257) - LINGUAGGIO, COGNIZIONE E COMPUTAZIONE 2024-2025
- Docente: PANUNZI ALESSANDRO
In questo insegnamento è presente il materiale relativo anche ai seguenti mutuati:
B032115 (B106) - FILOSOFIA DELLA LOGICA E DELLA MATEMATICA (CURRICULUM: FILOSOFIA DELLA TECNOLOGIA E DELL'AMBIENTE - F042) 2024-2025
B032115 (B106) - FILOSOFIA DELLA LOGICA E DELLA MATEMATICA (CURRICULUM: FILOSOFIA: TESTO E INTERPRETAZIONE - F040) 2024-2025
- Docente: BERNINI SERGIO
- Docente: GAVAGNA VERONICA