Announcements and Reminders
- We will complete the activity on DFAs in class on Monday 2/2. Ungraded HW#1 is due on Monday, 2/2 -- remember, this is voluntary homework
that's marked only on whether or not you tried, but you do not have to do the problems or turn them in. It's practice with feedback!
- Quiz #1 on Friday 2/6 -- on DFAs.
- Monday 1/26: Classes are remote this day due to the nor'easter. CSC 221 will *NOT* be meeting synchronously this day; instead students should watch two videos
(syllabus intro and new content), and read the syllabus. A paper copy of the syllabus will be provided in class on Wednesday. Please pay attention to your email
for the detailed instructions and for further updates should additional cancellations/remote class days be declared.
- Suggested 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.