Libri UniversitariApri il catalogo

Logica per Informatica – Messina

Università degli Studi di Messina · Scienze Matematiche e Informatiche, Scienze Fisiche e Scienze della Terra · tutti i canali con docenti e libri, a.a. 2026/2027

Prof. Marilena Crupi Canale unico

Corso di laurea: Informatica – sede di Messina · Laurea triennale (L-31) · 2º anno · 1º semestre · Tecnologie Informatiche · 6 CFU

Messina · Scienze Matematiche e Informatiche, Scienze Fisiche e Scienze della Terra · 6 CFU · apri nel catalogo · Informatica – sede di Messina · 2º anno · 1º semestre ›

Ben-Ari – Logica Matematica per l'informaticaCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026
Lolli – Introduzione alla logica formaleCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026
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.