Libri UniversitariApri il catalogo

Asperti – Logica a informatica

Libro adottato a Bologna, a.a. 2026/2027 · 1 canale

«Asperti – Logica a informatica» è adottato per Logica per L'Informatica dal prof. Claudio Sacerdoti Coen (Informatica – Bologna).

Asperti – Logica a informaticaCerca su Amazon ›

Come lo indica il docente: A. Asperti - A. Ciabattoni, Logica a informatica, McGraw Hill, 1997

Titolo
Logica a informatica
Autori
Andrea Asperti
Editore
McGraw-Hill libri Italia, 2021
ISBN
9788838655517

Chi lo adotta

Programma e testi di ogni canale

Logica per L'Informatica – 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 ›

Asperti – Logica a informaticaquesto libroCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Masini – Logica simbolicaCerca 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.

Si studia insieme a