Applied functional analysis. Approximation methods and computers