Sections
- 1: Tripakis (also spelled Trypakis), M,W,Th 10:30AM-11:35AM, International Village 019
For Instructors, TAs, and Tutors, click on Contact Info on your left.
You are required to check for announcements daily.
Rules
- 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.
- Give us feedback. Tell us what works; what doesn't. Tell us what you like about the class and what you don't like.
- In class, stay engaged during the lectures. There are only three hours of lectures a week and we want your undivided attention. Therefore, the use of electronic devices (computers, recording devices, phones, etc) is not allowed, without permission. The only exception is when we take quizzes using PollEverywhere, which will require that you have a cell phone or laptop. Bring that with you every day.
- We will be fair with everyone, so rest assured that all the students will play by the same rules. To that end, we have clear policies. Make sure you understand them, as they apply to everyone in the class. 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. If you ask us to change the due date for everyone, then we will consider it. Please feel free to question the policies; if you suggest improvements, we can change our policies (and have done so in the past).
Books and Supplies
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.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.Please read and sign the Course Contract.
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, the course contract 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.
You can only collaborate with your partners on homework problems. Besides staff, the use of any other sources for homework solutions is a violation of the academic integrity policy.
For quizzes, the electronic device you use can only have the polleverywhere app/webpage open during quizzes. The use of lecture notes, ACL2s, or any other applications during quizzes is a violation of the academic integrity policy. Sharing information with other students, taking quizzes for other students or communicating with other students is also a violation of our academic integrity policy.
Exams
- Exam 1: Monday, October 21, 2019, 6-8pm, SN 108 (Snell Engineering 108)
- Exam 2: Thursday, Nov 21, 2019, 10:30am-11:30am, SN 108 (Snell Engineering 108)
- Test 3: Wed, 4 Dec 2019, 10:30am-11:00am, WVF 020
There is no final exam.
Grading (tentative)
Grades will be determined as follows.- Homeworks: 30%
- Exam 1: 28%
- Exam 2: 14%
- Test 3: 8%
- Quizzes: 20%
Quizzes will occur regularly. Be prepared for one or more short quizzes every day. Only a subset of the quizzes might be graded. If you are not present for a quiz or if you do not have Poll Everywhere working, 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.
Friday labs: You will spend most of your time 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 the lab.
Sign up on the website using your Husky email account here.In class, we will periodically ask you to respond to a poll. We will either provide a link to the poll or give you our PollEverywhere user name. To join any active poll, either click the provided link--or, if we give you our user name, you can click "Join a Presentation" when logged into PollEverywhere on your laptop or phone (if you install the PollEverywhere app).
If you use the app, log into PollEverywhere using your Husky email.
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.
If you do not have this background you should get the permission of the instructor. Our policy is that we do not grant exemptions if you did not getting passing grades in both the prerequisites: experience has shown that this is the best policy for students.