Libri UniversitariApri il catalogo

Logics And Reasoning – prof. Giuseppe Perelli

Computer Science - Informatica · Sapienza Università di Roma · 1º anno · 2º semestre · 6 CFU · a scelta (Gruppo B - Caratterizzanti) · canale unico

Testi d'esame di Logics And Reasoning del prof. Giuseppe Perelli, canale unico, corso di laurea in Computer Science - Informatica (Laurea magistrale (LM-18)), Sapienza Università di Roma, 1º anno · 2º semestre · 6 CFU · a scelta (Gruppo B - Caratterizzanti), a.a. 2026/2027. Libri adottati: A concise introduction to Mathematical Logic, W. Rautenberg; Elements of Finite Model Theory, L. Libkin (https://homepages.inf.ed.ac.uk/libkin/fmt/fmt.pdf); Modal Logic, P. Blackburn, M. de Rijke, Y.; Reasoning about Knowledge, R. Fagin, J. Halpern, Y..

Logics And Reasoning – Prof. Giuseppe Perelli Canale unico

Corso di laurea: Computer Science - Informatica · Laurea magistrale (LM-18) · 1º anno · 2º semestre · 6 CFU · a scelta (Gruppo B - Caratterizzanti) / 1º anno · 2º semestre · 6 CFU · a scelta (Gruppo C - Affini) / 2º anno · 2º semestre · 6 CFU · a scelta (Gruppo B - Caratterizzanti) / 2º anno · 2º semestre · 6 CFU · a scelta (Gruppo C - Affini)

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

A concise introduction to Mathematical Logic, W. RautenbergVai su Amazon ›Verificato sulla scheda ufficiale il 18/09/2026
Elements of Finite Model Theory, L. Libkin (https://homepages.inf.ed.ac.uk/libkin/fmt/fmt.pdf)Vai su Amazon ›Verificato sulla scheda ufficiale il 18/09/2026
Modal Logic, P. Blackburn, M. de Rijke, Y.Vai su Amazon ›Verificato sulla scheda ufficiale il 18/09/2026
Reasoning about Knowledge, R. Fagin, J. Halpern, Y.Vai su Amazon ›Verificato sulla scheda ufficiale il 18/09/2026
Bacheca del docente: cosa indica di studiare

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.

Apri la scheda ufficiale ›
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Altre materie del prof. Perelli

Altri esami del 1º anno – Computer Science - Informatica

Vedi anche: Prof. Giuseppe Perelli · Logics And Reasoning a Sapienza (tutti i canali)