Matematica di base [Sezione B] (2004/2005)

Corso a esaurimento

Codice insegnamento
4S00023
Docente
Francesca Mantese
crediti
4
Altri corsi di studio in cui è offerto
Settore disciplinare
MAT/01 - LOGICA MATEMATICA
Lingua di erogazione
Italiano
Periodo
1° Q - periodo zero del 1° anno dal 13-set-2004 al 4-ott-2004.

Orario lezioni

1° Q - periodo zero del 1° anno
Giorno Ora Tipo Luogo Note
lunedì 11.30 - 13.30 lezione Aula A  
martedì 11.30 - 13.30 lezione Aula A  
martedì 14.30 - 16.30 esercitazione Aula A  
mercoledì 9.30 - 11.30 lezione Aula A  
giovedì 9.30 - 11.30 lezione Aula A  
venerdì 11.30 - 13.30 esercitazione Aula A  

Obiettivi formativi

Introduzione ad alcuni argomenti e concetti matematici basilari.

Programma

Insiemi: definizioni ed esempi, distinzione tra classi e insiemi, appartenenza e inclusione, operazioni con gli insiemi, sottoinsiemi e insieme potenza.
Relazioni e funzioni: proprieta' delle relazioni, relazioni d'ordine e relazioni d'equivalenza, classi d'equivalenza. Funzioni e loro proprieta', funzioni totali, iniettive, suriettive e biettive. Composizione di funzioni e funzione inversa.
Cardinalita': insiemi finiti e infiniti, insiemi numerabili. Cardinalita' dell'insieme dei numeri interi e razionali. Cardinalita' non numerabili, cardinalita' dell'insieme potenza e dell'insieme dei numeri reali.
Principio di induzione.
Elementi di logica: strutture e linguaggi, termini e formule, quantificatori. Interpretazione di un termine o di una formula in una realizzazione. Validita', conseguenza logica e soddisfacibilita'.

Modalità d'esame

prova scritta con orale facoltativo.

Materiale didattico

Documenti