Necessary and sufficient conditions for a discrete-time system to be stabilizable via static output feedback are established. The conditions include a Riccati equation. An iterative as well as non-iterative LMI based algorithm with guaranteed cost for the computation of output stabilizing feedback gains is proposed and introduces the novel LMI approach to compute the stabilizing output feedback gain matrix. The results provide the discrete-time counterpart to the results by Kučera and De Souza.