Stampa  
Codice:  
Course code:		 9008
Anno accademico:
Academic year:		 2008-2009
Titolo del corso:
Course title:		 Algebra e logica
Algebra and Logic
Modulo:  
Module:		 Unico
Docente 1:
Teacher 1:		 GRENIE Loic Andre Henri
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:		 primo
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
Attività frontale:
Lectures:		 40.0
Esercitazioni:
Applied activities:		 8.0
Studio individuale:
Individual work:		 0.0
Attività didattica a piccoli gruppi:
Group work:		 0.0
Seminari:
Seminars:		 0.0
Laboratori:
Laboratories:		 0.0
TOTALE (voci sopra-elencate):
TOTAL:		 48.0
Ore di lezione settimanali:
 0.0
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. Integer theory. 2. Algebraic structures: groups, rings, fields, the example of Z/nZ. 3. Arithmetic. 4. Applications to cryptography, Diffie-Hellman method, RSA method. 5. Propositional logic. 6. Deductive systems. 7. Predicate logic.
Testo di riferimento 1:
Course text 1:		 A. Facchini "Algebra e Matematica discreta" (pagine/pages: 458)
Testo di riferimento 2:
Course text 2:		 Mendelson "Introduzione alla logica matematica" (pagine/pages: 354)
Testo di riferimento 3:
Course text 3:		 Asperti -- Ciabattoni "Logica e Informatica" (pagine/pages: 230)
Metodi didattici:
Teaching activities:		 Lezione frontale e esercitazioni
Lesson and exercises
Struttura della verifica del profitto:
Assessment:		 scritto + orale
written + oral
Descrizione verifica del profitto:
Lingua di insegnamento:
Teaching language:		 italiano
Italian
Altre informazioni:
Other information:
 
Stampa