Libri UniversitariApri il catalogo

Logica per Informatica – prof. Marilena Crupi

Informatica – sede di Messina · Università degli Studi di Messina · 2º anno · 1º semestre · Tecnologie Informatiche · 6 CFU · canale unico

Libri del canale

Logica per Informatica 6 CFU

MCProf. Marilena Crupi Canale unico
Ben-Ari – Logica Matematica per l'informaticaIl prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026
Cerca su Amazon ›
Lolli – Introduzione alla logica formaleIl prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026
Cerca su Amazon ›
Bacheca del docente: cosa indica di studiare

Argomenti del programma: Teoria degli insiemi: ​​​​​​​ Relazioni d'ordine. Insieme ordinato. Estremo superiore. Estremo inferiore. Massimo. Minimo. Reticolo. Reticolo limitato, complementato. Algebra di Boole. ​​​​​​​ Il calcolo proposizionale: Operatori Booleiani. Formule proposizionali. Interpretazioni booleiane. Equivalenza logica. Soddisfacibilità, validità e conseguenza logica. Tableaux semantici. Dimostrazioni deduttive.

Apri la scheda ufficiale ›
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Apri nel catalogo: Informatica – sede di Messina, 2º anno, tutte le materie e i canali ›

Testi d'esame di Logica per Informatica del prof. Marilena Crupi, canale unico, corso di laurea in Informatica – sede di Messina (Laurea triennale (L-31)), Università degli Studi di Messina, 2º anno · 1º semestre · Tecnologie Informatiche · 6 CFU, a.a. 2026/2027. Libri adottati: Ben-Ari – Logica Matematica per l'informatica; Lolli – Introduzione alla logica formale.

Altre materie del prof. Crupi

Vedi anche: Prof. Marilena Crupi · Logica per Informatica a Messina (tutti i canali)