- Conosce le intersezioni della logica con l'informatica