Codice: Course code: |
9008 | |||||||||||||||||||||||||||||||||||
Anno accademico: Academic year: |
2005-2006 | |||||||||||||||||||||||||||||||||||
Titolo del corso: Course title: |
Algebra e logica
Algebra and Logic |
|||||||||||||||||||||||||||||||||||
Modulo: Module: |
Unico | |||||||||||||||||||||||||||||||||||
Docente 1: Teacher 1: |
Loic Grenič | |||||||||||||||||||||||||||||||||||
Ruolo Docente 1: Teacher 1: |
||||||||||||||||||||||||||||||||||||
Modalitā 1: Type 1: |
Convenzionale | |||||||||||||||||||||||||||||||||||
Settore scientifico-disciplinare: Reference sector: |
MAT/02 Algebra | |||||||||||||||||||||||||||||||||||
Anno di corso: Year of degree course: |
1
First |
|||||||||||||||||||||||||||||||||||
Facoltā: Faculty: |
Ingegneria | |||||||||||||||||||||||||||||||||||
Modalitā di frequenza: Type: |
Non obbligatoria | |||||||||||||||||||||||||||||||||||
Semestre: Semester: |
2 | |||||||||||||||||||||||||||||||||||
Sottoperiodo: Sub period: |
0° | |||||||||||||||||||||||||||||||||||
Numero totale di crediti: Total credits: |
5.0 | |||||||||||||||||||||||||||||||||||
Carico di lavoro Workload |
|
|||||||||||||||||||||||||||||||||||
Prerequisiti: Prerequisites: |
||||||||||||||||||||||||||||||||||||
Obiettivi formativi: Educational goals: |
||||||||||||||||||||||||||||||||||||
Contenuto del corso: Course contents: |
1. Teoria degli insiemi. 2. Strutture algebriche: gruppi, anelli, campi, esempio Z/nZ. 3. Aritmetica. 4. Applicazioni alla crittografia, metodo di Diffie-Hellman, metodo RSA. 5. Logica proposizionale. 6. Sistemi deduttivi. 7. Logica dei predicati.
1. The whole number theory. 2. Algebraic structures: groups, rings, fields, the Z/nZ example. 3. Arithmetic. 4. Applications to criptography, the Diffie-Hellman method, the RSA method. 5. Propositional logic. 6. Deduction systems. 7. Predicate logic. |
|||||||||||||||||||||||||||||||||||
Metodi didattici: Teaching activities: |
||||||||||||||||||||||||||||||||||||
Struttura della verifica del
profitto: Assessment: |
||||||||||||||||||||||||||||||||||||
Descrizione verifica del profitto: |
||||||||||||||||||||||||||||||||||||
Lingua di insegnamento: Teaching language: |
Italian |
|||||||||||||||||||||||||||||||||||
Altre informazioni: Other information: |
||||||||||||||||||||||||||||||||||||