| Administrivia | Prerequisites and syllabus | Exams, HW and grading policy | Homework sets | Homework solutions | Lecture notes |
The course meets MWF 11:30PM-12:30PM in DH 2122. If you want to meet, send email to jcumming@andrew.cmu.edu to arrange an appointment.
Homework will be set most Wednesdays, will be due on the following Wednesday, and should be returned graded by the Wednesday after that. Late homework will not be accepted under any circumstances, but the lowest homework score will be dropped. Homework must be word-processed (preferably in LaTeX) and submitted as a PDF enclosure in an email message by the start of class time on Wednesday. The email should be sent to the address lserafin.algebra@gmail.com.
Important note 1: Your homework file should be named according to the scheme "[Your last name]_logic_[Number of the homework].pdf", so that eg Aaron Aardvark's tenth homework set is "Aardvark_logic_10.pdf". I won't guarantee that homework not named like this will get graded in a timely fashion.
Important note 2: I generally encourage cooperation on the homework, but you must write up your solutions by yourself and state with whom you have discussed each problem. Cooperation on the tests is cheating and will lead to serious consequences, which can include failing the course and disciplinary action by the university.
Prerequisites: Basic facts about numbers, sets, and logic as covered in the Concepts of Mathematics course. The ability to recognise and write a proof.
Tentative syllabus.
There will be a takehome midterm and a takehome final. Grades will be assigned according to a formula in which (roughly speaking) homework counts 25 percent, the midterm counts 30 percent and the final counts 45 percent.
Please let me know if you find typos or need clarification.