Announcements and Reminders
- Final Exam Schedule: the 10:20 section has their final exam on Monday 12/9 at 10:30 in their classroom and the 11:30 section has their final exam on Wednesday 12/11 at 10:30 in their classroom.
- The final exam is cumulative, with one section on material since Exam 2 and the remainder focusing on the highlights from the course. You can think
of Exams 1 and 2 as a way to help focus your attention on those highlights; the final cannot be as long as Exams 1 and 2 combined with new material so
some topics will not make the cut for the cumulative part of the final -- if a topic was important enough to be on Exam 1 or 2 then it could well be in
the cumulative portion of the final.
- Finals Week Office Hours: Monday 12/9, 1 - 2:30 and Tuesday 12/10, 10 - 12. Feel free to drop in with questions or to practice!
- Textbook: Foundations of Computations by Critchlow and Eck. Available online as a pdf or print-on-demand.
Getting in touch with your instructor...
- Email: I actually read and respond to emails. I check email frequently during the workday but limit my email time after work hours and on weekends.
Please be patient, but if I don't reply by the end of the next working day then feel free to email me again – there's always a chance your first email
got buried under urgent emails (or spam ...) and I appreciate the nudge!
- Office Hours: Just stop by! You don't need an appointment to drop by my office. If you want to meet over Zoom, you will need to make and
keep an appointment, because I am uncomfortable sitting on Zoom with no one there. I am also available over Discord (username in the syllabus, behind the SUNY
Oswego login...). Join the CSA Discord server (link in digital syllabus) and send me a message! We can use the voice channels and the text channels to stay in
contact. Just be aware that if you message me in Discord outside of office hours, I won't respond until office hours or until I'm free.
- Other times: If my office door is open then you are welcome to stop in and ask if I'm available. I may be! If I'm busy, we can make an appointment to
meet up later on.
Useful Resources
- RegEx 101 is a tool for checking that regular expressions match test strings and vice versa. Also, RegexOne is a website with interactive educational modules on regular expressions.
- More information on Two's Complement from a Cornell University CS faculty member. It's a little terse, but has a good explanation why the conversion between regular binary and Two's Complement
binary works.
- Natural Deduction Resources:
- Take a look at the first three examples in this YouTube video if you need a little extra help on Natural Deduction.
- This YouTube video provides a good review of the introduction and elimination rules.
- This playlist on YouTube has a lot of good material on Fitch Style natural deduction.
- Translation tips for the logical connectives, from Peter Suber
- Textbook: Foundations of Computations by Critchlow and Eck. Available online as a pdf or print-on-demand.