Introduction to the Functional Foundations I Course