20410592 - LM400 - INTRODUZIONE ALLA LOGICA

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

Mutuazione: 20410592 LM400 - INTRODUZIONE ALLA LOGICA in Matematica L-35 ABRUSCI VITO MICHELE

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


Testi Adottati

V. Michele Abrusci, LOGICA - Lezioni di primo livello, Quarta edizione, Wolters Kluwer, 2018

Modalità Erogazione

Lezioni in aula

Modalità Frequenza

In presenza

Modalità 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

Mutuazione: 20410592 LM400 - INTRODUZIONE ALLA LOGICA in Matematica L-35 ABRUSCI VITO MICHELE

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


Testi Adottati

V. Michele Abrusci, LOGICA - Lezioni di primo livello, Quarta edizione, Wolters Kluwer, 2018

Modalità Erogazione

Lezioni in aula

Modalità Frequenza

In presenza

Modalità 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