Corso di Studi: Laurea in Informatica (vai al sito)
Calendario didattico: I corsi iniziano il 01.03.2021 e terminano il 12.06.2021. (apri il calendario)
Nome Docente: Prof.ssa Valeria Fionda (invia email)
Orario di ricevimento: Su appuntamento
Numero di crediti ECTS: 6
SSD di riferimento: INF/01-Informatica
Obiettivi: Obiettivo primario del corso è quello di fornire gli strumenti necessari per manipolare formalizzazioni logiche e teorie basate su linguaggi formali e automi. Saranno altresì acquisite abilità nella realizzazione di scanner e parser per il riconoscimento di linguaggi.
Orario delle lezioni: Lunedí dalle 11.30 alle 13.30. Giovedí dalle 14.00 alle 17.00. Canale Teams codice:
jji00rn link: https://teams.microsoft.com/l/team/19%3a24c3a69cb3ce4def90bb4ce84f2c4cb4%40thread.tacv2/conversations?groupId=60f4444e-7826-4c40-a7f7-25aeac6536ef&tenantId=7519d0cd-2106-47d9-adcb-320023abff57
Programma
Linguaggio proposizionale
Sistemi formali
Sintassi della logica proposizionale
Semantica della logica proposizionale
Decidibilità e completezza
Sistemi deduttivi proposizionali
Sistemi assiomatici
Tableau proposizionali
Forma normale a clausole
Risoluzione proposizionale
Teoria dei linguaggi formali
Grammatiche e linguaggi
Espressioni regolari
Linguaggi context-free
Teoria degli automi
Automi a stati finiti
Automi a pila
Nondeterminismo negli automi
Scrittura di scanner e parser
Testi Consigliati
Titolo: Strutture, Logica, Linguaggi
Autori: Luigia Carlucci Aiello, Fiora Pirri
Casa Editrice: Pearson
Titolo: Automi, linguaggi e calcolabilità
Autori: John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman
Casa Editrice: Pearson
Modalità d'esame
Lo studente che, in regola con l’iscrizione e le tasse relative può sostenere tutte le prove di accertamento del profitto.
L’esame consta di una prova scritta della durata indicative di 1h e 30 minuti composta da tre parti:
La prima parte relativa alla logica proposizionale
La seconda parte relativa agli automi a stati finiti