L’insegnamento getta le basi di un approccio formale all’informatica, e costituisce il fondamento metodologico di tutto il successivo percorso formativo. I macro-argomenti dell’insegnamento: 

• rappresentazione dei dati e loro codifica digitale e circuiti digitali;  
• introduzione alle tecniche di dimostrazione e alla logica proposizionale e dei quantificatori; 
• elementi di teoria dei linguaggi regolari e automi a stati finiti, 

contengono un insieme di conoscenze e competenze richieste da tutti i successivi insegnamenti di settore informatico. Quindi l’insegnamento ha un carattere propedeutico e multidisciplinare.

Si rimanda alla pagina ufficiale dell'insegnamento per una descrizione più approfondita.