Logica – Cagliari

Università degli Studi di Cagliari · Studi Umanistici · tutti i canali con docenti e libri, a.a. 2026/2027

Prof. Antonio Ledda Canale unico

Corso di laurea: Filosofia e Forme del Sapere – sede di Cagliari · Laurea magistrale (LM-78) · 1º anno · 2º semestre · 12 CFU

Cagliari · Studi Umanistici · 12 CFU · apri nel catalogo · Filosofia e Forme del Sapere – sede di Cagliari · 1º anno · 2º semestre ›

Il docente indica 1 testo

Fazio – Percorsi di logica Cerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026

Bacheca del docente: cosa indica di studiare

Argomenti del programma: • Nozioni di base • Tableaux analitici per la logica proposizionale • Consistenza e Completezza del sistema dei tableaux • Il Teorema di Compattezza per la logica proposizionale • Consistenza e massimalità • La logica del prim’ordine • Nozioni fondamentali • Tableaux analitici al prim’ordine • Consistenza e Completezza del sistema dei tableaux del prim’ordine • Il Teorema di Completezza per i tableaux del…

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Logica negli altri atenei

Logica – Cattolica Milano · Logica – Genova · Logica – Macerata · Logica – Padova · Logica – Pisa · Logica – Siena · Logica – Torino · Logica – Bologna · Logica – Ca' Foscari · Logica – Urbino