Marletti – Argomenti di LogicaCerca su Amazon ›Da studiare: Capitolo 1, tutto capitolo 2, §§ 2.1-2.3 capitolo 3, §§ 3.1-3.3 e 3.6 capitolo 4, tutto capitolo 5, §§ 5.1-5.2 capitolo 8, §§ 8.1-8.3 capitolo 9, tutto meno il § 9.3 capitolo 10, §§ 10.1-10.5 capitolo 11, il § 11.1Verificato sulla scheda ufficiale il 02/10/2026
Bacheca del docente: cosa indica di studiare
Argomenti del programma: Il corso è un'introduzione alla logica del primo ordine, sia per gli aspetti sintattici che per quelli semantici, con particolare attenzione ai sistemi di prova. Le conoscenze apprese verranno utilizzate anche per l'analisi di tradizionali e importanti temi filosofici.
Argomenti del programma: Sintassi modale, Semantica di Kripke, Tableaux modali, Completezza con modalli canonici, risultati di caratterizzabilità, K, T, B, S4, S5, GL, condizioni di derivabilità di Hilbert–Bernays–Löb, Teoremi di incompletezza di Godel, Terema del punto fisso, Teorema di Solovey. E tempo permettendo altre applicazioni della logica della provabilità.
Marletti – Argomenti di LogicaCerca su Amazon ›Da studiare: Capitolo 1, tutto capitolo 2, §§ 2.1-2.3 capitolo 3, §§ 3.1-3.3 e 3.6 capitolo 4, tutto capitolo 5, §§ 5.1-5.2 capitolo 8, §§ 8.1-8.3 capitolo 9, tutto meno il § 9.3 capitolo 10, §§ 10.1-10.5 capitolo 11, il § 11.1Verificato sulla scheda ufficiale il 02/10/2026
Bacheca del docente: cosa indica di studiare
Argomenti del programma: Il corso è un'introduzione alla logica del primo ordine, sia per gli aspetti sintattici che per quelli semantici, con particolare attenzione ai sistemi di prova. Le conoscenze apprese verranno utilizzate anche per l'analisi di tradizionali e importanti temi filosofici.
Libri Universitari