Computer Science Is: Mathematics and Logic

• Program designs must be precise (algorithms, formal methods)

• Programs are written in formal programming languages

• Programmers must think logically and symbolically