Volendolo fare a mano:
\( \displaystyle F(z)=\displaystyle\sum_{k=-\infty}^{+\infty}f(k)z^{-k} \)
\( \displaystyle F(z)=\displaystyle2\sum_{k=-\infty}^{+\infty}\cos(k+3)1(k-1)z^{-k}=2\sum_{k=1}^{+\infty}\cos(k+3)z^{-k}= \)
\( \displaystyle =2z^3\displaystyle\sum_{i=4}^{+\infty}\cos(i)z^{-i}=2z^3\left(\sum_{i=0}^{+\infty}\cos(i)z^{-i}-1-\cos(1)z^{-1}-\cos(2)z^{-2}-\cos(3)z^{-3}\right)= \)
\( \displaystyle =\displaystyle2z^3Z\{\cos(k)1(k)\}-2z^3-2\cos(1)z^2-2\cos(2)z-2\cos(3)\right) \)
dove ho posto \( \displaystyle i=k+3 \) e dove \( \displaystyle Z\{\cos(k)1(k)\} \) è la trasformata zeta monolaterale destra del coseno che è nota e la puoi vedere nella tabella
qui.