Automi e Linguaggi

Anno Accademico: 2023-2024 - Docente: Marco Cesati - Tutor: Sara Da Canal

Insegnamenti da 6 CFU dell'ordinamento DM270/2004

Secondo anno del corso di Laurea in Ingegneria Informatica

AUTOMI E LINGUAGGI (6 CFU) è un insegnamento di base obbligatorio del secondo anno della laurea in Ingegneria Informatica (triennale). 

Per gli studenti immatricolati in anni accademici precedenti al 2018-2019 AUTOMI E LINGUAGGI è inserito in un gruppo di tre insegnamenti a scelta, insieme a SISTEMI OPERATIVI e a MOBILE PROGRAMMING: ogni studente deve sostenere almeno due esami scelti liberamente da questi tre insegnamenti.

Svolgimento

4 marzo 2024 - 15 giugno 2024

 (secondo semestre) 

Obiettivo dell'insegnamento

L'insegnamento intende fornire una visione introduttiva dell'Informatica Teorica. "Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi e dei processi per la rappresentazione dell'informazione e per la sua elaborazione. Come accade per altre discipline tecnico-scientifiche, anche nel caso dell'informatica esiste un insieme di concetti, di principi, di proprietà logico-matematiche che ne costituiscono il fondamento teorico. Su tale fondamento si basano i progettisti per realizzare modelli formali di sistemi e processi di calcolo, per progettare nuovi strumenti informatici e nuove applicazioni e per analizarne e certificarne le prestazioni." (dalla voce Informatica Teorica nell'Enciclopedia Treccani della Scienza e della Tecnica, 2007). In pratica, AUTOMI E LINGUAGGI fornisce i rudimenti di teoria dei linguaggi, teoria della computabilità e teoria della complessità. 

Programma sintetico

Prerequisiti

Gli insegnamenti sono progettati per gli studenti del secondo anno del corso di Laurea in Ingegneria Informatica.

Affinché le prove d'esame siano legalmente valide l'insegnamento deve essere inserito nel piano di studi valido per l'Anno Accademico 2023/24.

Informazioni generali sull'insegnamento

Iscrizione

Per poter sostenere le prove di verifica e di esame è necessario iscriversi all'insegnamento entro il 15 giugno 2024.

Non sarà accolto alcun reclamo relativo alla (mancata) iscrizione all'insegnamento dopo il 15 giugno 2024.

Studenti già iscritti in precedenti anni accademici devono comunque iscriversi all'insegnamento per questo anno accademico.

Studenti non iscritti potranno comunque partecipare alle prove d'esame, ma non potranno usufruire dei servizi offerti dalla piattaforma GOCU. In particolare non potranno ricevere via posta elettronica avvisi e risultati delle prove d'esame. 

Sistema di gestione online dell'insegnamento

Questo insegnamento fa uso di un sistema software (G.O.C.U.) per la gestione delle iscrizioni all'insegnamento e delle prove di esame.

Si deve accedere alla piattaforma GOCU per iscriversi all'insegnamento (è necessario indicare un indirizzo email valido, vedi la sezione sulle 'regole' in GOCU) e per prenotarsi alle prove d'esame. Al termine della procedura di iscrizione si ottiene il proprio codice studente (valido per l'anno accademico 2023/24) necessario per accedere all'area studenti.

Il sistema:

ATTENZIONE!