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