Logica
A.A. 2019/2020
Obiettivi formativi
L'insegnamento si propone di fornire agli studenti, con un approccio orientato all'acquisizione sia di conoscenze sia di abilità pratiche, le nozioni e i metodi di base della logica contemporanea, spendibili per qualunque attività richieda capacità avanzate di ragionamento e risoluzione di problemi
Risultati apprendimento attesi
Conoscenze e comprensione:
- Conoscenza di base dei concetti e dei metodi principali della moderna logica formale;
- Padronanza degli studenti fondamentali della logica deduttiva
- Conoscenza di base dei risultati fondamentali relativi alla logica proposizionale e alla logica della quantificazione: completezza, decidibilità della logica booleana, indecidibilità di quella quantificazionale, complessità computazionale della logica booleana.
Capacità di applicare conoscenze e comprensione:
Ci si attende che alla fine del corso lo studente sia in grado di applicare le conoscenze e i metodi appresi per
- definire linguaggi formali adeguati a risolvere una data classe di problemi;
- tradurre proposizioni dal linguaggio ordinario in un opportuno linguaggio booleano o quantificazionale;
- eseguire deduzioni e costruire controesempi per i ragionamenti scorretti.
- Applicare gli strumenti logici appresi nella risoluzione di problemi teorici e pratici
- Conoscenza di base dei concetti e dei metodi principali della moderna logica formale;
- Padronanza degli studenti fondamentali della logica deduttiva
- Conoscenza di base dei risultati fondamentali relativi alla logica proposizionale e alla logica della quantificazione: completezza, decidibilità della logica booleana, indecidibilità di quella quantificazionale, complessità computazionale della logica booleana.
Capacità di applicare conoscenze e comprensione:
Ci si attende che alla fine del corso lo studente sia in grado di applicare le conoscenze e i metodi appresi per
- definire linguaggi formali adeguati a risolvere una data classe di problemi;
- tradurre proposizioni dal linguaggio ordinario in un opportuno linguaggio booleano o quantificazionale;
- eseguire deduzioni e costruire controesempi per i ragionamenti scorretti.
- Applicare gli strumenti logici appresi nella risoluzione di problemi teorici e pratici
Periodo: Secondo semestre
Modalità di valutazione: Esame
Giudizio di valutazione: voto verbalizzato in trentesimi
Corso singolo
Questo insegnamento non può essere seguito come corso singolo. Puoi trovare gli insegnamenti disponibili consultando il catalogo corsi singoli.
Programma e organizzazione didattica
(A-L)
Responsabile
Periodo
Secondo semestre
Programma
La Logica booleana
La logica della quantificazione
Completezza, Decidibilità, Complessità
La logica della quantificazione
Completezza, Decidibilità, Complessità
Prerequisiti
Nessuno
Metodi didattici
Lezioni frontali, test di autovalutazione
Materiale di riferimento
Dispense fornite dal docente.
Modalità di verifica dell’apprendimento e criteri di valutazione
Esame scritto: Test con domande teoriche ed esercizi a risposta chiusa o aperta mirato a verificare il livello di apprendimento in termini delle conoscenze e delle competenze che rientrano negli obiettivi formativi del corso. Il test contiene domande ed esercizi con tre livelli di difficoltà:
* = difficoltà bassa
** = difficoltà media
*** = difficoltà alta.
La valutazione avviene secondi i seguenti criteri:
D Insufficiente = non risponde alla maggior delle domande contrassegnate da *.
C sufficiente (18-22) = risponde alla maggior parte delle domande contrassegnate da *.
B buono [23-28] = risponde a tutte le domande contrassegnate da * e risponde alla maggior parte delle domande contrassegnate da **.
A ottimo [29-30 e lode] =risponde a tutte le domande contrassegnate da *, a tutte le domande contrassegnate da ** e risponde alla maggior parte delle domande contrassegnate da ***.
Esame per studenti non-frequentanti: Test scritto.
Esame per studenti frequentanti: Due prove intermedie scritte e un test finale scritto, mirati a verificare il livello di apprendimento in termini delle conoscenze e delle competenze che rientrano negli obiettivi formativi del corso. Il superamento di ciascuna prova è un requisito per l'ammissione a quella successiva. Il superamento di tutte e tre le prove garantisce il superamento dell'esame. La valutazione terrà conto dei risultati ottenuti per ciascuna di esse e verrà proposta allo studente all'atto dell'iscrizione online all'esame finale. Gli studenti che non hanno superato una prova intermedia o che non accettano la valutazione proposta dovranno sostenere l'esame finale sull'intero programma.
* = difficoltà bassa
** = difficoltà media
*** = difficoltà alta.
La valutazione avviene secondi i seguenti criteri:
D Insufficiente = non risponde alla maggior delle domande contrassegnate da *.
C sufficiente (18-22) = risponde alla maggior parte delle domande contrassegnate da *.
B buono [23-28] = risponde a tutte le domande contrassegnate da * e risponde alla maggior parte delle domande contrassegnate da **.
A ottimo [29-30 e lode] =risponde a tutte le domande contrassegnate da *, a tutte le domande contrassegnate da ** e risponde alla maggior parte delle domande contrassegnate da ***.
Esame per studenti non-frequentanti: Test scritto.
Esame per studenti frequentanti: Due prove intermedie scritte e un test finale scritto, mirati a verificare il livello di apprendimento in termini delle conoscenze e delle competenze che rientrano negli obiettivi formativi del corso. Il superamento di ciascuna prova è un requisito per l'ammissione a quella successiva. Il superamento di tutte e tre le prove garantisce il superamento dell'esame. La valutazione terrà conto dei risultati ottenuti per ciascuna di esse e verrà proposta allo studente all'atto dell'iscrizione online all'esame finale. Gli studenti che non hanno superato una prova intermedia o che non accettano la valutazione proposta dovranno sostenere l'esame finale sull'intero programma.
Moduli o unità didattiche
Unita' didattica A
M-FIL/02 - LOGICA E FILOSOFIA DELLA SCIENZA - CFU: 3
Lezioni: 20 ore
Unita' didattica B
M-FIL/02 - LOGICA E FILOSOFIA DELLA SCIENZA - CFU: 3
Lezioni: 20 ore
Unita' didattica C
M-FIL/02 - LOGICA E FILOSOFIA DELLA SCIENZA - CFU: 3
Lezioni: 20 ore
(M-Z)
Responsabile
Periodo
Secondo semestre
Programma
La Logica booleana
La logica della quantificazione
Completezza, Decidibilità, Complessità
La logica della quantificazione
Completezza, Decidibilità, Complessità
Prerequisiti
Nessuno.
Metodi didattici
Lezioni frontali, test di autovalutazione
Materiale di riferimento
Dispense fornite dal docente.
Modalità di verifica dell’apprendimento e criteri di valutazione
Esame scritto: Test con domande teoriche ed esercizi a risposta chiusa o aperta mirato a verificare il livello di apprendimento in termini delle conoscenze e delle competenze che rientrano negli obiettivi formativi del corso. Il test contiene domande ed esercizi con tre livelli di difficoltà:
* = difficoltà bassa
** = difficoltà media
*** = difficoltà alta.
La valutazione avviene secondi i seguenti criteri:
D Insufficiente = non risponde alla maggior delle domande contrassegnate da *.
C sufficiente (18-22) = risponde alla maggior parte delle domande contrassegnate da *.
B buono [23-28] = risponde a tutte le domande contrassegnate da * e risponde alla maggior parte delle domande contrassegnate da **.
A ottimo [29-30 e lode] =risponde a tutte le domande contrassegnate da *, a tutte le domande contrassegnate da ** e risponde alla maggior parte delle domande contrassegnate da ***.
Esame per studenti non-frequentanti: Test scritto.
Esame per studenti frequentanti: Due prove intermedie scritte e un test finale scritto, mirati a verificare il livello di apprendimento in termini delle conoscenze e delle competenze che rientrano negli obiettivi formativi del corso. Il superamento di ciascuna prova è un requisito per l'ammissione a quella successiva. Il superamento di tutte e tre le prove garantisce il superamento dell'esame. La valutazione terrà conto dei risultati ottenuti per ciascuna di esse e verrà proposta allo studente all'atto dell'iscrizione online all'esame finale. Gli studenti che non hanno superato una prova intermedia o che non accettano la valutazione proposta dovranno sostenere l'esame finale sull'intero programma.
* = difficoltà bassa
** = difficoltà media
*** = difficoltà alta.
La valutazione avviene secondi i seguenti criteri:
D Insufficiente = non risponde alla maggior delle domande contrassegnate da *.
C sufficiente (18-22) = risponde alla maggior parte delle domande contrassegnate da *.
B buono [23-28] = risponde a tutte le domande contrassegnate da * e risponde alla maggior parte delle domande contrassegnate da **.
A ottimo [29-30 e lode] =risponde a tutte le domande contrassegnate da *, a tutte le domande contrassegnate da ** e risponde alla maggior parte delle domande contrassegnate da ***.
Esame per studenti non-frequentanti: Test scritto.
Esame per studenti frequentanti: Due prove intermedie scritte e un test finale scritto, mirati a verificare il livello di apprendimento in termini delle conoscenze e delle competenze che rientrano negli obiettivi formativi del corso. Il superamento di ciascuna prova è un requisito per l'ammissione a quella successiva. Il superamento di tutte e tre le prove garantisce il superamento dell'esame. La valutazione terrà conto dei risultati ottenuti per ciascuna di esse e verrà proposta allo studente all'atto dell'iscrizione online all'esame finale. Gli studenti che non hanno superato una prova intermedia o che non accettano la valutazione proposta dovranno sostenere l'esame finale sull'intero programma.
Moduli o unità didattiche
Unita' didattica A
M-FIL/02 - LOGICA E FILOSOFIA DELLA SCIENZA - CFU: 3
Lezioni: 20 ore
Unita' didattica B
M-FIL/02 - LOGICA E FILOSOFIA DELLA SCIENZA - CFU: 3
Lezioni: 20 ore
Unita' didattica C
M-FIL/02 - LOGICA E FILOSOFIA DELLA SCIENZA - CFU: 3
Lezioni: 20 ore
Docente/i
Ricevimento:
Mercoledì 10:00-13:00 e via Teams su richiesta
Direzione del Dipartimento di Filosofia, Cortile d’Onore
Ricevimento:
Martedì, ore 14:00-17:00. Gli studenti sono sempre pregati di contattare il docente per email per confermare data e ora.
Teams/Slack