ALGEBRA E LOGICA

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

Scheda dell'insegnamento

Per studenti immatricolati al 1° anno a.a.: 
2017/2018
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: 
2019/2020
Crediti: 
6
Responsabile della didattica: 

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
Materiali didattici: 
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.

Testi di riferimento

Algebra e matematica discreta : per studenti di informatica, ingegneria, fisica e matematica, con numerosi esempi ed esercizi svolti / Alberto Facchini. - Padova ; Bologna : Decibel ; Zanichelli, 2000

Introduzione alla logica matematica / Elliott Mendelson. - Torino : Bollati Boringhieri, 1972

Logica a informatica / Andrea Asperti, Agata Ciabattoni. - Milano: McGraw-Hill, 1997

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.

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.

Textbooks and reading lists

Algebra e matematica discreta : per studenti di informatica, ingegneria, fisica e matematica, con numerosi esempi ed esercizi svolti / Alberto Facchini. - Padova ; Bologna : Decibel ; Zanichelli, 2000

Introduzione alla logica matematica / Elliott Mendelson. - Torino : Bollati Boringhieri, 1972

Logica a informatica / Andrea Asperti, Agata Ciabattoni. - Milano: McGraw-Hill, 1997

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.