Logica per L'Informatica – Bologna

Alma Mater Studiorum - Università di Bologna · Scienze · tutti i canali con docenti e libri, a.a. 2026/2027

Prof. Claudio Sacerdoti Coen Canale unico

Corso di laurea: Informatica · Laurea triennale (L-31) · 1º anno · 1º semestre · 6 CFU

Bologna · Scienze · 6 CFU · apri nel catalogo · Informatica · 1º anno · 1º semestre ›

Il docente indica 2 testi · da studiare tutti

Asperti – Logica a informatica Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Masini – Logica simbolica Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

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.