THEOCS Lecture A/1: Introduction to Theoretical Computer Science and Languages