Elementi di Informatica teorica

Avviso

Informazioni sul corso

Elementi di Informatica Teorica è un insegnamento del primo anno del Corso di Studi in Informatica dell'Università della Calabria. Inoltre è un insegnamento opzionale per gli studenti del Corso di Studi in Matematica. L'insegnamento propone agli studenti una introduzione allo studio della logica matematica, dei linguaggi formali e degli automi, soffermandosi in particolare sulla logica proposizionale, sui linguaggi regolari e context-free, sugli automi a stati finiti e sugli automi a pila. Negli anni passati tali tematiche erano trattate negli insegnamenti di Linguaggi formali e compilatori e Linguaggi e logiche per l'informatica. L'insegnamento è di 6 ECTS, di cui 4 di teoria (32 ore) e 2 di esercitazione (24 ore).


Nell'Anno Accademico 2023/2024 il corso si suddivide in due gruppi.


GRUPPO A (cognomi A - LIG)

Docente: Marco Maratea

Link al team del gruppo A: https://teams.microsoft.com/l/team/19%3a2DZEd8csRdjLWyMfIsECWykWKJVWmJY3NqS5ftR-8JE1%40thread.tacv2/conversations?groupId=69944e6a-ddd8-4da8-bcdc-e15c945fb80e&tenantId=7519d0cd-2106-47d9-adcb-320023abff57

Codice del team del gruppo A: ueyo1lw


GRUPPO B (cognomi LIP - Z)

Docente: Giovanni Amendola

Docente: Erica Coppolillo

Link al team del gruppo B: https://teams.microsoft.com/l/team/19%3ABk16ZPuHyuRBdKUUFhf7PamaWDpULVKasyFFBvIK8-E1%40thread.tacv2/conversations?groupId=436b941f-967b-45ad-93c6-33be55dfff39&tenantId=7519d0cd-2106-47d9-adcb-320023abff57

Codice del team del gruppo B: 2x7n77o

Calendario delle lezioni (A.A. 2023/2024)

Le lezioni si svolgeranno tra il 26 febbraio e il 25 maggio secondo i seguenti orari:

https://unical.prod.up.cineca.it/calendarioPubblico/linkCalendarioId=65af858d3321f0001fe6a11a

Testi proposti

Libro di testo

Libri consigliati

Esame