logo-polimi
Loading...
Manifesto
Struttura Corso di Studi
Cerca/Visualizza Manifesto
Dati Insegnamento
Scarica il Manifesto
Regolamento didattico
Consulta il Regolamento
Elenco docenti
Strutture didattiche
Dati quantitativi
Internazionalizzazione
Orario Personalizzato
Il tuo orario personalizzato è disabilitato
Abilita
Ricerche
Cerca Docenti
Cerca Insegnamenti
Cerca insegnamenti degli Ordinamenti precedenti al D.M.509
Erogati in lingua Inglese

Legenda
Semestre (Sem)
1Primo Semestre
2Secondo Semestre
AInsegnamento Annuale
Attività formative
CAffini o integrative
Lingua d'erogazione
Insegnamento completamente offerto in lingua italiana
Insegnamento completamente offerto in lingua inglese
--Non definita
Didattica innovativa
I CFU riportati a fianco a questo simbolo indicano la parte dei CFU dell'insegnamento erogati con Didattica Innovativa.
Tali CFU riguardano:
  • Cotutela con mondo esterno
  • Blended Learning & Flipped Classroom
  • Massive Open Online Courses (MOOC)
  • Soft Skills
Dati Insegnamento
Contesto
Anno Accademico 2019/2020
Scuola Scuola di Ingegneria Industriale e dell'Informazione
Corso di Studi (Mag.)(ord. 270) - MI (481) Computer Science and Engineering - Ingegneria Informatica
Piano di Studio preventivamente approvato T2A - COMPUTER SCIENCE AND ENGINEERING
Anno di Corso 1

Scheda Insegnamento
Codice Identificativo 091021
Denominazione Insegnamento LOGICA E ALGEBRA 2
Tipo Insegnamento Monodisciplinare
Crediti Formativi Universitari (CFU) 5.0
Semestre Primo Semestre
Programma sintetico Scopo del corso è la presentazione, il più possibile unificante, di alcune logiche di particolare interesse per l'Ingegneria dell'Informazione, con particolare attenzione a questioni di decidibilità e agli aspetti applicativi, nonché la discussione di alcuni dei fondamenti matematici della crittografia, ovvero la teoria dei campi finiti. Nella prima parte, dopo i principali risultati di correttezza, completezza e decidibilità per un'ampia classe di logiche modali, verrà descritto il procedimento di risoluzione tramite i tableaux semantici. Verranno introdotte le logiche descrittive e le logiche temporali (CTL, CTL* e LTL), per LTL verrà presentato il model checking basato su automi. Nella seconda parte verranno presentati i principali risultati concernenti i campi finiti e un algoritmo di fattorizzazione per polinomi su un campo (algoritmo di Berlekamp). Infine verranno discusse alcune applicazioni in campo crittografico (firma digitale e LFSR).
Settori Scientifico Disciplinari (SSD)
Attività formative Codice SSD Descrizione SSD CFU
C
MAT/01
LOGICA MATEMATICA
5.0

Orario: aggiungi e rimuoviScaglioneDocenteLingua offertaProgramma dettagliato
Da (compreso)A (escluso)
--AZZZZFrigeri Achille
manifesti v. 3.1.9 / 3.1.9
Area Servizi ICT
13/12/2019