e-mail: holmes@math.boisestate.edu WWW (web page): http://math.boisestate.edu/~holmesI read my e-mail constantly and respond promptly. An electronic version of the syllabus, which will include homework assignments, will be accessible from my web page. The electronic version is the official syllabus, and any changes will be posted there and not distributed on paper.
I am making no predictions in this syllabus about what material we will cover or how fast. If there is material that you would like to see in the course, you might want to approach me about it!
Please note that I do have your homework graded; I forgot to hand it back today! Feel free to come by later today (I'll be leaving about 3 pm) or tomorrow to pick it up, if you don't want to wait until Friday.
Lab I: Lab handout due Wednesday.
I'll give out Assignment IV early next week.
Lab Handout I due
I am willing to accept the lab writeup on Tuesday; I will grade it tonight if you hand it in today., so you will be able to pick it up before the test.
This test is strictly on propositional logic (no quantifiers). Most of the problems will have models in the homework. You will be given selections from the lecture notes including rules for the systems covered by the test; otherwise it is closed "book", closed notes (and of course closed neighbor).
I'm waiting on giving out a new assignment until after the exam. The lab writeup is Assignment IV!
Our class example is set up for the computer prover in this file. At about 2pm Wednesday, I posted a correction to this file!
Assignment VIII distributed -- due on Tuesday after break.
This is the last lecture on formal logic. Bring your book on Monday!
Today I will start lecturing from the book. If you watch this space, I may (no promises) post sections to be covered by day.
Set theory preliminaries (these are written up in the notes)
Test II will cover all the remaining material on formal proof. Proofs with natural numbers are for the most part too time-consuming; any proof by induction on a test would be VERY SHORT. Mostly we'll be doing logic of quantifiers and equality in natural deduction and/or sequent format.
section 10.6; continuing to sections 12.4-6 (this will likely take more than one day).
Assignment VIII due
Assignment IX to be distributed.
We discussed section 20.8 (cosets and Lagrange's theorem)
20.8 example continued, 20.9
Notes for the classification theorem for cyclic groups in Postscript and PDF.
21.1-2
21.3-4
21.5-6
Possible distribution of take-home part of final.
25.1-2
25.3-4
25.5-6
26.1-2
Test III
26.3-4
26.5-6
???
???
Final exam, 10:30 am--12 pm.