Prof. Antonio Ledda

Università degli Studi di Cagliari · Studi Umanistici · libri consigliati e cosa studiare, a.a. 2026/2027

Libri adottati dal prof. Antonio Ledda

Davis – Il calcolatore universale – Storia dell'Informatica e dell'Intelligenza Artificiale (Filosofia e Forme del Sapere – sede di Cagliari, esame facoltativo · 6 CFU)
Fazio – Percorsi di logica – Logica (Filosofia e Forme del Sapere – sede di Cagliari, 1º anno · 2º semestre · 12 CFU)
Dalla – Sperimentare la logica – Logica e Teoria dell'Argomentazione (Scienze Pedagogiche e dei Processi Formativi – sede di Cagliari, 1º anno · 1º semestre · Curriculum A) Progettista dei Processi Educativi · 6 CFU)

Materie del prof. Antonio Ledda

Storia dell'Informatica e dell'Intelligenza Artificiale Canale unico

Corso di laurea: Filosofia e Forme del Sapere – sede di Cagliari · Laurea magistrale (LM-78) · esame facoltativo · 6 CFU

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

Il docente indica 1 testo

Davis – Il calcolatore universale Cerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026

Libri consigliati nell'a.a. 2025/2026

Davis – Il calcolatore universale Cerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026

Bacheca del docente: cosa indica di studiare

Argomenti del programma: Il corso procederà a partire dalle prime idee di Leinitz, sino alla formulazione della nozione contemporanea di computazione.

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

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

Logica 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 e Teoria dell'Argomentazione Canale unico

Corso di laurea: Scienze Pedagogiche e dei Processi Formativi – sede di Cagliari · Laurea magistrale (LM-85) · 1º anno · 1º semestre · Curriculum A) Progettista dei Processi Educativi · 6 CFU

Cagliari · Studi Umanistici · 6 CFU · apri nel catalogo · Scienze Pedagogiche e dei Processi Formativi – sede di Cagliari · 1º anno · 1º semestre ›

Il docente indica 1 testo

Dalla – Sperimentare la logica Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoDa studiare: Capitolo 1Verificato sulla scheda ufficiale il 03/10/2026

Bacheca del docente: cosa indica di studiare

Argomenti del programma: Il corso si concentrerà sulle nozioni di base dell'insiemeistica.

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

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

Domande frequenti

Quali libri consiglia il prof. Antonio Ledda per Storia dell'Informatica e dell'Intelligenza Artificiale?

Davis – Il calcolatore universale

Quali libri consiglia il prof. Antonio Ledda per Logica?

Fazio – Percorsi di logica

Quali libri consiglia il prof. Antonio Ledda per Logica e Teoria dell'Argomentazione?

Dalla – Sperimentare la logica