For info about Math 204, section 5, spring 1998 click here.
For info about Math 156, section 1, spring 1998 click here.
For info about Math 147, section 1, spring 1999, click here.
For info about Math 147, section 1, fall 1999, click here.
Students in Math 387 section 1, spring 2000 should look here. Here is the first take-home exam. Here is Test 1 (Postscript). Here is the Postscript version of the lecture notes so far. Here is the takehome part of test 2. Here is the take home part of the final. Here is a set of study questions.
For info about Math 143, sections 2 and 3, fall 2000, look here
Students in Math 175, section 5, spring 2001 should look here.
Students in Math 108, section 720, summer 2001 can find resources here:
Students in Math 257, section 030, summer 2001 can find resources here:
Here is the space for ON LINE LESSONS (there are now two -- you can also look at these from Blackboard; also, the Blackboard grade book is now installed).
M 307 = CS 367/567 NOTE: Here is a description of Assignment 1, answering the frequently asked questions.
Here is the NEW directory of public keys.
Versions of files in public/holmes are posted here They are in plain text format, so not especially pretty, but they should be suitable for cut and paste. The class example of Vigenere decryption is now commented.
Cryptology Test Two is in the public directory on baron/packrat -- it is called testtwo.mws. It is also found here in a text version -- follow the pointer in the previous paragraph.
To access an online solutions manual (in pdf format), click here. (don't get too excited -- this is an instructor-only password protected site, and the link is here for my convenience).
For a list of known errors in the text, look here.
Here are dvi files for all the tests.
Here are dvi files for all the homework quizzes and tests.
Here is Assignment 1 (a Postscript file).
The department generic syllabus contains the department's definition of the course and the Core Curriculum objectives.
If you are trying to get into this course, please be aware that I will not under any circumstances sign a class size override, but there is a second section!
Final Exam runs from 9:05--12:05 (there is no reason it should take anyone this long); open book but no calculators with graphing or symbolic computation.
The final exam for M170/1 section 1 will be held in the 7:40 time slot rather than the 8:40 time slot: the exam will be on Monday, December 16, 2002, 8 am - 10 am
Here is the study guide for the final. It is in Postscript format. If you don't have this on your Windows machine, it is possible to get a Postscript reader off the web... It is also possible to read this file from the machines in the lab. Here is the study guide in a PDF file.
Links to text versions of Maple labs will be found in the homework schedule.
Please bear in mind that the class meets on the optional Thursdays in the Math Learning Center computer lab, but meets for tests in MG124, in both cases at 7:40 am.
Final exam and course grades have been posted on the MyMathLab web site. They will also be posted here by the serial number on your final exam paper. (As I write this, I haven't yet created this file, so if the link does not work, try again later).
Here are the grades on the final exam and in the course. Here is the review sheet for the final: Postscript and PDF format. Additional comment: The exam as written has 8 questions and is almost entirely computationally oriented (a series of differential equations and systems of equations to solve).
The final exam is on Monday, 8-10 am in MG 124. Homework for 9.3 and 9.8 turned in at the final will count for full credit. Homework handed into me by 3 pm today will be marked and made available at my door by 4:30 pm.
Here is the section 9.3 Maple file which I will use for my lecture Wednesday. Examples of the use of functions to picture and solve differential equations are provided.
Here is the answer key to the practice test as a Maple worksheet and (if you don't have access to Maple) as a PDF image of the Maple worksheet.
Here is the Maple examples file I promised. It contains the examples I did in class today. It might get updated with more stuff as time goes on.
Here is the Euler and Runge-Kutta examples Maple file. Here is the Euler and Runge-Kutta spreadsheet. On the spreadsheet, I have set up solutions for y' = x+y for both the Euler and Runge-Kutta methods. You can adapt these to other step sizes, initial values, and differential equations by modifying the setup suitably. The step size and initial values can be changed just by adjusting the numbers in the first row; to get the differential equation to be different, you will need to change the formulas in columns E, L and O and drag the new formulas down the columns. If you understand spreadsheets, you will probably find this easier than the Maple approach.
(writing at 11:30 am Thursday): here is the worksheet without solutions (PDF file).
here is the worksheet with solutions (PDF file). Typesetting the solutions was harder than solving the problems, and took longer than I expected! These problems are quite time-consuming -- I will definitely go with a first-order equation on the test!!!
summer 2003 Math 170:
Here is the syllabus and homework schedule.
Here are the final exam and course grades. I will be back on campus on the 18th or 19th of August. You may look at your final exam papers at that time, if you come by my office: I keep final exam papers in my files.
Here is last summer's Test 1, in Postscript and PDF format.
Here is last summer's Test 2, in Postscript and PDF format. I will distribute an answer key for this test on Wednesday.
Here is last summer's Test 3, in Postscript and PDF format. I will distribute an answer key for this test on Wednesday.
Here is last summer's Final Exam, in Postscript and PDF format. Be warned that I am planning to write this summer's final completely from scratch; I think test 3 was too similar to the practice exam. Also note that I will not necessarily arrange extra time this summer as I did last summer.
Here is the Maple lab. This is the updated version. I apologize for the snafu this morning (Thursday). It is optional to do the lab exercises: I will drop an additional quiz and replace it with your lab grade if you do the lab and this helps you. You can use Maple on the department machines in MG104 (if the lab is open); I gave accounts to those who were in class. You can use Maple in the lab in MP121 as well (in the Multi-Purpose Building); you do not need a math department account for this. You can turn in the lab in printed form or e-mail it to me. The lab is also found on the MG104 machines at /user/public/holmes/M170_031lab.mws. I know this works on Maple 7 and 8; I see no obvious reason it wouldn't work on earlier versions.
Other schedule information: I have a piano lesson on Tuesdays 1 pm - 1:30 pm. I have to leave school immediately at 3:30 pm on MW to pick up my child at school, and will not normally return to the university. On Thursdays I will not get to the university before about 9:30 and I might sometimes need to leave at 3:30. I have logic seminar Th 1 pm - 2 pm. The M147 meets 7:40 - 9:30 MW and 8:40 - 9:30 F; the M333 meets 2:40 - 3:30 MTWF. On TF I tend to leave at 4:40 pm.
Here is the current (still somewhat preliminary) version of the syllabus for this class. It now contains homework assignments up to the day after Test III.
Grades are posted here, using the code on your final exam paper.
Here (Postscript) and here (PDF) find my Fall 2001 final exam. There is no guarantee that the coverage on this will be identical to the coverage on the coming final! Here (Postscript) and here (PDF) find a review sheet for the final.
The syllabus and schedule for this course are here.
Grades are now posted by the serial number on your exam paper. The student who took the exam separately will need to contact me personally. Please note: Your 9.3 and 9.8 homework is graded, and 8.2, 8.3, and 9.2 are checked off. These papers can be picked up at my door today (take the packet with your name on it); I will bring the packets to the final as well.
Here (Postscript) and here (PDF) find a review sheet for the final (same as last term). The review sheet I wrote last term seems to agree exactly with my thinking this term; the one thing I would warn you about (just as on test IV) is that we did 8.2 and 8.3 this term and not last term. Here (Postscript) and here (PDF) find the actual final exam I gave last term. I intend to write this term's final from scratch without looking at the one from last term: last term I broke down and wrote a purely computational exam rather than following the guidelines laid out in the review sheet; this term I will probably follow the review sheet.
Here is the Maple worksheet on section 9.3.
Here is the worksheet I made in class on Tuesday the 25th.
Revised schedule and Test IV news flash: The schedule is now revised to reflect the actual order in which we have done and will do sections in chapters 8 and 9. Test IV will be two days: it will be given on Dec. 3 and Dec. 5, and the schedule now tells you this. I have (or will soon) post a sample Test IV here as Postscript and PDF. This is not the test 4 I gave last term, but the sample test I gave last term; it is longer than the actual test was or will be.
Here is the Maple solution to problem 3 section 2.8 (in class I thought it was problem 5).
Here is my preprepared Maple stuff for section 4.2.
Here is the Euler and Runge-Kutta examples Maple file. Here is the Euler and Runge-Kutta spreadsheet. On the spreadsheet, I have set up solutions for y' = x+y for both the Euler and Runge-Kutta methods. You can adapt these to other step sizes, initial values, and differential equations by modifying the setup suitably. The step size and initial values can be changed just by adjusting the numbers in the first row; to get the differential equation to be different, you will need to change the formulas in columns E, L and O and drag the new formulas down the columns. If you understand spreadsheets, you might find this easier than the Maple approach.
The grades for Math 187 have been turned in. The average on the final was 81 and the median 86.
I have classes 8:40-9:30 am and 10:40-11:30 am MTWF. I have a piano lesson Th 2:00-2:30 which often goes over. I should usually be in my office at other times from about 7:40 am to 4:40 pm: Thursdays I may sometimes come in later (or even work at home), and from time to time I may need to pick up one or more children from school, in which case I would be leaving at about 3 pm.
If I am in my office, I am almost always willing to talk to students; don't be shy because it is not an official office hour.
The grades for Math 187 have been turned in. The average on the final was 81 and the median 86. E-mail me from your official BSU account and I will send you your final exam and course grade.
May 6: Here is the review sheet for the final in Postscript and PDF format.
April 29: Solutions to the counting problems accompanying assignment 14 appear here in Postscript and PDF format. Solutions to the Test 4 review sheet appear here in Postscript and PDF format. There are paper copies of the review sheet by my door; answers to the hand-drawn problems are given in English; they are found in the online document.
Please note that office hours are now announced above.
Note posted April 19: Following our discussion on Friday, we will have Test III in the final exam period, and not have a cumulative final. The test grade will be computed as the average of Tests I, II, and III, each test having equal weight.
Note posted April 19: Notes for the classification theorem for cyclic groups in Postscript and PDF.
Please note that office hours are now announced above.
Math 187, section 030, Summer 2004: The syllabus and schedule of assignments is now available.
ANNOUNCEMENT: The final exam is open book only this time around -- no notes, tests, homework, or handouts. But do bring your book! Calculators are allowed.
You can get Assignment XI in Postscript or PDF format. This web distribution is the official distribution (announced in class): paper copies will be available on Monday.. It will be due on Wednesday the 28th. Please advise me of any typos or confusions!
Assignment XII, due at the final, is to sort the list 2,3,6,4,5,1 using bubble sort, showing all steps, then to sort the same list using heap sort, showing all steps (show pictures of trees).
Solutions to the counting problems appear here in Postscript and PDF format.
Proof style handout in Postscript or PDF format. This may be modified and expanded as the term goes on.
Your final exam and course grades are here, if you remember the serial number on your final exam paper.
Have a good time for the rest of the summer (and even when classes start again :-).
I provide additional information to help you judge whether I am likely to be in: I usually come to school at 7:40 am except on Tuesdays, when I will usually arrive just before the Math 301 class at 9:40. I usually leave campus between 4 and 4:30 pm. I may either leave early or have a department meeting on Friday afternoon. I eat lunch between 11:30 and 12:15 as a rule. My classes are 9:40-10:30 am MTWF and 12:15-1:30 pm TTh. I have a piano lesson at 2 pm on Wednesdays which lasts between 30 and 45 minutes. I have logic seminar at 1:50 pm on Thursday. Emergencies related to getting my children to or from school may cause me to arrive later in the morning or may cause me to cancel a 3 pm office hour.
Here are the final exam and course grades. Happy Holidays!
Please note that the final exam is OPEN BOOK and OPEN NOTES. I think I mentioned this at the beginning of the class as my usual policy with regard to final exams, but I neglected to say anything about it during the last few days! Do not regard this as an excuse not to study; hunting for formulas in your book is not a good way to spend your time! Also, please drop me an e-mail if you read this (if you haven't already replied to e-mail from me about this); I want to make sure everyone knows.
You should now have received graded versions of any labs you turned in via e-mail on your account on the MG104 machines. If you have any questions, contact me. The grade is a simple check -- if you turned it in you got full credit. The graded files do contain some comments.
The Final Exam review document is here, in Postscript and PDF. You should be able to pick up the solution set to Test IV at my door by noon, as well.
The Test IV review document is here, in Postscript and PDF. Important additional remark: section 6.5 is not on the exam (deferred to the final).
Here is Maple lab 2. This is short; please note that I continue to accept the first lab.
Test III grades for those who took the test in class are posted here.
Here is the Test 3 review document in Postscript and PDF.
Here is the Maple file from the lab day on Oct. 19.
Here is the Maple file from the lab day on Sept. 21.
Here is the Test II review document, such as it is, in Postscript and PDF formats.
Here is an updated version of my geometry axioms (Postscript) and the same geometry axioms (PDF)
Here are the promised notes on criteria for evaluating axioms and undefined notions (Postscript) and the same notes as a PDF file. I had trouble viewing the PDF version in either Explorer or Netscape, but when I downloaded the file to my computer and viewed it there, it worked (right click and choose something like "save target as...")
Here are the promised notes on the Tuesday, Sept. 21 lecture (Postscript) and the same notes as a PDF file.
Here are the promised notes for Test I preparation (Postscript) and the same notes as a PDF file.
Here are notes on the cubic equation(Postscript) and the same notes as a PDF file. Thanks to a student who pointed out an incorrect minus sign.
The take-home quiz question, x^3+3x^2-3x-11 = 0, does indeed come out nicely as I expected. If you weren't in class, find a real root to this equation by Cardano's method, showing all work, and I will accept it -- but not later than Thursday.
Here are notes on constructions of the reals in Postscript and PDF. I'm still working on these, but they already contain what is needed for the new take home quiz: express the commutative law of multiplication for positive rationals as a statement about natural numbers only, using the translation described in these notes. The construction notes are now considerably expanded (as of 1:30 pm Friday -- up to just before the constructions of complex numbers).
Contrary to what BroncoWeb has said, this course is exactly three credits, neither more nor less.
Here are some sample tests from past semesters, now including a number of old final exams. The final will be cumulative over the entire semester. Some kind of review document will be supplied on Wednesday.
Here is the final review sheet in Postscript and PDF format. Happy studying!
Please note that I was misguided when I said on Monday that any calculator would be allowed on the final: it is open book, open notes, but you will be restricted to using the usual scientific calculator (this is to your advantage!)
Here are the final exam and course grades posted by the ID number on your exam paper.
Here is the final review sheet in Postscript and PDF format. Happy studying!
If you want to see what a Math 187 final written by me looks like, you can look at the files here: but of course these are final exams based on a quite different book. Some of the questions are good review questions for your final, though.
I will post a review sheet for the final exam later today or tomorrow.
Here are the final exam and course grades.
The current schedule has the same homework assignments that I gave in spring: these may be modified as we go along. Due dates of assignments will be added as we go along.
Various new stuff here is for your attention. Eventually I'll stop amusing myself in this antisocial way...
Here are your (remember that after this I can't at you again...) Sample tests:Test IV and the final from the spring semester. You can also look at the final review sheet
Aims for the last week: My intention is to cover the material in 9.1-3 (which I have started), 10.1-2, and 14.1-2 (the graph theory). We will not get to the chapter 8 material. I will try to be done lecturing by the end of the day Tuesday, but I don't promise this (and the schedule never said this; it just put me a day farther ahead, alas). The chapter 9 problem sets are revised, and I strongly suggest starting on section 9.2 even though I didn't finish lecturing it on Thursday.
Sample counting problems: Here is a sheet of counting problems. Here are the solutions (but I seem to recall that students found some errors in this solution set last term...>
Here is the first test from Spring 2005 as a PDF file.
Here are the grades from Test III posted by the ID number on your test paper.
Here is the worksheet on bases as a PDF file. Since I posted this late you have an extra day to do it.
Here is the second test from the spring semester (PDF)
Here is the third test from the spring semester (PDF)
Here are notes for my recent talk to the senior seminar titled The Logic of the End of Time: an apocalyptic approach to the foundations of calculus (an essay in nonstandard analysis without actually constructing any nonstandard models).
Get your final and course grades here. Have a nice relaxing August!
Here are the final exam and course grades posted by the ID number on your final exam paper.
Here are the final exam and course grades posted by the ID number on your final exam paper. The average unadjusted grade omn the final was 80 percent (so grades were not adjusted).
Here is the worksheet on modular calculations and the RSA algorithm.
Here is the new RSA examples worksheet with solutions . Solutions hidden (so 2007 class can't peek).
Here are the grades on Test IV posted by the ID number on your paper.
Here is the review for the final. We will spend Friday entirely on review. Here are the heap sort notes with an exercise: my thumb hurts... There are now solutions in the heap sort document.
Here are the final exam and course grades posted by the ID number on your final exam paper.
In Fall 2006 (delayed from Spring) I am teaching the following interesting course:
Math 502 Logic and Set Theory (3-0-3)(S)(even-numbered years). This course is structured as three 5-week components: formal logic, set theory, and topics to be determined by the instructor. The logic component will include: formalization of language and proof, the completeness theorem, the Lowenheim-Skolem Theorem. The set theory component will include: cardinality, Cantor's theorem, well-orderings, ordinals, the transfinite recursion theorem, the Axiom of Choice and its equivalents. PREREQ: Math 314.
Graduate students and advanced undergraduates interested in taking this course should come and see me. Timely student input could have an effect on the content of the third component of the course.
Here is the practice version of Test I. I don't promise to be quite so helpful on future tests! Solutions will be posted some time on Thursday. Here are the solutions.Here are the notes on the proof of completeness of the propositional logic part of the proof system of the book. These cover more ground than my lecture; they also describe the two exercises assigned for Friday the 29th, if you didn't get those in your notes.
Here is the promised pointer to Moscow ML. Please write to me if you succeed in downloading and installing it (or if you fail, or if you have no way to do this). I use the self-extracting installer for Windows; it is easy. I'll be working independently on a way to make sure that everyone has access. By the way, it will not be necessary to learn ML, but it is a cool language and there are references you can learn from accessible via the Moscow ML site.
Here are notes and exercises on the alternative system of propositional logic.
Here is the source for the theorem prover. For version info, see the link in the next section. Here is the documentation.
Here are the notes on the Completeness Theorem. Please read these for Friday's class (which will not be lab). We will return to the lab on Monday to work on quantifier and equality examples, which will be posted soon (today or tomorrow).
Here is the lab on quantifiers and equality. Here is the related file with Grantham problems set up for the prover.
Homework 11: The Completeness Theorem document above has been extended with notes from the Friday lecture and now contains the Homework 11 exercises, due Wednesday after the exam.
Here is more complete version of a construction of the real numbers with proofs. I'm not sure I succeeded in posting the earlier version; this one definitely does work. It does not include additional homework.
Here is the set theory lecture notes document. This now contains notes through at least part of the Monday lecture (I may extend it further), correcting some errors in the original version, and also contains exercises. Later on Sunday: I've added more verbiage to the notes (but not more exercises!) I'll be adding more to the later parts, especially references to related parts of the book; take heart though, it really can't be much longer than it is now.
I hold office hours MTWF 9:40-10:30 am and (NEW!) MWF 2-3 pm. On MTWF I usually will be on campus from 7:40-3 pm and sometimes as late as 5 pm; if I am in my office I will usually be willing to talk to you. Do not hesitate to knock on my door; I do not always leave it open and I will not be offended if you knock to attract my attention. If I am not there wait a minute or two or look around the department: I lock my office whenever I leave it, however briefly.
FINAL EXAM WEEK HOURS (changed again): I will be in the office Monday at least from 10 am to 3 pm and Tuesday from 9 am to 11 am (not 11:45) but also from 1-3 pm; there is no graduation activity (my wife was misinformed) and I'm squeezing in a little more piano practice... I may not arrive exactly at 1 -- I dont know how long the piano recital goes.
Here and here are sample Test III papers from past semesters. The coverage on the test from Summer 06 is closest to the coverage on your exam. I will have more to say about the test tomorrow and Wednesday: the test is to be given on Friday.
Here are the Test III grades, posted by the ID number on your test.
Here are the RSA examples. Full solutions to the first two problems are now shown, so that you can check your papers.
I found the Fall 2006 test IV! The posted version lacks the pictures; I will supply pictures tomorrow in class. I'll discuss representative kinds of problem that may appear on the exam in class Wednesday.
Here are the solutions to the sample test 4.
Here are the grades for Test IV.
Here and here find old final exams.
The Math 187 final could not be held at 8 am because the exam papers were in the Math/Geology Building. Update: The exam is rescheduled to Friday 8 am. This is an official university decision, not an arbitrary decision of mine. If your dorm checkout time conflicts with this, I am assured by Residence Life that you can reschedule it: contact the front desk of your dorm at once if you are in this situation.
Final Exam and Course Grades: click here
Here is a PDF file containing the content of the lecture on the construction of the reals.
Here is the manual of logical style. It is not complete (it probably can always be expanded a bit more...)
Here (courtesy of Dr. Kerr) is a sample Test I which I quite like, both in terms of content and in terms of the way the exam is structured. Here is a sample Test II. Here is my review sheet for Test II WITH SOLUTIONS.
Test II grades now posted here.
Here are the solutions to Test I.
is the review documetn for Test III. I will be holding an office hour tomorrow from 3-5 pm. It is possible that I will be in earlier as I will not attend the class I usually attend 1-3 pm.
Here are the Test III grades and estimated course grades.
Here are solutions to Test II (no guarantees express or implied).
As far as I know at this point our exam will be held at 10:30 am at the usual place. I am carrying the exams with me in case of a recurrence of the leak...
FINAL EXAM AND COURSE GRADES: click here
Here is the Summer 2006 Test I and the Fall 2006 Test I. The coverage in those classes was not identical to what we have covered (I haven't said the wword "contrapositive" yet, for example). The Spring 2007 test, which was too easy will appear here if I find it (just try the link; as I write this it isn't posted yet but that is where it will be)
Here are the grades on Test I.
Here is the summer 2006 Test II, the fall 2006 Test II, and the the spring 2006 Test II. No comments yet on coverage on these old tests: I haven't even looked at them yet. Happy studying!
Test II grades now posted by ID number.
Here are links to old Test III papers. The coverage on these varies: notice that we will have questions about computing gcd's but not about modular arithmetic. a test III, and another one, and another one.
Here are the Test III grades and an IMPORTANT announcement which requires the attention of class members.
Here are some Test IV and final exam papers: Summer 06 final; Fall 06 test 4; Fall 06 final exam; Spring 07 test 4; Spring 07 final. The coverage in various semesters has not been the same, as you can see. We will have only a day and a half of graph theory, so not too many questions can be asked about that.
Here are the final grades and course grades.
Here find an old Test I.
Here find the grades on Test I posted by magic number. Late tests have now been graded and you should have received an e-mail.
Here is a Maple file including the demo from the first lab and some 2.5 examples. I am not sure that this will work in Maple 9.5 (the version in the lab). It was prepared with Maple 11. I will check on this.
Here is Test II from Fall 2004. The first question (on determinants) is past where we will get by Tuesday. There will be some 2.7 question. Otherwise things might be quite similar.
Here are the Test II grades. The papers will not be returned until Wednesday.
Here is Test III from the 2004 class. We are behind the 2004 class: problems 6 and 7 on this exam would not be covered, but everything else looks appropriate. There might be some stuff on determinants in the old Test II which could be on this Test III.
Here are the test III grades posted by the magic number on your paper. Every test is posted, including those taken late.
Here is Test IV from the 2004 class.
Here are the Test IV grades.
the review sheet for the final
The final is open book, one sheet of notes, fancy calculator. Remember your book!
Here are your final exam and course grades. Happy Holidays!
Here, here, here and here find old sample first tests. These do not have the same coverage as the one to come: most of them go a bit further.
Here are the grades for Test I posted by the magic number on your test paper. Tests taken late have now been graded; if you took the test late, check your e-mail.
Here, here, here, and here find sample test II papers. Coverage is not identical to ours.
Here find the grades on Test II.
Here, here, here, and here find various old Test III papers. The coverage of these tests varies a little. There will be no related rates word problems on your Test III, but there will be max/min word problems. We will cover L'Hopital's Rule tomorrow and there probably will be a question about it on the test. There will not be a Newton's Method question on this test. These tests are often very similar to each other but will not necessarily be quite as similar to your test.
Here are the Test III grades. The class performance was quite disappointing, and there will be a makeup opportunity. Watch this space for details: start watching during the break, as I will post review materials and dates early in the break, and you will NOT be able to take the makeup at any time but the scheduled time in class. The makeup will not be a complete re-test, but an opportunity to improve your marks on specific problems.
The makeup will be on November 30. Here find a detailed announcement of the makeup and some practice word problems for which solutions will be posted later. This document now contains more problems and solutions to all problems except the curve sketching problems: you can pick up handwritten solutions to the curve sketching problems at my office door as of 1:50 pm Thursday.
Here and here are fourth tests from previous M170 sections of mine. The first one looks like it has about the right coverage; the second one includes curve sketching and word problems which were on your Test III and of course will not be on this test.
Here find the Test III grades after the makeup.
Here find the Test IV grades.
Sample final exam 1; sample final 2; sample final 3; sample final 4. Happy studying!
The final is open book, one sheet of notes, regular scientific calculator (which you will need), without graphing or symbolic computation. I offer no guarantees of spare calculators and can guarantee there will be no spare books! Bring what you need.
Here is the first assignment.
Here is the second assignment.
Here is a corrected assignment to develop a syntactical proof of consistency of propositional logic.
Here is an agenda document for our Nov. 15 meeting. Doubtless overambitious!
Here is the completeness proof outline with exercises.
Here is the threatened link to my M502 notes for next term, definitely not ready for prime time. I updated this file on November 21.
Here are notes and an exercise on combinators and propositional logic.
Notes on cut elimination posted Dec. 7.
Here is an old test I and another old Test I. You should be able to recognize problems which are not on our agenda. There will be some definite integration by substitution on our test which was not on these tests: for that your homework is not a bad model.
Here are the Test I grades, posted by the ID number on your test paper.
Here is a test II review document. No test I had looked in the least like the one you are going to have, so I selected all questions that looked reasonable.
Here are the Test II grades posted by the ID number on your paper.
Here is a test III review document.
Handwritten solutions to the Test III review and your 8.2 homework are at my door (4:30 pm Tuesday)
Here are the Test III grades.
Here is an additional worksheet for section 8.3.
Here is the practice exam for Test IV, . I've just finished marking 8.7 and the papers will be by my office door by 8:30 or so. I graded number 8 (hint: check the endpoints: it also converges at -1) and number 40 (hint: in number 39 you can find an exact value for the series; the series in 40 has as its exact value the integral of the exact value found in 39). The results were not encouraging: you need to study similar problems found in the practice exam... I remind you that I will be out of town all day Friday: Dr. Kerr is proctoring the exam.
Test IV grades are here...
sample final 1, sample final 2
Here is a detailed review sheet for the final, reviewing what you should cover in each section and containing recommended problems from the book to review for a couple of sections. Good luck on the final! I will be holding regular office hours (and some extended hours) during the early part of next week.
Here find the draft lecture notes for the class. These notes are the textbook (and will continue to develop).
Jan 27: I've changed strategy for notes updates: I've added a first subsection to the notes themselves describing version changes with dates. And of course the date of the current version is on the title page. All notes updates that were on the web page have been copied into the file.
Here is Homework 1. It is due next Tuesday. Two refinements to the instructions (REVISED!): do not use de Morgan's laws (or the corresponding rules about negation of quantifiers); I originally said here you couldn't use equivalence of an implication with its contrapositive, but I have changed my mind: you may use modus tollens and you may prove an implication by proving its contrapositive. Reason directly rather than indirectly where possible (problem 1 can be done with no mention of any negation at all; problems 2 and 3 do need some proof by contradiction or other indirection). Bring proofs around to show to me at least once in the coming week.
Here is Homework 2. It was originally due Tuesday Feb. 12 but is now due Thursday Feb. 14: not enough people have been to see me and those who have needed advice. There is also another slight update: the stated type of the set of natural numbers was wrong (it should be k+3). I will rewrite the handout; check for a new version.
Here is Homework 3. This will be due Tuesday, February 26th. Please note the statement that you do not need to do all the problems on this sheet to get a good grade on the assignment. But there is quite a lot to do; start right away!
Here is Homework 4. This will be due Tuesday, March 11, after your exam on Thursday, March 6, but please note that this material is fair game for that exam!
Here is Homework 5. This will be due Thursday after Spring Break. It is not impossible that I will add additional material to this assignment during this week, so keep an eye on it.
Here is the belated Homework 6. This will be due Tuesday, April 22.
Here is Homework 7, which will be due the last day of class. I'm hoping to give one more assignment which will be due at the final.
Here is the computer lab. The assigned exercises are due electronically by the end of finals week.
Here is Test II, a take home due the last day of finals. Please read the instructions carefully before concluding that you have an absurd amount to do: there are 7 questions but you only need to do 4 of them (not an arbitrarily chosen 4, though, thus read the directions). I encourage you to finish up Homework 6 and 7.
Here is the catalog statement:
Math 502 Logic and Set Theory (3-0-3)(S)(even-numbered years). This course is structured as three 5-week components: formal logic, set theory, and topics to be determined by the instructor. The logic component will include: formalization of language and proof, the completeness theorem, the Lowenheim-Skolem Theorem. The set theory component will include: cardinality, Cantor's theorem, well-orderings, ordinals, the transfinite recursion theorem, the Axiom of Choice and its equivalents. PREREQ: Math 314.
set theory sequent rules with assignment