This week we’ll be learning about Latex, a typesetting program recommended by many classes at CMU.

If at any point you get stuck during this initial setup or throughout the semester, please don’t hesitate to post on Piazza or come to office hours. SSH is a ...

Define the following logic terms and apply them to real-world problems: Describe the simple model checking algorithm and the theorem proving algorithms - forward chaining and resolution, what they ...

Automated reasoning has become a powerful technology with applications ranging from verification of hardware and software to solving long-standing open problems in mathematics. This course covers ...

15-210 aims to teach methods for designing, analyzing, and programming sequential and parallel algorithms and data structures. The emphasis is on teaching fundamental concepts applicable across a wide ...