Hi all,

Hope your weekend is going well! Here is a quick sum up of what we did in the first week:

On Monday, we briefly went over the syllabus (Please check out previous posts for the syllabus and calendar. Note the important dates!), went over section 1.1 and started section 1.5

On Wednesday, we finished 1.5 and 1.2, and started 1.3.

On Friday, we finished 1.3 and most part of 1.4.

Formulas on pages 21, 23, 47 and 49 are used quite often, so please make sure you are familiar with them. Try to write some truth tables yourself and justify some of them.

On Monday, we will finish Chapter one (that is, mostly 1.4 and 1.5), and start Chapter two.

On Wednesday, * HWK 1 is due.* We will keep talking about 2.1. HWK 2 will be assigned.

There is no class on Friday.

Please make sure to show work when you write up your homework assignments. Showing work might mean quote the laws you used, explain with words what you did, etc. A messy homework is unlikely to receive a high score. Work with others on the problems, but make sure to write up your own work!

Updated Office Hours: Monday 2-4pm. Other times: by appointment. I am more than happy to meet you, do not hesitate to make appointments!!

Logic and set theory might seem strange in the beginning, but they are new languages for us to talk about math. Like all languages,if you practice, you will get better at it; if you don’t practice, you won’t get better at it. (what is the logic forms of these two sentences? Are they equivalent?)

Finally, if you like programming, I have a little project for you: Can you write a program, where the input is a statement made up from n statements and m logic connectives, and the output is the truth table of the statement?

OK, email/talk to me if you have any questions! Have a good weekend and see you all on Monday!