Conoscere come alcuni concetti della matematica siano utilizzati nell'informatica, in particolare i principi di base della logica formale.

• Proposizioni e connettivi logici
• Tavole di verità
• Equivalenza logica e proprietà dell'algebra booleana