Announcements and Reminders
- HW#5 is due on Friday, 11/15. The program with hashFxn and findCollision doesn't have to be demoed, but you have to print it and turn the code in with your
homework. The program with the methods for the recurrence relations does need to be demoed, and should be printed and turned in.
- 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.