This document provides an introduction to the CS150 course at the University of Virginia. It discusses what computer science is, comparing it to fields like science, engineering, and liberal arts. It introduces some of the main themes that will be covered, including recursive definitions and how language and definitions can recursively refer to themselves. It also outlines expectations for the course and provides some background context.