Instructor: Stacy Patterson     sep@cs.rpi.edu
Lectures: T F 10:00am - 11:50am

Lectures will be held virtually using Webex Meeetings. See the announcement in Submitty for details.

There is no recitation on Wednesday, January 12.

• Course Syllabus
• Schedule - includes links to slides and homework
• Gradescope - for homework submission and viewing graded assignments
• Submitty - for discussion forum, course materials, and office hours queue

See the Submitty announcement for Office Hours details.

• Stacy Patterson: M 1pm - 3pm online via Submitty Office Hours
• Kelsey Rook: M 3pm - 5pm in DCC 235
• Mauricio Gouveau Gruppi: T 3pm-4pm, 5pm-6pm online via Webex
• Jeff Putlock: W 3pm - 5pm online via Submitty Office Hours
• Mentors: W 6pm - 8pm online via Submitty Office Hours

Section	Time	Location
Section 1	W 10:00am - 10:50am	Amos Eaton 216
Section 2	W 11:00am - 11:50am	Amos Eaton 216
Section 3	W 12:00pm - 12:50pm	Pittsburgh 4114
Section 4	W 1:00pm - 1:50pm	Pittsburgh 4114
Section 5	W 2:00pm - 2:50pm	Low 3051

• Exam 1 Solutions for Spring 2014 (version without solutions)
• Exam 1 Solutions for Spring 2015 (version without solutions)
• Logical equivalences and Rules of Inference - will be distributed with Exam 1
• Exam 2 Solutions for Spring 2015 (version without solutions)
• Exam 2 Solutions to selected problems from Spring 2017 (version without solutions)
• Set Identities and Summation Formulae - will be distributed with Exam 2
• Final Exam Review Problems (solutions to selected problems)

• Homework template:  .tex file    .pdf file
• Overleaf - a online LaTeX editor
• Getting started with LaTeX
• List of mathematical symbols in LaTeX
• LaTeX Table Generator
• lshort – A short introduction to LaTeX 2e