The objectives of this course are to excite students' interest in Computer Science and to give students a precise understanding of a number of difficult concepts that are fundamental to modern Computer Science. Topics include: fundamental programming constructs; relational algebra; data types; induction and recursion; syntax; semantics; formal logic; soundness, completeness, and decidability; and complexity.