Logics And Reasoning

Sapienza Università di Roma · Ingegneria dell'informazione, informatica e statistica · tutti i canali con docenti, libri e orari, a.a. 2026/2027

Prof. Giuseppe Perelli Canale unico

Ingegneria dell'informazione, informatica e statistica · esame facoltativo · 6 CFU · apri nel catalogo

A concise introduction to Mathematical Logic, W. Rautenberg Vai su Amazon ›

Elements of Finite Model Theory, L. Libkin (https://homepages.inf.ed.ac.uk/libkin/fmt/fmt.pdf)Vai su Amazon ›

Modal Logic, P. Blackburn, M. de Rijke, Y.Vai su Amazon ›

Reasoning about Knowledge, R. Fagin, J. Halpern, Y.Vai su Amazon ›

Cosa indica di studiare il docente

Argomenti del programma: Parte 1 (Calcolo proposizionale e Logica del Primo Ordine) - Fondamenti: Logica predicativa, strutture e modelli. Teorie. Definibilità, completezza, decidibilità, esempi di teorie complete, eliminazione dei quantificatori, isomorfismo ed equivalenza elementare di strutture. - Teoria dei Modelli Finiti: esprimibilità di query in varie logiche.