Matematica
Cod 198373
- Laurea magistrale
- 2 anni
- 120 CFU
- LM-40 R
M-FIL/02
LM400 - Introduzione alla Logica
Codice: 20410592
Scheda insegnamento
- Anno Accademico di erogazione
- 2026/2027
- Corso di studi
- Matematica
- Periodo di erogazione
- Secondo semestre
- CFU
- 6 CFU
- Lingua
- Italiano
- SSD
- M-FIL/02
Scopri il programma didattico
Programma, testi adottati e modalità d’esame sono quelli pubblicati dai docenti per l’anno accademico 2026/2027. L’insegnamento è diviso in canali: ogni canale ha il suo programma.
- Docente
- Vito Michele Abrusci
- Curriculum
- Teorico-didattico
- Anno di corso
- 3
- Periodo
- Secondo semestre
- Ore
- 60
- CUIN
- 260000616
Programma
1. I temi della logica
2. Logica classica: proposizioni, dimostrazioni
3. Logica classica: connettivi
4. Logica classica: tipi, variabili, quantificatori
5. Logica classica del primo ordine
6. Classi e insiemi
7. Codificazione, digitalizzazione, algebra di Boole
8. Macchina di Turing
9. Assiomatizzazione e formalizzazione della logica classica del primo ordine
10. La logica e le altre discipline
Prerequisiti
Nessun prerequisito specifico
Testi adottati
V. Michele Abrusci, LOGICA - Lezioni di primo livello, Quarta edizione, Wolters Kluwer, 2018
Modalità di erogazione
Lezioni in aula
Modalità di frequenza
In presenza
Modalità di valutazione
A scelta dello studente, prova scritta o prova orale.
La prova verte sui contenuti principali dei capitoli del corso, e su approfondimenti di 4 capitoli a scelta dello studente
Prove previste
- Prova orale
- Prova scritta
- Prove intermedie
- Docente
- Vito Michele Abrusci
- Curriculum
- Modellistico-applicativo
- Anno di corso
- 3
- Periodo
- Secondo semestre
- Ore
- 60
- CUIN
- 260000646
Programma
1. I temi della logica
2. Logica classica: proposizioni, dimostrazioni
3. Logica classica: connettivi
4. Logica classica: tipi, variabili, quantificatori
5. Logica classica del primo ordine
6. Classi e insiemi
7. Codificazione, digitalizzazione, algebra di Boole
8. Macchina di Turing
9. Assiomatizzazione e formalizzazione della logica classica del primo ordine
10. La logica e le altre discipline
Prerequisiti
Nessun prerequisito specifico
Testi adottati
V. Michele Abrusci, LOGICA - Lezioni di primo livello, Quarta edizione, Wolters Kluwer, 2018
Modalità di erogazione
Lezioni in aula
Modalità di frequenza
In presenza
Modalità di valutazione
A scelta dello studente, prova scritta o prova orale.
La prova verte sui contenuti principali dei capitoli del corso, e su approfondimenti di 4 capitoli a scelta dello studente
Prove previste
- Prova orale
- Prova scritta
- Prove intermedie
Esplora gli obiettivi dell’insegnamento
Ambito disciplinare: Attività formative affini o integrative
Introdurre alla conoscenza di temi, concetti, metodi e risultati della logica che sono alla base di ogni disciplina, per fornire agli studenti – di qualunque corso di studio - un profondo approccio interdisciplinare e una più adeguata formazione verso l’insegnamento scolastico
Risultati di apprendimento attesi — Vito Michele Abrusci
Possedere una conoscenza approfondita dei principali temi della logica e dei principali risultati ottenuti dalla logica matematica, e delle prncipali relazioni tra logica e altre discipline (in particolare tra logica e matematica, e tra logica e informatica, tra logica e filosofia).
Risultati di apprendimento attesi — Vito Michele Abrusci
Possedere una conoscenza approfondita dei principali temi della logica e dei principali risultati ottenuti dalla logica matematica, e delle prncipali relazioni tra logica e altre discipline (in particolare tra logica e matematica, e tra logica e informatica, tra logica e filosofia).
Esempi di domande d’esame
Vito Michele Abrusci
Esempi di domande e esercizi sono nel cap. 11 del testo dell’insegnamento
Vito Michele Abrusci
Esempi di domande e esercizi sono nel cap. 11 del testo dell’insegnamento