Masini – Logica simbolica

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

«Masini – Logica simbolica» è adottato per Logica per L'Informatica dal prof. Claudio Sacerdoti Coen (Informatica – Bologna).

Masini – Logica simbolicaCerca su Amazon ›

Come lo indica il docente: A. Masini, Logica simbolica, McGraw Hill, 2023

Titolo: Logica simbolica
Autori: Andrea <1958- > Andrea Masini Masini
Editore: McGraw-Hill Education, 2023
ISBN: 9788838611360

Chi lo adotta

Logica per L'Informatica – Prof. Claudio Sacerdoti Coen (canale unico)Informatica · Laurea triennale (L-31) · 1º anno · 1º semestre · 6 CFU

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 ›

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 simbolicaquesto libroCerca 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

Asperti – Logica a informatica