Sum up of Week One

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!

Welcome to Math 300A: Introduction to proofs!

Hi all! Welcome to Math 300A!

Please check this website regularly for updates and additional materials, and you are welcome to leave a comment!

Make sure to read the syllabus and refer to it with any questions you have for the class. Of course, if you can’t find the information you need, feel free to contact me!

Syllabus: 300A_su15

Tentative calendar: Calendar_300_15su

Finally, you might want to start using LaTeX for writing up homework assignments, here are some useful links:

Getting started with LaTeX


LaTex-A document preparation system