Announcements and Reminders
- Quiz #1 on Friday, 8/29 -- really, just practice so that you get a feeling for a what quizzes will look like in our class.
- 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.
- Mathematics for Computer Science, v.6.6.2018 (2018) by Eric Lehman, F Thomson Leighton, and Albert R Meyer. Available online as a pdf.
- Student Wellness: There are a variety of events and concerns that affect a student's overall wellness. Learning is challenging, and life continues even while a student is learning. The college has a variety of resources available, and
there are a variety of policies regarding student wellness. I've collected several of them on this Student Wellness site.