Sections
Section 01: M,W,Th 9:15 AM-10:20 AM, Shillman Hall 305
Section 02: M,W,Th 1:35 PM-2:40 PM, Hurtig Hall 224
Section 03: M,W,Th 4:35 PM-5:40 PM, Shillman Hall 105
For Instructors, TAs, and Tutors, click on Contact Info on your left.
You are required to check for announcements daily.
Rules
- No electronic devices (computers, recording devices, phones, etc) in class without permission first. The only exception is your TurningPoint clicker. Bring that with you every day.
- If you don't understand something, please ask questions. We love questions. One of the benefits of attending a university as opposed to reading a book is that you get to interact with faculty.
- Keep it real. Tell us what works; what doesn't. What you like; what you don't like.
- We have clear policies that everyone needs to understand and adhere to. For example, late homeworks will not be accepted under any circumstances. If you ask us to make an exception for just you, the answer will be no: everybody plays by the same rules. You can question the policies themselves and if you make good suggestions, that may lead to changes in our policies.
Books and Supplies
All that we require you to purchase is a TurningPoint Responder Card RF (also referred to as the TurningPoint clicker). You can purchase the card from the Northeastern University bookstore. Once you do, please log on to Blackboard and register the card. You can do that by logging in to the class, then clicking on Tools (on the left), and then find and click on the TurningPoint Registration Tool. You have to bring the card to every class.There is no required book. If you want a reference that also includes a lot of exercises, then consider: Computer Aided Reasoning. Kaufmann, Manolios, Moore. You can order it from here. Please note that the book was written for at least upper level undergraduate students, so expect parts of the book to be hard. Also, in class we use a version of ACL2 that includes contracts and lots of other things that are not mentioned in the book. Nevertheless, this is the standard reference for ACL2 and contains many exercises whose solutions are available online. Use it as a reference and use it to supplement lectures.
Software
We will be using the ACL2s system. Please download it and install it on your machines. It is also installed in the CCIS computer labs, but there are some instructions you should follow to use that installation properly.
Academic Integrity
Read and intimately familiarize yourselves with the Northeastern Academic Integrity policy.Warning: We do not tolerate any violations. If we suspect that you violated the policy, we will report you and the consequences can be as severe as expulsion from the university.
For example, here is something you cannot do, but again, read the full policy and see Mitch Wand's Web page on the topic.
Unauthorized Collaboration: The University defines unauthorized collaboration as instances when students submit individual academic works that are substantially similar to one another. While several students may have the same source material, the analysis, interpretation, and reporting of the data must be each individual's independent work.
We will be using the clickers for quizzes. You can only use your clicker in class. If you do not, you are violating the academic integrity policy.
Exams
There are exactly two exams. They will take place at the following times:
- Thursday, Feb 26, 6pm, in 200 RI
- Monday, April 13, 6pm, in 200 RI
Grading
Grades will be determined as follows.
- Homeworks: 20%
- Midterm exam 1 : 30%
- Midterm exam 2 : 30%
- Quizzes : 20%
There are only 2 midterm exams and there is no final.
Quizzes will occur regularly. Be prepared for a short quiz every day. Quizzes will utilize the TurningPoint clicker. We will only grade a subset of the quizzes given. If you are not present for a quiz or if you do not have your clicker, you will get 0 points. We will drop the lowest 10% of quizzes.
Homeworks will be given about once a week. Your homework grade will be based on your top ten homeworks. You will mostly work in groups. We will give you instructions on group sizes and composition. We recommend that you to first try to solve the problems on your own. Then meet with your partners to go over your solutions and solve any unresolved problems. We may only grade a subset of the problems assigned. Homeworks will be due on Tuesday at 5PM, unless otherwise noted.
You will spend most of your time in labs working on problems that we distribute in advance. If you solve the problems on your own before lab and are confident in your solutions, there is no need to show up. If you did not have time to solve the problems, or you tried and ran into trouble, then go to lab.
Grading Notes
- You can take 1 double-sided sheet of paper to each exam.
- You have exactly 1 week after any assignment, quiz, or exam is graded to challenge your grade. After that, we will not change your grade.
- You are responsible for making sure that we entered the right points on Blackboard. If you notice any data entry errors, please inform us right away.
- You must take all exams and quizzes in the section you are registered for. If you take an exam or a quiz in a different section that the one you are registered for, you will not get any points for that exam or quiz.
CS 1800 and CS 2500
If you do not have this background you should get the permission of the instructor.