Anno accademico: 2023-2024
Semestre / Annualità: Secondo Semestre

In questo insegnamento è presente il materiale relativo anche ai seguenti mutuati:

B005387 (B074) - SEMANTICA E LESSICOLOGIA (CURRICULUM: BILATERALE ITALO-FRANCESE IN TEORIA E PRATICA DELLA TRADUZIONE - F03) 2023-2024

B005387 (B055) - SEMANTICA E LESSICOLOGIA (CURRICULUM: LINGUISTICA STORICA, TEORICA, E APPLICATA - E38) 2023-2024

B005443 (B074) - SEMANTICA E LESSICOLOGIA (CURRICULUM: STUDI LINGUISTICI E FILOLOGICI - F02) 2023-2024

Anno accademico: 2023-2024
Semestre / Annualità: Primo Semestre

Tutto il materiale è disponibile nel seguente insegnamento

B031431 (B252) - MENTE E LINGUAGGIO 2023-2024

Anno accademico: 2023-2024
Semestre / Annualità: Primo Semestre

In questo insegnamento è presente il materiale relativo anche ai seguenti mutuati:

B032208 (B106) - TEMI AVANZATI DI FILOSOFIA DELLA SCIENZA (CURRICULUM: FILOSOFIA DELLA TECNOLOGIA E DELL'AMBIENTE - F042) 2023-2024

Anno accademico: 2023-2024
Semestre / Annualità: Secondo Semestre
Anno accademico: 2023-2024
Semestre / Annualità: Secondo Semestre

Presupposti storici e filosofici; il programma di Hilbert.

Introduzione alla Teoria della Dimostrazione: cut elimination, Isomorfismo di Curry-Howard.

Applicazioni all'analisi ordinale di PA, IL teorema di Parsons-Mints. Esempi di proposizioni aritmetiche verse e indipendenti da PA.

Anno accademico: 2023-2024
Semestre / Annualità: Secondo Semestre

In questo insegnamento è presente il materiale relativo anche ai seguenti mutuati:

B020989 (B055) - CALCOLABILITA' E LOGICA (CURRICULUM: LINGUISTICA STORICA, TEORICA, E APPLICATA - E38) 2023-2024

Anno accademico: 2023-2024
Semestre / Annualità: Primo Semestre

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) 2023-2024

Anno accademico: 2023-2024
Semestre / Annualità: Primo Semestre

Tutto il materiale è disponibile nel seguente insegnamento

B032480 (B257) - LOGICA PER L'INTELLIGENZA ARTIFICIALE 2023-2024

Anno accademico: 2023-2024
Semestre / Annualità: Secondo Semestre

Tutto il materiale è disponibile nel seguente insegnamento

B012975 (B077) - LOGICA MATEMATICA (CURRICULUM: GENERALE - C75) 2023-2024

Anno accademico: 2023-2024
Semestre / Annualità: Secondo Semestre
Anno accademico: 2023-2024
Semestre / Annualità: Primo Semestre

Tutto il materiale è disponibile nel seguente insegnamento

B012955 (B058) - MECCANICA STATISTICA (CURRICULUM: FISICA TEORICA - D32) 2023-2024

Anno accademico: 2023-2024
Semestre / Annualità: Secondo Semestre

Tutto il materiale è disponibile nel seguente insegnamento

B028850 (B058) - STORIA DELLA CHIMICA E DELLA FISICA 2023-2024

Anno accademico: 2023-2024
Semestre / Annualità: Primo Semestre

In questo insegnamento è presente il materiale relativo anche ai seguenti mutuati:

B029868 (B106) - ABILITA' INFORMATICHE AVANZATE PER LE DISCIPLINE UMANISTICHE 2023-2024

Anno accademico: 2023-2024
Semestre / Annualità: Secondo Semestre

Tutto il materiale è disponibile nel seguente insegnamento

B013011 (B077) - DIDATTICA DELLA MATEMATICA (CURRICULUM: DIDATTICO - E24) 2023-2024

Anno accademico: 2023-2024
Semestre / Annualità: Primo Semestre

Tutto il materiale è disponibile nel seguente insegnamento

B020976 (B077) - ELEMENTI DI FISICA MODERNA 2023-2024

Anno accademico: 2023-2024
Semestre / Annualità: Primo Semestre

Tutto il materiale è disponibile nel seguente insegnamento

B019434 (1170) - INFORMATICA GIURIDICA 2023-2024

Anno accademico: 2023-2024
Semestre / Annualità: Secondo Semestre

Tutto il materiale è disponibile nel seguente insegnamento

B030862 (B111) - STORIA DEL PENSIERO SCIENTIFICO 2023-2024

Anno accademico: 2023-2024
Semestre / Annualità: Secondo Semestre

Tutto il materiale è disponibile nel seguente insegnamento

 

B032845 (B032) - DIDATTICA DELL'INFORMATICA 2023-2024

Anno accademico: 2023-2024
Semestre / Annualità: Secondo Semestre
Anno accademico: 2023-2024
Semestre / Annualità: Secondo Semestre

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) 2023-2024

B032115 (B106) - FILOSOFIA DELLA LOGICA E DELLA MATEMATICA (CURRICULUM: FILOSOFIA: TESTO E INTERPRETAZIONE - F040) 2023-2024

Anno accademico: 2023-2024
Semestre / Annualità: Primo Semestre
Anno accademico: 2023-2024
Semestre / Annualità: Primo Semestre
Anno accademico: 2023-2024
Semestre / Annualità: Primo Semestre
Anno accademico: 2023-2024
Semestre / Annualità: Primo Semestre
Anno accademico: 2023-2024
Semestre / Annualità: Primo Semestre

In questo insegnamento è presente il materiale relativo anche ai seguenti mutuati:

B032225 (B252) - SCIENZA, LETTERATURA E PSEUDOSCIENZA 2023-2024

Anno accademico: 2023-2024
Semestre / Annualità: Secondo Semestre

Tutto il materiale è disponibile nel seguente insegnamento

B028839 (B058) - DIDATTICA DELLA FISICA (CURRICULUM: FISICA APPLICATA - F066) 2023-2024

Anno accademico: 2023-2024
Semestre / Annualità: Secondo Semestre

Nel corso discutermo insieme importanti problematiche della storia e della filosofia della logica del Novecento.

Anno accademico: 2023-2024
Semestre / Annualità: Secondo Semestre
Anno accademico: 2023-2024
Semestre / Annualità: Secondo Semestre