Why a sheaf is an object that permits to get global information from local one? Is there somebody who can explain/show me why a sheaf is something that can permit us to move from the local to the global?
An explanation for the layman would be fine. Usually I tend to abhor them, but, being self-thaught and without any guidance, I think that kind of explanation could be a useful starting point to get what to look at during a first reading on the topic (they make something more salient).
Thanks a lot.
 A: In my understanding, one of the main points of introducing sheaves is to introduce sheaf cohomology. Often this will allow you to produce relationships between vector spaces that you might not have been able to see otherwise, and it can force very useful isomorphisms. If you have seen the long-exact sequence in homology associated to a short exact sequence, know that similar things happen here.
Often (of course not always) one is interested in the global sections of a sheaf, but various tricks can be used to say something about the global sections by means of understanding the higher cohomology groups. For example, a famous result in algebraic geometry uses downward induction from the higher cohomology groups to prove finite generation of global sections of certain sheaves. This result can be proven more directly, but the proof via cohomology is very clean.
Computing cohomology is fairly local in nature (for the initiated: I just mean that when you are computing cohomology via a Cech cover, you are making a bunch of local computations and organizing them into a complex. You do eventually make local computations everywhere, so its not like you are stealing information out of nowhere!) but results that it can force about global sections are global in nature.
I guess something else you may care to hear: On a locally contractible space, computing sheaf cohomology with the constant sheaf computes the usual singular cohomology. So it encompasses a theory that you will probably agree is very powerful.
The point I am trying to make is this: Sheaves can be constructed to keep track of a lot of different things. Sheaf cohomology lets you exploit hidden relationships between those things, often by computing things locally sort off. It is incredibly useful.
(Also, another point of sheaves is to define schemes and abstract algebraic varieties. The main philosophy there is that "the functions on a space define its geometry." Sheaves are a way of keeping track of "the functions on a space," which are especially useful in situations where there are not many global functions - like in algebraic geometry or complex analysis. The only holomorphic functions on a compact Riemann surface are the constant functions. But there are many holomorphic functions defined on open sets that surface. A sheaf keeps track of this data.)
(Another thing: You may wonder why all of these cohomology theories that can be developed on a real smooth manifold agree. (De Rham, Singular, etc.) The argument I have seen (in Warner's Introduction to Differentiable Manifolds) uses sheaves heavily.)
A: For sake of simplicity, let $X$ be a topological space and let $\mathcal{C}$ be the sheaf of continuous functions on $X$ with values in $\mathbb{R}$ (or $\mathbb{C}$, it is indifferent) with the natural topology; for clarity:
\begin{equation}
\forall U\subseteq X\,\text{open},\,\mathcal{C}(U)=\{f:U\to\mathbb{R}\mid f\,\text{is continuous}\}.
\end{equation}
By definition, the stalk of $\mathcal{C}$ in $x\in X$ is:
\begin{equation}
\mathcal{C}_x=\lim_{\overrightarrow{x\in U,\,U\subseteq X\,\text{open}}}\mathcal{C}(U);
\end{equation}
let $f_x\in\mathcal{C}_x$, by construction, $f_x$ codifies the continuity in $x$ of one function $f$ defined (at least) on $x$.
What do I mean? One knows that a function $f$ is continuous on $U$ (open subset of $X$) if and only if $f$ is continuous on any point of $U$; therefore if one knows which are the continuous functions on all points $x$ in $U$, one can construct the continuous functions on $U$ and only these!
Formally: $\mathcal{C}(U)$ is (obviously) the set of continuous functions on $U$. Considering the function
\begin{equation}
\varphi_U:f\in\mathcal{C}(U)\to(f_x)\in\prod_{x\in U}\mathcal{C}_x,
\end{equation}
by sheaf axioms, one can prove that $\varphi_U$ is an injective map; that is a continuous function $f$ on $U$ is uniquely determined by its germs at the points of $U$.
Remark. In general $\varphi_U$ is not surjective!
Example: Let $X=\mathbb{R}$ with the natural topology, considering the function:
\begin{equation}
f(x)=\begin{cases}
0\iff x\in\mathbb{Q}\\
|x|\iff x\notin\mathbb{Q}
\end{cases},
\end{equation}
$f$ is continuous only at $0$!, or in complicated way: $f\notin\mathcal{C}(U)$ for any open neighbourhood $U$ of $0$.
Let $U$ be an open neighbourhood of $0$ and let $\varphi_U\left(|\cdot|_U\right)=(g_x)_{x\in U}$ and $\varphi_U(0_U)=(h_x)_{x\in U}$; considered
\begin{equation}
(f_x)\in\prod_{x\in U}\mathcal{C}_x\mid\begin{cases}
f_x=g_x\iff x\in U\setminus\mathbb{Q}\\
f_x=h_x\iff x\in U\cap\mathbb{Q}
\end{cases},
\end{equation}
if there exists $\overline{f}\in\mathcal{C}(U)$ such that $\varphi_U\left(\overline{f}\right)=(f_x)_{x\in U}$ then $\overline{f}$ should be the zero function: indeed for any $x\in U\cap\mathbb{Q}$ there exists an open neighbourhood $V_x$ of $x$ such that:
\begin{equation}
\overline{f}_{|V_x}=0_{V_x};
\end{equation}
since: $V_x\cap\mathbb{Q}$ is a dense subset of $V_x$, $V_x$ is a separated space, $\overline{f}$ is continuous and zero on $V_x\cap\mathbb{Q}$, then $\overline{f}$ is the zero function on $V_x$; by generality of $x$, one has $\overline{f}=0_U$.
And since $\varphi_U$ is injective:
\begin{equation}
(f_x)_{x\in U}=\varphi_U\left(\overline{f}\right)=\varphi_U(0_U)=(g_x)_{x\in U}\neq(f_x)_{x\in U}\surd
\end{equation}
that is a contraddition; in particular $\varphi_U$ is not surjective.
From all this: the stalks $\mathcal{C}_x$ of $\mathcal{C}$ codify the date of continuous functions at $x$ (point-wise information), and the $\mathcal{C}(U)$'s codify the date of continuous functions on $U$ (local and\or global information); in particular, the function $\varphi_U$ shows as one can pass from the point-wise date to local\global date.
The same reasoning and ideas hold for the sheaf of smooth maps and of differential forms on a manifold, the sheaf of holomorphic maps on a complex manifold, the sheaf of regular maps on an algebraic variety or on a scheme or on a (locally) ringed spaces.
A: Moving from the local to global is exactly the idea behind homology, which measures the failure of a set of local solutions (e.g,. forms satisfying the differential equations given by de Rham cohomology) to patch together and give a global solution. 
Given a left-exact functor $F$, we can extend a short exact sequence
\begin{align*}
0 \to L \to M \to N \to 0
\end{align*}
to a long exact sequence
\begin{align*}
0 \to F(L) \to F(M) \to F(N) \to R^1 F(L) \to R^1 F(M) \to R^1 F(N) \to R^2 F(L) \to \dots
\end{align*}
for some functor $R^* F$. By abstract nonsense, the $R^*F$ are well-defined. (Specifically, the technical requirement we need here is that the underlying category has enough injectives, which holds for the most familiar abelian category of modules over a ring). For particular choices of $F$, the $R^*F$ are just the ordinary cohomology theories. More specifically,taking $F$ to be the space of global sections $F = \Gamma(\cdot, {\scr F})$ for various sheaves ${\scr F}$ gives the de Rham, singular, etc. cohomology theories.
For the category of CW-complexes, this approach may seem like overkill. (I'd argue that it isn't, but this post is long enough already). For more pathological spaces, like varieties, that's the best we can do; the Zariski topology isn't even Hasudorff, so the usual approaches of algebraic topology over nicer spaces won't even work. In the CW-complex setting, continuity is more or less the only criterion for 'nice' functions that we can or need to impose. (That's not quite true; it's very useful to consider the sheaf of sections of an arbitrary bundle. Forms on a smooth manifold $X$, for example, are smooth sections of some $\bigwedge^p T^*X$). In the algebraic geometry setting, that's no longer the case; we have many sheaves available, and one of the interesting things to study is how cohomologies of related sheaves are themselves related. For example, the Riemann-Roch theorem on a Riemann surface of genus $g$ can be written as
\begin{align*}
\dim H_0(X, L) = \dim H_0(X, L^{-1}\otimes K) = \operatorname{deg}(L) - g + 1
\end{align*}
for a (holomorphic) bundle $L \to X$, where $K$ is the canonical (i.e,. determinant) bundle on $X$.
