Abstract: We start from the basic definitions of knot theory. Using the combinatorial approach with diagrams we define Khovanov homology: an invariant for oriented links that generalize Jones polynomial. We don't give all the details of the definitions, but we try to give an idea of the construction and some topological and categorial properties. We will finish talking about a variant for framed links that I have constructed.