Serge Abiteboul – And Victor Vianu

Libro adottato a Siena, a.a. 2025/2026 · 2 canali

«Serge Abiteboul – And Victor Vianu» è adottato per Logics For Artificial Intelligence (Applied Mathematics – sede di Siena – Siena); per Foundations Of Mathematics dal prof. Carles Noguera Clofent (Language and Mind: Linguistics and Cognitive Studies - Mente e Linguaggio: Linguistica e Studi Cognitivi – sede di Siena – Siena).

Come lo indica il docente: Serge Abiteboul, Richard Hull, and Victor Vianu. Foundations of Databases: The Logical Level, Pearson, 1994. - Mordechai Ben-Ari. Mathematical Logic for Computer Science, Springer, 2012. - C.C. Chang, H.J. Keisler. Model Theory, North Holland, 1990 - Petr Cintula, Christian G. Fermüller, Petr Hájek, and Carles Noguera (eds). Handbook of Mathematical Fuzzy Logic (in three volumes), Studies in Logic, Mathematical Logic and Foundations, and 58, College Publications, London, 2011 and 2015. - Petr Cintula and Carles Noguera. Logic and Implication: An Introduction to the General Algebraic Study of Non-Classical Logics, Trends in Logic, Springer vol. 57, 2021. - Heinz-Dieter Ebbinghaus and Jörg Flum. Finite Model Theory, Springer, 1995. - Herbert B. Enderton. A Mathematical Introduction to Logic, Academic Press, 2001. - Dov M. Gabbay, John Woods. The Many Valued and Nonmonotonic Turn in Logic. North Holland, 2008. - Petr Hájek. Metamathematics of fuzzy logic. Springer, 1998. - Wilfrid Hodges. Model Theory, Cambridge University Press, 1993. - Harry Lewis and Christos Papadimitriou. Elements of the theory of computation, Prentice-Hall, 1997. - Leonid Libkin. Elements of Finite Model Theory. Springer, 2004. - Greg Restall. An introduction to substructural logics. Routledge, 1999. - Stuart Russell and Peter Norvig. Artificial Intelligence: a modern approach, 2020. - Nicholas J.J. Smith. Vagueness and Degrees of Truth, Oxford University Press, 2008

Da acquistare più volumi. Il programma richiede 2 volumi di quest'opera (vol. 37, vol. 38): sono libri separati, vanno comprati tutti.

Chi lo adotta

• Logics For Artificial Intelligence – docente non ancora indicato (canale unico) a.a. 2025/2026Applied Mathematics – sede di Siena · Laurea magistrale (LM-40) · esame facoltativo / 1º anno · 2º semestre · 6 CFU
• Foundations Of Mathematics – Prof. Carles Noguera Clofent (canale unico) a.a. 2025/2026Language and Mind: Linguistics and Cognitive Studies - Mente e Linguaggio: Linguistica e Studi Cognitivi – sede di Siena · Laurea magistrale (LM-39) · esame facoltativo · Philosophy and Cognition · 6 CFU

Programma e testi di ogni canale

Si studia insieme a

• Abiteboul – Foundations of Databases
• Ben-Ari – Mathematical Logic for Computer Science
• Chang – Model Theory
• Cintula – Handbook of Mathematical Fuzzy Logic
• Cintula – Logic and Implication
• Ebbinghaus – Finite Model Theory