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.
Prerequisiti
I corsi di matematica del primo e secondo anno. Per sostenere l'esame di Algebra e Logica, è obbligatorio aver superato l'esame di Geometria e Algebra Lineare.
Metodi didattici
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.
Verifica Apprendimento
La verifica dell'apprendimento avviene attraverso una prova finale pratica, scritta, di 2 ore e di una prova teorica, che può essere scritta o orale. Entrambe le prove sono obbligatorie. Viene ammesso alla prova teorica solo chi consegue alla prima prova un punteggio superiore a 15. La prova pratica prevede la risoluzione di esercizi. La prova teorica riguarda gli aspetti teorici della disciplina. Il docente si riserva la facoltà di richiedere un colloquio orale integrativo, anche successivamente allo svolgimento di una prova scritta, qualora ciò sia ritenuto necessario ai fini della verifica dell'effettiva acquisizione delle conoscenze e competenze previste dagli obiettivi formativi dell'insegnamento e della corretta attribuzione della valutazione.
Contenuti
1. Relazioni binarie. 2. Z/nZ 3. Gruppi, anelli, campi. 4. Logica proposizionale. 5. Logica del primo ordine.
Qualora l'insegnamento venisse impartito in modalità mista o a distanza potranno essere introdotte modifiche rispetto a quanto dichiarato nel syllabus per rendere il corso e gli esami fruibili anche secondo queste modalità.
