Introduction to Deep Learning From Logical Calculus to Artificial Intelligence