Masini – In Viaggio con la Logica Simbolica

Libro adottato a Genova, a.a. 2026/2027 · 2 canali

«Masini – In Viaggio con la Logica Simbolica» è adottato per Logica e Algebra dai docenti Emanuela De Negri, Alessandro Oneto, Alessandro De Stefani, Aldo Conca, Matteo Varbaro, Anna Maria Bigatti, Sara Negri e Maria Rosaria Pati (Matematica – Genova); per Logica Matematica dal prof. Sara Negri (Metodologie filosofiche – Genova).

Come lo indica il docente: Masini, A., In Viaggio con la Logica Simbolica, McGraw-Hill, 2023

Chi lo adotta

• Logica e Algebra – Prof. Emanuela De Negri, Prof. Alessandro Oneto, Prof. Alessandro De Stefani, Prof. Aldo Conca, Prof. Matteo Varbaro, Prof. Anna Maria Bigatti, Prof. Sara Negri, Prof. Maria Rosaria Pati (canale unico)Matematica · Laurea magistrale (LM-40) · 1º anno · tutto l'anno (semestre non indicato) · 12 CFU
• Logica Matematica – Prof. Sara Negri (canale unico)Metodologie filosofiche · Laurea magistrale (LM-78) · 1º anno · 1º semestre · 6 CFU

Programma e testi di ogni canale

Si studia insieme a

• Abrusci – Volume 1 Dimostrazioni e modelli al primo…
• Le Monnier
• von Plato, J. Elements of Logical Reasoning, Cambridge
• Schwichtenberg – Mathematical Logic
• Shoenfield – Mathematical Logic
• van Dalen – Logic and Structure