The conventional superconductors can be explained using the BCS theory. Usually, the BCS theory is introduced as follows:
We would like to consider the Hamiltonian that describes the system of electrons. This system is specific in a sense that electrons with opposite momenta and spins $(\mathbf{k},\uparrow)$, $(\mathbf{-k},\downarrow)$ have some kind of attractive interaction (no matter how weak it is): $$ H_{eff} = \sum_{\mathbf{k}\sigma} \xi_{\mathbf{k}} c^\dagger_{\mathbf k, \sigma} c_{\mathbf k, \sigma} + \frac{1}{N} \sum_{\mathbf k \mathbf k'} V_{\mathbf k \mathbf k'} c^\dagger_{\mathbf k \uparrow} c^\dagger_{-\mathbf k \downarrow} c_{-\mathbf k' \downarrow} c_{\mathbf k' \uparrow} $$ This unusual behavior can be explained due to the presence of electron-phonon interaction. This effective Hamiltonian is very complicated, but it can be simplified using the mean field theory. Then it can be diagonalized using the Bogoliubov transformations: $$ H = \sum_{\mathbf k, \sigma} E_{\mathbf k} \;\gamma^\dagger_{\mathbf k,\sigma} \gamma_{\mathbf k,\sigma} + const. $$ where $\gamma_{\mathbf k,\sigma}$ is the annihilation operator of newly obtained Bogoliubons (new particles) and $E_{\mathbf k} = \sqrt{\xi_{\mathbf k}^2 + |\Delta_{\mathbf k}|^2}$ is the corresponding dispersion relation. We can see that this new dispersion relation has a gap $|\Delta_{\mathbf k}|$ (I could write the analytical expression for this quantity, but it doesn't matter at this point).
Everything so far is clear to me. But how do we see that the system which is described with this formalism describes the superconductor? How to show that the resistivity is indeed vanishing?
Also, I've often seen that at finite temperature, the current has a contribution that correspond to 'carriers of superconductor' (Cooper pairs) and normal charge carriers (electrons). Even if these Cooper pairs have no resistivity (which I also do not understand, this is asked in first part of the question), why don't we get any dissipation due to the presence of normal electrons that are not bound in Cooper pairs?