I corsi di matematica del primo e secondo anno.
Dopo questo corso studente acquisirà le capacità di calcolo modulo n, la nozione di gruppo, anello e campo, le proprietà di base delle relazioni binarie e le nozioni di base di logica proposizionale e del primo ordine.
1. Relazioni binarie.
2. Z/nZ
3. Gruppi, anelli, campi.
4. Logica proposizionale.
5. Logica del primo ordine.
Il corso sarà strutturate in lezioni frontali con richiesta di intervento da parte dello studente e invito a chiedere tutte le domande. Le lezioni frontali saranno completate di sessioni di esercitazione pratica e di tutorato di sostegno.
La verifica dell'apprendimento avviene attraverso una prova scritta finale di 2 ore e una prova orale. Entrambe le prove sono obbligatorie. Viene ammesso all'orale solo chi consegue allo scritto un punteggio superiore a 15. La prova scritta prevede la risoluzione di esercizi. La prova orale riguarda gli aspetti teorici della disciplina.
First and second year mathematics lessons.
After this course, the student will be able to compute mod n, know the notions of group, ring and field, the basic properties of binary relations and the basic notions of propositional logic and first order logic.
1. Binary relations.
2. Z/nZ
3. Groups, rings and fields.
4. Propositional logic.
5. First order logic.
The lesson will be made of theoretical teaching, exercises class and tutoring.
At the end of the lesson there will be an exam structured in two, obbligatory, parts. The first one is written, lasts 2 hours, and is made of exercises. A student can try the second part, oral, only if the grade of the first part is at least 15. The second part of the exam is about the more theoretical aspects of the lesson.