You are asking too many questions, some of them are very difficult.
Here are some answers.
Image of a Jordan curve under a rational function. Take a circle for $\gamma$.
Every continuous function on the circle can be uniformly approximated by a finite trigonometric sum (=Laurent polynomial). Laurent polynomial is a rational function.
So the image can be "any" closed curve you want (must be algebraic, of course, but
can uniformly approximate any closed curve). If $\gamma$ is not a circle, consider
a conformal map $\phi$ of $\gamma$ onto a circle, approximate this conformal map
by a polynomial, and then take the composition of your rational function
with this polynomial.
For polynomials/entire functions this is not so. Because we have argument principle:
The index with respect to any point in the complement of the curve must be zero for
a point far away, and non-negative for every other point. So for example, the image
cannot have the shape of figure 8. However, a complete topological characterization
of images under polynomials is a difficult topological problem.
See for example MR0402776 (the review itself contains a nice little survey of the topic).
The author credits Titus with examples showing that the
index condition is not sufficient.
Various combinatorial criteria exist, but they are very complicated.
The difference between polynomials and entire functions you cannot tell (there is no difference in the topology of the image) because polynomials are dense in the space
of entire functions.
Then you ask about pre-images. Notice that a pre-image can be disconnected. Components
of preimage may be non-Jordan: they are ramified at the critical points of your function.
Components of pre-image of a Jordan region under an entire functions are simply
connected (this follows from the maximum princile).
Components of the preimage under an entire function can be unbounded.
One can give a complete topological description of pre-images under rational
functions and under polynomials, if this is what you want.
EDIT.
For example, consider a preimage of a Jordan curve under a polynomial.
Take any finite forest (union of disjoint trees) embedded in the plane.
Replace every vertex by a topological disk, and let the disks touch wherever
there is an edge. This is a topological model of the preimage.
If you want to fix the degree of the polynomial, then additionally you
prescribe to each disk a positive integer (the degree of the ramified covering),
and sum of these integers is the degree of your polynomial.
The proof that every such picture can occur is by the Uniformization theorem.
(Uniformization theorem reduces all topological questions about preimages to pure topology).
For rational functions the description is similar but more complicated.
For entire functions it is still more complicated because now we not only deal
with an infinite forest, but the "discs" can be unbounded, and quite complicated
(a disk can have uncountable set of accessible points at infinity, etc.)
Here there is an additional difficulty that the Uniformization theorem is not
sufficient; one also needs a criterion for distinguishing a disk from the plane.
EDIT 2.
However, I strongly believe that in the case of transcendental entire functions, every topological
picture consistent with the
Maximum Modulus Principle and the evident local condition is possible.
I don't think there is a published statement of this but I believe this is not difficult,
just a good exercise.
