  We construct the new non-trivial state--sum invariants for virtual knots and
links by a generalization of the powerful
Carter--Saito--Jelsovsky--Kamada--Langford theorem for classical knots. The
main result of this work is based on cohomology quandle theory and colorings of
virtual knot and link diagrams by quandle elements.
