Logique (sciences de l'ingénieur)/Prérequis conseillés