Basic Mathematics (2005/2006)

Course Not running, not visible

Course code
4S00023
Name of lecturer
Francesca Mantese
Number of ECTS credits allocated
4
Other available courses
Academic sector
MAT/01 - MATHEMATICAL LOGIC
Language of instruction
Italian
Location
VERONA
Period
Zero period: only for the first year of the course dal Sep 19, 2005 al Oct 10, 2005.

Lesson timetable

Zero period: only for the first year of the course
Day Time Type Place Note
Monday 11:30 AM - 1:30 PM lesson Lecture Hall A  
Tuesday 11:30 AM - 1:30 PM lesson Lecture Hall A  
Tuesday 2:30 PM - 4:30 PM optional practice session Lecture Hall A  
Wednesday 9:30 AM - 11:30 AM lesson Lecture Hall A  
Thursday 9:30 AM - 11:30 AM lesson Lecture Hall A  
Friday 11:30 AM - 1:30 PM optional practice session Lecture Hall A  

Learning outcomes

Introduzione ad alcuni argomenti e concetti matematici basilari.

Syllabus

• 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'.

Assessment methods and criteria

Prova scritta e orale

Teaching aids

Documents

Studying