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
Curriculum
scheda docente materiale didattico
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
Programma
1. I temi della logica2. 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
Testi Adottati
V. Michele Abrusci, LOGICA - Lezioni di primo livello, Quarta edizione, Wolters Kluwer, 2018Modalità Erogazione
Lezioni in aulaModalità Frequenza
In presenzaModalità 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 scheda docente materiale didattico
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
Programma
1. I temi della logica2. 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
Testi Adottati
V. Michele Abrusci, LOGICA - Lezioni di primo livello, Quarta edizione, Wolters Kluwer, 2018Modalità Erogazione
Lezioni in aulaModalità Frequenza
In presenzaModalità 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