Elementi di matematica e informatica teorica

A.A. 2020/2021
9
Crediti massimi
60
Ore totali
SSD
M-FIL/02
Lingua
Italiano
Obiettivi formativi
L'insegnamento ha lo scopo di fornire un'alfabetizzazione al ragionamento formale, quantitativo e automatico. Oltre a essere propedeutico per i tutti i corsi di area logico-linguistico-scientifica, il corso offre un'opportunità a tutte le studentesse e gli studenti di acquisire alcune competenze fondamentali alla partecipazione attiva nella società dell'informazione e abilità nell'uso di strumenti informatici.
Risultati apprendimento attesi
Conoscenze e comprensione:
- conoscenza di base dei concetti centrali della logica matematica elementare
- padronanza degli strumenti fondamentali della logica induttiva
- conoscenza di base dei concetti centrali della teoria della probabilità elementare
- conoscenza di base del concetto di algoritmo e strutture di dati
- comprensione della rilevanza di questi concetti nel discorso pubblico


Capacità di applicare conoscenze e comprensione:

- capacità di applicare il metodo delle tabelle booleane per decidere in modo algoritmico la correttezza degli argomenti logici
- capacità di applicare il teorema di Bayes per risolvere problemi elementari di inferenza probabilistica
- capacità di scrivere algoritmi elementari
- capacità di applicare gli strumenti logici appresi nella risoluzione di problemi teorici e pratici
Programma e organizzazione didattica

Edizione unica

Responsabile
Periodo
Secondo semestre
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:
Scrivere al docente per un appuntamento
Dipartimento di Filosofia (Cortile Ghiacciaia) - secondo piano