ALGEBRA E LOGICA | Università degli studi di Bergamo - Didattica e Rubrica

ALGEBRA E LOGICA

Attività formativa monodisciplinare
Codice dell'attività formativa: 
21028

Scheda dell'insegnamento

Per studenti immatricolati al 1° anno a.a.: 
2020/2021
Insegnamento (nome in italiano): 
ALGEBRA E LOGICA
Insegnamento (nome in inglese): 
ALGEBRA AND LOGIC
Tipo di attività formativa: 
Attività formativa Affine/Integrativa
Tipo di insegnamento: 
Opzionale
Settore disciplinare: 
ALGEBRA (MAT/02)
Anno di corso: 
3
Anno accademico di offerta: 
2022/2023
Crediti: 
6
Responsabile della didattica: 
Mutuazioni
  • Corso di studi in INGEGNERIA INFORMATICA - Percorso formativo in PERCORSO COMUNE

Altre informazioni sull'insegnamento

Modalità di erogazione: 
Didattica Convenzionale
Lingua: 
Italiano
Ciclo: 
Secondo Semestre
Obbligo di frequenza: 
No
Ore di attività frontale: 
48
Ambito: 
Attività formative affini o integrative
Prerequisiti

I corsi di matematica del primo e secondo anno.

Obiettivi formativi

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.

Contenuti dell'insegnamento

1. Relazioni binarie.
2. Z/nZ
3. Gruppi, anelli, campi.
4. Logica proposizionale.
5. Logica del primo ordine.

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.

Modalità verifica profitto e valutazione

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 e potrebbe essere svolta in modalità scritta in caso di necessità.

Altre informazioni

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à.

Prerequisites

First and second year mathematics lessons.

Educational goals

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.

Course content

1. Binary relations.
2. Z/nZ
3. Groups, rings and fields.
4. Propositional logic.
5. First order logic.

Teaching methods

The lesson will be made of theoretical teaching, exercises class and tutoring.

Assessment and Evaluation

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 and could be a second written exam, if need be.

Further information

In case the lessons would be taught online or in mixed mode, some modifications may occur with respect to what is indicated in the syllabus so that course and exams can be done in those cases.