We consider two definitions of coherent states in a finite-dimensional
Hilbert space based on (i) truncation of the usual coherent state exp
ansion and (ii) generalization of the displacement operator acting on
vacuum. The number-phase Wigner function is computed for such states.
Analytical results and numerically computed graphs are presented. Spec
ial attention is paid to two-level slates and to their Stokes paramete
r representations.