Politecnico di Milano
Manifesti degli Studi
 
Menu
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
Il tuo orario personalizzato contiene 0/15 insegnamenti
Elimina orario
Ricerche
Cerca Docenti
Cerca Insegnamenti
Cerca insegnamenti degli Ordinamenti precedenti al D.M.509
Erogati in lingua Inglese
Uscita

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
Manifesti degli StudiChange LanguageChange Language
Dati Insegnamento

Contesto
Anno Accademico 2014/2015
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)
--AZZZZCherubini Alessandra
24/05/2019 Area Servizi ICT v. 2.12.1 / 2.12.1