Announcements and Reminders
- Quiz on Friday about languages generated by a regular expression and regular expressions.
- Graded Homework #1 due on Friday. You can come demo before Friday, but come with the printed program to turn in. I will
have extra office hours on Friday afternoon, and on Tuesday, so that students can demo. The printed program needs to be
turned in when you demo if you come before Friday or in class on Friday ... whichever comes first.
- Exam #1 is on Friday 2/28. You'll have a reference sheet as part of the exam paper that includes the rules for
developing the language generated by a regular expression, but this is a closed book exam. There are many practice
problems available on the handouts and ungraded homework. If possible, I'll write some additional practice problems
but I cannot guarantee that solutions will be available, unlike the handouts and UHW (solutions already posted).
- 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.