Logica
A.A. 2020/2021
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:
Al termine del corso lo studente sarà in grado di:
- Presentare i concetti e i metodi principali della moderna logica formale;
- dimostrare padronanza della logica deduttiva
- descrivere i 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
Al termine del corso lo studente sarà in grado di:
- Presentare i concetti e i metodi principali della moderna logica formale;
- dimostrare padronanza della logica deduttiva
- descrivere i 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-K)
Responsabile
Periodo
Secondo semestre
Durante la fase di didattica emergenziale, il programma viene mantenuto con le seguenti modifiche necessarie per una buona fruizione online del corso originariamente progettato per la didattica in presenza.
Ambienti on-line utilizzati:
Ariel: https://mdagostinol.ariel.ctu.unimi.it/v5/home/Default.aspx
Teams: codice presente in Ariel
Zoom: codice presente in Ariel
Metodi didattici:
Le lezioni si terranno in base agli scenari di rischio:
- massima gravità (zona rossa): le lezioni si terranno solo a distanza in modalità sincrona (in Teams)
- elevata gravità (zona arancione): le lezioni si terranno in modalità mista, parte in presenza e parte on line.
Le lezioni in presenza si terranno in modalità duale permettendo la partecipazione anche agli studenti a distanza (collegati in in Teams). Le lezioni a distanza si terranno in modalità sincrona (in Teams)
- gravità (zona gialla): le lezioni si terranno con le medesime modalità della zona arancione e, se vi saranno le condizioni, verrà aumentato il numero di lezioni tenute in presenza.
Il calendario delle lezioni in presenza e gli aggiornamenti saranno pubblicati nel corso on line in Ariel.
Modalità di verifica dell'apprendimento e criteri di valutazione:
L'esame è scritto e viene svolto in Zoom + exam.net in tutti gli stati di emergenza (zona gialla, arancione e rossa), secondo le indicazioni fornite dall'Ateneo. Nel corso in Ariel vengono pubblicati e costantemente aggiornati i dettagli degli orali che si tengono in più giorni.
Gli studenti che intendono partecipare alle lezioni in presenza devono fare riferimento alle disposizioni dell'Ateneo:
https://www.unimi.it/it/studiare/frequentare-un-corso-di-laurea/seguire-il-percorso-di-studi/didattica-presenza
Gli studenti che intendono partecipare alle lezioni in Teams devono fare riferimento alle seguenti guide tecniche:
https://www.unimi.it/it/studiare/servizi-gli-studenti/servizi-tecnologici-e-online/microsoft-office-365-education
Per partecipare alle sessioni di esame gli studenti devono fare riferimento alle seguenti indicazioni
https://www.unimi.it/it/studiare/frequentare-un-corso-di-laurea/seguire-il-percorso-di-studi/esami/esami-distanza-faq-gli-studenti
Ambienti on-line utilizzati:
Ariel: https://mdagostinol.ariel.ctu.unimi.it/v5/home/Default.aspx
Teams: codice presente in Ariel
Zoom: codice presente in Ariel
Metodi didattici:
Le lezioni si terranno in base agli scenari di rischio:
- massima gravità (zona rossa): le lezioni si terranno solo a distanza in modalità sincrona (in Teams)
- elevata gravità (zona arancione): le lezioni si terranno in modalità mista, parte in presenza e parte on line.
Le lezioni in presenza si terranno in modalità duale permettendo la partecipazione anche agli studenti a distanza (collegati in in Teams). Le lezioni a distanza si terranno in modalità sincrona (in Teams)
- gravità (zona gialla): le lezioni si terranno con le medesime modalità della zona arancione e, se vi saranno le condizioni, verrà aumentato il numero di lezioni tenute in presenza.
Il calendario delle lezioni in presenza e gli aggiornamenti saranno pubblicati nel corso on line in Ariel.
Modalità di verifica dell'apprendimento e criteri di valutazione:
L'esame è scritto e viene svolto in Zoom + exam.net in tutti gli stati di emergenza (zona gialla, arancione e rossa), secondo le indicazioni fornite dall'Ateneo. Nel corso in Ariel vengono pubblicati e costantemente aggiornati i dettagli degli orali che si tengono in più giorni.
Gli studenti che intendono partecipare alle lezioni in presenza devono fare riferimento alle disposizioni dell'Ateneo:
https://www.unimi.it/it/studiare/frequentare-un-corso-di-laurea/seguire-il-percorso-di-studi/didattica-presenza
Gli studenti che intendono partecipare alle lezioni in Teams devono fare riferimento alle seguenti guide tecniche:
https://www.unimi.it/it/studiare/servizi-gli-studenti/servizi-tecnologici-e-online/microsoft-office-365-education
Per partecipare alle sessioni di esame gli studenti devono fare riferimento alle seguenti indicazioni
https://www.unimi.it/it/studiare/frequentare-un-corso-di-laurea/seguire-il-percorso-di-studi/esami/esami-distanza-faq-gli-studenti
Programma
La Logica booleana
La logica della quantificazione
Completezza, Decidibilità, Complessità
L'esame da 6 CFU voterà sui primi 2 argomenti (Dispense 1 e 2, prime 20 lezioni), quello da 9 CFU su tutti e tre gli argomenti (Dispense 1, 2 e 3, 30 lezioni).
La logica della quantificazione
Completezza, Decidibilità, Complessità
L'esame da 6 CFU voterà sui primi 2 argomenti (Dispense 1 e 2, prime 20 lezioni), quello da 9 CFU su tutti e tre gli argomenti (Dispense 1, 2 e 3, 30 lezioni).
Prerequisiti
Nessuno
Metodi didattici
Lezioni frontali, test di autovalutazione
Materiale di riferimento
Dispense fornite dal docente. Non è previsto materiale addizionale per gli studenti non frequentati che potranno rivolgersi al docente per avere dei chiarimenti attraverso il forum sul sito Ariel del corso.
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 vari livelli di difficoltà; la valutazione è pesata, alle domande più semplici viene riconosciuto un punteggio inferiore e il superamento del test richiede la verifica di tutte le competenze ritenute essenziali.
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
(L-Z)
Responsabile
Periodo
Secondo semestre
Durante la fase di didattica emergenziale, il programma viene mantenuto con le seguenti modifiche necessarie per una buona fruizione online del corso originariamente progettato per la didattica in presenza.
Ambienti on-line utilizzati:
Ariel: https://gprimierol.ariel.ctu.unimi.it/
Moodle: link presente in Ariel
Teams: codice presente in Ariel
Metodi didattici:
Le lezioni si terranno in base agli scenari di rischio:
- massima gravità (zona rossa): le lezioni si terranno solo a distanza in modalità sincrona (in Teams)
- elevata gravità (zona arancione): le lezioni si terranno in modalità mista, parte in presenza e parte on line. Le lezioni in presenza si terranno in modalità duale permettendo la partecipazione anche agli studenti a distanza (collegati in in Teams). Le lezioni a distanza si terranno in modalità sincrona (in Teams)
- gravità (zona gialla): le lezioni si terranno con le medesime modalità della zona arancione e, se vi saranno le condizioni, verrà aumentato il numero di lezioni tenute in presenza.
Il calendario delle lezioni in presenza e gli aggiornamenti saranno pubblicati nel corso on line in Ariel/Moodle. Il materiale didattico e le registrazioni delle lezioni verranno rese disponibili online sul sito Ariel/Moodle del corso.
Modalità di verifica dell'apprendimento e criteri di valutazione:
L'esame è scritto e viene svolto in Teams/Moodle SEB/Exam.net in tutti gli stati di emergenza (zona gialla, arancione e rossa), secondo le indicazioni fornite dall'Ateneo.
Gli studenti che intendono partecipare alle lezioni in presenza devono fare riferimento alle disposizioni dell'Ateneo:
https://www.unimi.it/it/studiare/frequentare-un-corso-di-laurea/seguire-il-percorso-di-studi/didattica-presenza
Gli studenti che intendono partecipare alle lezioni in Teams devono fare riferimento alle seguenti guide tecniche:
https://www.unimi.it/it/studiare/servizi-gli-studenti/servizi-tecnologici-e-online/microsoft-office-365-education
Per partecipare alle sessioni di esame gli studenti devono fare riferimento alle seguenti indicazioni
https://www.unimi.it/it/studiare/frequentare-un-corso-di-laurea/seguire-il-percorso-di-studi/esami/esami-distanza-faq-gli-studenti
Ambienti on-line utilizzati:
Ariel: https://gprimierol.ariel.ctu.unimi.it/
Moodle: link presente in Ariel
Teams: codice presente in Ariel
Metodi didattici:
Le lezioni si terranno in base agli scenari di rischio:
- massima gravità (zona rossa): le lezioni si terranno solo a distanza in modalità sincrona (in Teams)
- elevata gravità (zona arancione): le lezioni si terranno in modalità mista, parte in presenza e parte on line. Le lezioni in presenza si terranno in modalità duale permettendo la partecipazione anche agli studenti a distanza (collegati in in Teams). Le lezioni a distanza si terranno in modalità sincrona (in Teams)
- gravità (zona gialla): le lezioni si terranno con le medesime modalità della zona arancione e, se vi saranno le condizioni, verrà aumentato il numero di lezioni tenute in presenza.
Il calendario delle lezioni in presenza e gli aggiornamenti saranno pubblicati nel corso on line in Ariel/Moodle. Il materiale didattico e le registrazioni delle lezioni verranno rese disponibili online sul sito Ariel/Moodle del corso.
Modalità di verifica dell'apprendimento e criteri di valutazione:
L'esame è scritto e viene svolto in Teams/Moodle SEB/Exam.net in tutti gli stati di emergenza (zona gialla, arancione e rossa), secondo le indicazioni fornite dall'Ateneo.
Gli studenti che intendono partecipare alle lezioni in presenza devono fare riferimento alle disposizioni dell'Ateneo:
https://www.unimi.it/it/studiare/frequentare-un-corso-di-laurea/seguire-il-percorso-di-studi/didattica-presenza
Gli studenti che intendono partecipare alle lezioni in Teams devono fare riferimento alle seguenti guide tecniche:
https://www.unimi.it/it/studiare/servizi-gli-studenti/servizi-tecnologici-e-online/microsoft-office-365-education
Per partecipare alle sessioni di esame gli studenti devono fare riferimento alle seguenti indicazioni
https://www.unimi.it/it/studiare/frequentare-un-corso-di-laurea/seguire-il-percorso-di-studi/esami/esami-distanza-faq-gli-studenti
Programma
La Logica booleana
La logica della quantificazione
Completezza, Decidibilità, Complessità
L'esame da 6 CFU verterà sui primi 2 argomenti (Dispense 1 e 2, prime 20 lezioni), quello da 9 CFU su tutti e tre gli argomenti (Dispense 1, 2 e 3, 30 lezioni).
La logica della quantificazione
Completezza, Decidibilità, Complessità
L'esame da 6 CFU verterà sui primi 2 argomenti (Dispense 1 e 2, prime 20 lezioni), quello da 9 CFU su tutti e tre gli argomenti (Dispense 1, 2 e 3, 30 lezioni).
Prerequisiti
Nessuno.
Metodi didattici
Lezioni frontali, esercitazioni guidate, tests di autovalutazione.
Materiale di riferimento
Dispense a cura dei proff. D'Agostino e Primiero.
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 vari livelli di difficoltà; la valutazione è pesata, alle domande più semplici viene riconosciuto un punteggio inferiore e il superamento del test richiede la verifica di tutte le competenze ritenute essenziali.
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