This course is a introduction to programming and logic formulation.