[[theocs:lecture1|THEOCS Lecture A/1: Introduction to Theoretical Computer Science and Languages]]