Libri UniversitariApri il catalogo

Ben-Ari – Logica Matematica per l'informatica

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

«Ben-Ari – Logica Matematica per l'informatica» è adottato per Logica per Informatica dal prof. Marilena Crupi (Informatica – sede di Messina – Messina).

Ben-Ari – Logica Matematica per l'informaticaCerca su Amazon ›

Come lo indica il docente: M. Ben-Ari, Logica Matematica per l'informatica, UTET (1998)

Titolo
Logica matematica per l'informatica
Autori
Mordechai <1948- > Mordechai Ben-Ari Ben-Ari, edizione italiana a cura di Anna Labella
Editore
Prentice hall international, 1998
ISBN
9788877505439

Chi lo adotta

Programma e testi di ogni canale

Logica per Informatica – 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'informaticaquesto libroCerca 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.

Si studia insieme a