Logica per L'Informatica – prof. Claudio Sacerdoti Coen

Informatica · Alma Mater Studiorum - Università di Bologna · 1º anno · 1º semestre · 6 CFU · canale unico

Libri del canale

Logica per L'Informatica 6 CFU

CCProf. Claudio Sacerdoti Coen Canale unico

Il docente indica 2 testi · da studiare tutti

Asperti – Logica a informaticaVerificato sulla scheda ufficiale il 02/10/2026

Cerca su Amazon ›

Masini – Logica simbolicaVerificato sulla scheda ufficiale il 02/10/2026

Cerca su Amazon ›

Bacheca del docente: cosa indica di studiare

Entrambi i testi coprono la maggior parte degli argomenti visti a lezione. Per i restanti (semantica intuizionista, BNF, ricorsione e induzione strutturale) viene fornito dal docente materiale integrativo.

Argomenti del programma: 1. Paradossi e loro risoluzione: Giustificazione della logica formale. Applicazione dei paradossi per dimostrare risultati negativi in informatica (cenni). 2. Cenni alla teoria assiomatica degli insiemi: ZF, relazioni, funzioni, quozienti, cardinalità. Teorema di Cantor. 3. Logica proposizionale: Sintassi e semantiche classica e intuizionista (cenni).

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

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

Apri nel catalogo: Informatica, 1º anno, tutte le materie e i canali ›

Testi d'esame di Logica per L'Informatica del prof. Claudio Sacerdoti Coen, canale unico, corso di laurea in Informatica (Laurea triennale (L-31)), Alma Mater Studiorum - Università di Bologna, 1º anno · 1º semestre · 6 CFU, a.a. 2026/2027. Libri adottati: Asperti – Logica a informatica; Masini – Logica simbolica.

Altre materie del prof. Coen

Languages And Algorithms For Artificial Intelligence I.C. · Artificial Intelligence · 1º anno · 2º semestre · 12 CFU
Fondamenti Logici dell'Informatica · Informatica · 1º anno · 1º semestre · 6 CFU

Vedi anche: Prof. Claudio Sacerdoti Coen · Logica per L'Informatica a Bologna (tutti i canali)