Vai al contenuto principale
Italiano
English
Login
Dipartimento di Informatica
Corso di laurea in Informatica
search
menu
Seguici su
Facebook
Twitter
Instagram
Youtube
Cerca:
Cerca in:
Ricerca avanzata
Tutto il sito
Insegnamenti
Docenti
Avvisi
Documenti
Aule
Storico dei corsi
Verbali
Facebook
Twitter
Instagram
Youtube
Home
Il corso
Scheda del corso
Perché studiare con noi
Profili professionali
Docenti
Contatti
Dove siamo
Organizzazione
Presidente
Consiglio
Manager didattico
Coordinatori/Tutor
Commissioni
Rappresentanza Studentesca
Segreteria studentesse e studenti
Regolamenti
Modulistica
Assicurazione della qualità
Sistema di assicurazione della qualità del corso di studi
Opinioni delle studentesse e degli studenti
Iscriversi
Orientamento
Guida al corso di laurea (e regolamenti didattici)
Requisiti di ammissione, TARM e TOLC
Iscrizioni
Riconoscimento crediti
Titoli di studio conseguiti all'estero
International students
Tasse
Residenze e mense
Studiare
Calendario didattico
Orario lezioni
Insegnamenti
Piano carriera
Appelli d'esame
E-learning
Aule e laboratori
Tutorato
Disabilità e Disturbi Specifici dell'Apprendimento
Borse, premi e collaborazioni
Stage
Mobilità internazionale
Software per lo studio
Lettorati
Laurearsi
Tesi/stage e laurea (prova finale)
Proseguire gli studi
Orientamento al lavoro
Job placement
Esami di Stato
Intranet
Home
Il corso
arrow_drop_down
Scheda del corso
Perché studiare con noi
Profili professionali
Docenti
Contatti
Dove siamo
Organizzazione
arrow_drop_down
Presidente
Consiglio
Manager didattico
Coordinatori/Tutor
Commissioni
Rappresentanza Studentesca
Segreteria studentesse e studenti
Regolamenti
Modulistica
Assicurazione della qualità
arrow_drop_down
Sistema di assicurazione della qualità del corso di studi
Opinioni delle studentesse e degli studenti
Iscriversi
arrow_drop_down
Orientamento
Guida al corso di laurea (e regolamenti didattici)
Requisiti di ammissione, TARM e TOLC
Iscrizioni
Riconoscimento crediti
Titoli di studio conseguiti all'estero
International students
Tasse
Residenze e mense
Studiare
arrow_drop_down
Calendario didattico
Orario lezioni
Insegnamenti
Piano carriera
Appelli d'esame
E-learning
Aule e laboratori
Tutorato
Disabilità e Disturbi Specifici dell'Apprendimento
Borse, premi e collaborazioni
Stage
Mobilità internazionale
Software per lo studio
Lettorati
Laurearsi
arrow_drop_down
Tesi/stage e laurea (prova finale)
Proseguire gli studi
Orientamento al lavoro
Job placement
Esami di Stato
Intranet
Home
Materiale didattico
Metodi Formali dell'Informatica - Parte AINF0190
Metodi Formali dell'Informatica - Parte A
(INF0190)
Docente:
Ugo De' Liguoro
Anno:
3° anno
Corso di studi:
[008707] Laurea in Informatica
MATERIALE DIDATTICO
Nessun materiale didattico per questo insegnamento.
Home
Stampa
Inizio pagina
Non cliccare qui!
