The document is a course introduction for CS1120 at the University of Virginia, covering the nature of computer science in relation to mathematics, science, and engineering. It emphasizes the distinction between declarative and imperative knowledge, outlines course expectations, and introduces recursive definitions as a key theme. The document also provides logistical information for students, including office hours and course materials.