Tutto il materiale è disponibile nel seguente insegnamento
- Teacher: FRILLI GUIDO
Tutto il materiale è disponibile nel seguente insegnamento
- Teacher: MANZINI MARIA RITA
- Teacher: 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.
- Teacher: 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
- Teacher: 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
- Teacher: BRUNI RICCARDO
Tutto il materiale è disponibile nel seguente insegnamento
- Teacher: ZIPOLI CAIANI SILVANO
Tutto il materiale è disponibile nel seguente insegnamento
B032480 (B257) - LOGICA PER L'INTELLIGENZA ARTIFICIALE 2024-2025
- Teacher: MAGGESI MARCO
Tutto il materiale è disponibile nel seguente insegnamento
B012975 (B077) - LOGICA MATEMATICA (CURRICULUM: APPLICATIVO - C76) 2024-2025
- Teacher: FORNASIERO ANTONGIULIO
Tutto il materiale è disponibile nel seguente insegnamento
- Teacher: PANUNZI ALESSANDRO
Tutto il materiale è disponibile nel seguente insegnamento
B028850 (B058) - STORIA DELLA CHIMICA E DELLA FISICA 2024-2025
- Teacher: LIVI ROBERTO
- Teacher: LO NOSTRO PIERANDREA
Tutto il materiale è disponibile nel seguente insegnamento
B013011 (B077) - DIDATTICA DELLA MATEMATICA (CURRICULUM: DIDATTICO - E24) 2024-2025
- Teacher: ANTONINI SAMUELE
- Teacher: GAVAGNA VERONICA
Tutto il materiale è disponibile nel seguente insegnamento
- Teacher: PETTINI GIULIO
Tutto il materiale è disponibile nel seguente insegnamento
- Teacher: PIETROPAOLI STEFANO
Tutto il materiale è disponibile nel seguente insegnamento
- Teacher: CIARDI MARCO
Tutto il materiale è disponibile nel seguente insegnamento
- Teacher: FERREIRA DA SILVA ANA SHIRLEY
- Teacher: VERRI MARIA CECILIA
- Teacher: SCHETTINO GIULIA
Tutto il materiale è disponibile nel seguente insegnamento
B029865 (B106) - BIOETICA (CURRICULUM: FILOSOFIA DELLA TECNOLOGIA E DELL'AMBIENTE - F042) 2024-2025
- Teacher: GALLETTI MATTEO
- Teacher: ROOK LORENZO
Tutto il materiale è disponibile nel seguente insegnamento
B032103 (B106) - FILOSOFIA ANTICA (CURRICULUM: FILOSOFIA: TESTO E INTERPRETAZIONE - F040) 2024-2025
- Teacher: ADEMOLLO FRANCESCO
Tutto il materiale è disponibile nel seguente insegnamento
- Teacher: 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
- Teacher: CIARDI MARCO
Tutto il materiale è disponibile nel seguente insegnamento
B032225 (B252) - SCIENZA, LETTERATURA E PSEUDOSCIENZA 2024-2025
- Teacher: CIARDI MARCO
- Teacher: TOCCAFONDI FIORENZA
Tutto il materiale è disponibile nel seguente insegnamento
B032464 (B257) - LINGUAGGIO, COGNIZIONE E COMPUTAZIONE 2024-2025
- Teacher: 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
- Teacher: BERNINI SERGIO
- Teacher: GAVAGNA VERONICA