This course is MAT 2071, Introduction to Proofs and Logic, taking place in the Fall 2015 semester with Professor Reitz. Â We will be using this website in a variety of ways this semester â as a central location for information about the course (assignments, review sheets, policies, and so on), a place to write about the work we are doing, to ask and answer questions, to post examples of our work, and to talk about logic, proofs, mathematics, reality and so on.

**Getting Started**

Anyone on the internet can look around the site and see what we are doing, and even leave a comment on one of the pages. Â However, only registered users can create new posts and participate in the discussion boards.

**How do I register?**

You will need to do two things:

- If you have not used the OpenLab before, you must first create an account. Â You will need access to yourÂ citytech email addressÂ for this. Â Detailed instructions for signing up on the OpenLab can be foundÂ here.
- Once you have created an account on the OpenLab,
**log in and then join this particular course**, 2015 Fall â MAT 2071 Proofs and Logic â Reitz. Â To do this, first click the âCourse Profileâ link at the top left of this page (just under the picture). Â Then click the “Join Now” button, which should appear just underneath the picture.

**Problems with the OpenLab or with your CityTech email:**

Please let me know if you run into any problems registering or joining our course (send me an email, jreitz@citytech.cuny.edu). Â I also wanted to give you two resources to help out in the process:

1. Â For problems with yourÂ **citytech email account**, contact theÂ **Student Computing Helpdesk**, either in person, by phone, or by email:

**Student Computing Helpdesk
**Location: Namm First Floor â Information Booth

Hours:Â TBD (usually 9am – 5pm Mon-Fri)

Phone: 718.260.4900

E-mail: Studenthelpdesk@citytech.cuny.edu

Their website also contains tutorials and FAQ on common problems

2. For problemsÂ **registering for the OpenLab**, contact theÂ **OpenLab supportÂ team**, either by email atÂ openlab@citytech.cuny.edu, or byÂ following this link.