Title: Introduction to Symbolic Programming