Elementi di matematica e informatica teorica

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.

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