Didattica

L’associazione ha svolto un censimento sulla Didattica della Logica Computazionale in Italia raccogliendo dati relativi agli anni accademici 2013-2014 e 2014-2015.

Le sedi universitarie che hanno partecipato al censimento sono 35 (Bari Politecnico, Bari Università Aldo Moro, Bologna, Bolzano Libera Università, Calabria Università, Cassino e Lazio Meridionale, Catania, Ferrara, Firenze, Genova, Insubria, L’Aquila, Marche Università Politecnica, Messina, Milano Bicocca, Milano Politecnico, Milano Università, Napoli, Palermo, Parma, Perugia, Piemonte Orientale, Pisa Università, Roma Sapienza, Roma Tor Vergata, Roma Tre, Salerno Università, Siena, Torino Università, Trento, Trieste, Udine, Urbino, Venezia, Verona) e sono mostrate nel diagramma che segue, in ordine descrescente di ore di lezione erogate.

Numero di ore dedicate alla logica computazionale nei corsi di laurea delle università riportate

Gli insegnamenti coinvolti sono 60 e sono prevalentemente insegnamenti di Corsi di Laurea Magistrale; le ore di lezione dedicate alla Logica Computazionale sono state circa 1600 all’anno.

Gli argomenti trattati coprono i formalismi (logica proposizionale, logica del prim’ordine, logiche modali, temporali, descrittive, situation calculus), le tecniche di computazione (risoluzione, dimostrazione automatica di teoremi, programmazione logica, programmazione logica a vincoli, programmazione concorrente con vincoli, programmazione logica induttiva, answer set programming, programmazione ad agenti), i linguaggi (Prolog, GoLog, Curry, Jason, DALI, DataLog, RDF/RDFS, i linguaggi di query) e le applicazioni (trattamento del linguaggio naturale, argomentazione, web semantico, ontologie, sistemi biologici).

Maggiori dettagli sul censimento, condotto da Viviana Mascardi con la collaborazione di Alberto Pettorossi, sono disponibili nel file: CensimentoReport.PDF