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
Here are two sample Test I's from past semesters. Both of these cover more than our test will cover. fall 2006 Test I; spring 2007 Test I.
Here are some sample Test II's. We are taking our test significantly earier than I usually give it: I will discuss which problems are relevant to you when I come back Wednesday, and you should look back at problems on the sample Test I papers which were not covered on our Test I. summer '06; spring '07; fall '06.
Here are the Test I grades posted by the ID number on your test paper.
Here are the collected questions from the exam above which are relevant to your Test II. I will distribute solutions to at least some of these questions later (I may not give solutions to numerous questions of the same type; there are a lot of very similar questions!)
Here are the grades on Test II posted by the ID on your test paper.
Here are some sample Test III papers from past semesters. You should be aware that we will have counting problems and we obviously won't cover questions whose content you don't recognize. fall '06; spring '07; summer '06; spring '07 version B;summer '07. Here is an old sheet of counting problems; you also might want to use the counting problem worksheets I gave out this term.
Solutions to some of the sample tests are now (Oct. 31, 3:30 pm) available at my office door. Make sure you take the M187 solutions, not the M301 solutions! Solutions to the counting problems sheet are posted here
Here are the grades on Test III.
Here is a sample Test IV paper. Here is another one. The ones I have all seem quite similar to one another. There is of course no group theory material in these exams. I will try to write some review questions for group theory tomorrow to post here. If you look in the sample third tests there are some section 26 questions.
Handwritten solutions to relevant parts of posted Test IV papers are at my door. This covers only the number theory: for the group theory my review yesterday should have covered the main points.
Here are the Test IV grades.
Here and here find sample final exams. Except for the fact that there will be a group theory question, they look similar to what I have in mind this term.
Here is the scanned form of the solutions to Test IV. The size of this file is rather inconvenient: try viewing it at 50% or even 40% zoom.
Here are two sample Test I's from past semesters. The 2007 one is more likely to resemble yours than the 2004 one. 2007 Test I; 2004 Test I.
Here are the Test I grades posted by the ID number on your test paper.
Fall 2004 Test II; Fall 2007 Test II. Here are the sample Test II papers from past semesters.
Here are your Test II grades.
2004 Test III: problems 6 and 7 are not on your exam. 2007 Test III: coverage here is quite similar to the pending exam.
Oct. 31, 1:30 pm: the solutions to the sample Test III's are at my door. Make sure you take the M301 solutions, not the M187 solutions!
Here are the Test III grades.
Fall '07 Test 4. I had serious trouble finding the source for the old Test 4's. Here is the '04 one which was hiding from me.
Handwritten solutions to the posted Test IV papers are at my door.
Here are the Test IV grades.
Here are the solutions for Test IV.
Here and here find old final exam papers.
Here are solutions to the 2007 sample final. One of the pages is out of order, one is duplicated, and one is upside down. I scanned them myself, I'm not very good at it.
Here find your grade on the final exam and your letter grade for the course, posted by the ID number on your final exam paper.
Sample Test I papers: 2008 (about the same as coverage on your exam); 2006 (significant amount of material which will not be on your test; you should be able to tell).
Here are the grades on Test I, posted by the ID number on your paper.
Here is the Test II paper from last term. The sequence questions on last term's Test III look tricker than anything I have in mind for your test. I will post some earlier test papers later today.
Here are the Test II grades.
Solutions to Test I and solutions to Test II are now available. They do not seem to have scanned too well...I'm finding that I can read t if I fiddle with magnification.
I seem to have a shortage of old M175 exams. In 2008 Test II look at problem 5 (integration by parts). In 2008 Test III look at problems 2,4,5,7. In 2008 final look at problem 4 parts a and d and at problem 6. There are some parts problems in this review sheet. There are problems we are covering in several sections on this review sheet. There are some chapter 8 problems with worked-out solutions in this practice test. I'm still looking for stuff.
Here are the Test III grades.
Review materials for Test IV: for 7.2 and 7.3, there are many problems in this old review sheet. For chapter 8 material, look at this old Test IV paper.
Here are the grades on Test IV posted by the ID number on your exam paper.
Review for final:. Be aware that the final is open book and you may have one standard sheet of notebook paper with whatever you like written on it. Although some of the old exams allowed any calculator, be aware that you will only be allowed to use a plain scientific calculator.
Here is the Fall 2008 final review sheet. It is pretty much dead on as to what you have to review for this final. Here is the actual Fall 2008 final exam. This is the only exam I have given from a course taught from your exact book. Here are two other final exams for M175: first sample final; second sample final.
Here are scanned solutions to Test III and Test IV.
Here are the final exam grades and course letter grades posted by the ID on your final exam paper. Have a nice summer!
Here are the lecture notes. These will be updated at this location as the course goes on. Here are the Math 502 notes (pp. 16-26 recommended for reference to proof strategies).
Here are the Test I grades.
Note, Feb 9: Marcel has been updated to handle negative conclusions in a way that avoids creating double negations in one-conclusion mode. You can repeat the commands you did when you first installed it, and recompile it. The version on my web page has also been updated. Then try proving the equivalence of an implication with its contrapositive and you will see different behavior.
Here are things to enter into Marcel for Lab II.
Here are the commands needed for axioms and declarations for Lab IV in a text file.
Here is a script of the proof of the lemma 0+x=x with the command recording the proof at the end.
Here are the grades on Test II.
Here are the practice problems for Test III. Now includes solutions! I will hand out the page with pictures of graphs on it in class.
Test 3 review solutions are posted (look at the original document again, it has solutions now). I had to accompany my wife to a doctor's appointment today unexpectedly; graded Test 3 review papers might be delayed to tomorrow. I still might get to them -- watch this space!
As of 5:15 Wed I have finished grading the Test 3 review document. I will be leaving that at my office door within the next half hour or so. Please remember that you are allowed your book at the final. You are also allowed a printout of the online lecture notes if you want it; the last bit is relevant to this test.
Here are the Test III and course grades posted by the ID number on your Test III.
My office hours are officially 10:00-11:30 am MWTh. On Tuesday I have a piano lesson at 10 am. I may add afternoon office hours later, but for the moment I will be leaving campus fairly quickly at 1:30, as my wife is convalescing from surgery.
I have found the old tests! 2002 test 1; spring 2003 test 1; fall 2003 test 1: happy studying! The test will cover 2.1-6 (exclusive of 2.3 not covered).
Here are the Test I grades posted by the ID number on your test.
Here are some sample Test II papers. Coverage cannot be expected to be identical to ours. Our test will go from 2.9 to 4.5 (and of course only cover sections we have actually talked about). first sample paper; second sample paper; third sample paper. I have a couple of other old Test II's that I do not like.
Here are the grades for Test II.
a sample Test III paper; another sample Test III paper. Both of these have appropriate coverage -- if I talk about numerical methods and say a little bit about electrical circuit word problems on Tuesday, the coverage will be exactly the same!
Here are the Test III grades. The test will likely not be returned tomorrow, as someone has not taken it yet.
Sample test 4 papers and finals follow. The coverage (particularly on the test 4 papers) differs in some ways from what I intend to do. The 9.3 problems on the sample tests are better practice than the problems I found in the book.
Fall '03 Test 4. Spring '03 Test 4.
fall '03 final exam; spring '03 final
Here are the grades on Test IV, the cumulative exam, and your final course letter grades. An excellent performance! Enjoy the rest of your summer.
If you want to look at likely future homework (or if I'm behind on posting it) you can look at my fall 2007 assignment schedule.
I post some Test I papers from past semesters. These will not have pictures in them! summer 2003; spring 2005; fall 2007.
Don't expect graded papers to appear: I have been ill for the last two days, and I have asked Dr. Kerr to proctor the exam tonight. Do note that there are no office hours today: this is in the syllabus...but in fact I will not be there at all, as I am ill...
The grades for Test I are here, posted by the ID number on your test.
Here is the most recent Test II. another. another. another. None of these have exactly the same coverage as our Test II, but they are similar.
Here are the Test II grades. Sorry these took so long to get out; I have been distracted by personal things and very tired.
Here are some sample Test III papers. Test III, spring 2005; Test III, summer 2003; Test III, fall 2002; Test III, summer 2002; Test III, fall 2007; Test III makeup from Fall 2007; Test III makeup review problems with solutions as usual solutions requiring pics are not there;I will do them in class, on request.
Here are the solutions to the worksheet (problems assigned from sample tests). The illustrations are not very good.
Here are the Test III grades. It's been graded since Sunday; I seem to have zoned out when I went to put up the link...if you want to know your current standing in the course, you can visit me at the office or inquire using your offical Boise State email.
You should know from email that there is no test Thursday; there will be a Test IV, but it will be a component of the event in the final examination period. Here I am posting sample Test IV and final examination papers. a final; a final; a final; a final; a final; a final; a test 4; a test 4; a test 4.
Please note that Test IV and the Final will be open book and you will be allowed one standard sheet of notebook paper with anything you like written on it. A plain scientific (non-graphing) calculator will be allowed as usual. This is my usual practice on final exams.
Here is the outline of Test IV and the final which I wrote when I first sat down (before I actually wrote any problems). It might be useful as a final study guide. There is no guarantee that the structure of the test might not change somewhat as I write it! This is only my initial sketch.
Here are the grades on Test IV and the final and your grade in the course posted by the ID number on your test paper. The average on Test IV was 75 and on the final exam was 82.
Here find the lecture notes for my Spring 2009 Math 387 course. Readings may be assigned from here (for logic). Look at the course schedule for specific assignments.
Here is a set of notes on proof strategy I wrote for an earlier M314 class.
Here is your first homework assignment, assigned the 28th and due in a week.
Here are some examples of propositional logic proofs. The examples from Monday's lecture will appear later.
Here are NOTES COMPLETE UP TO FRIDAY THE 4TH (except that I didnt put in the proof of the associative law). You also might want to look at the Math 502 notes (above in my web page) and the 2004 Math 387 notes (below in my web page).
Here is Homework II, due on the 11th.
The due date for Homework II has been extended to Wednesday, and I will be in my office MT 9-12 to consult about Homework II and about Homework I rewrites.
Here are the solutions to Homework I.
Here are the solutions to Homework 2
Here is Practice Test I. I might add more problems during the week.
Writing at 1230 pm, Sunday, I have finished marking Homework 4. There is one nameless paper; if you think it is yours get in touch with me. Your percentage homework grade is written on your H4 paper. The papers will be at the door of my office as soon as I get to the university: I will leave soon after I write this. I will mark the H3 updates later this afternoon. I am sorry that this was such a slow process. You can turn in rewrites of H4 up to 1:15 T (and I will be in my office 10:40-1:15 T): looking at the inclass activity, I think some of you should be able to rewrite the limit proofs profitably. Solutions to H3 will be posted soon, and solutions to the practice test when I have typeset them.
Here are the Homework 3 solutions.
Practice test solutions will appear this afternoon. All outstanding homework is at my door.
Practice test now has some but not all solutions. Here are solutions to Homework 4.
Here are the Test I grades posted by the ID number on your paper.
Here are some notes on the least upper bound concept. The notes are now complete up to a discussion of problem 14 section 8.
Here are notes on the bisection method (problems 15 and 16 from chapter 8). Here are the homework 5 solutions; no notes on the proof of the Chain Rule yet (soon); I hope you don't bring rotten fruit to throw at me ;-)
Here are the practice problems for Test II. Some of these may literally be questions on Test II. Be aware that Test II will now be on the Monday after break; a take-home portion of Test II may be posted on Friday. Please note that when the solutions to Homework 6 are posted, they will include some practice work (I state some parts of solutions and ask you to fill in others).
Homework 6 papers are at my door, as are the remaining H5 rewrites. Note that I changed the grading base from 30 to 25 (but did not give grades over 100). The Homework 6 solutions for problems not graded will be posted shortly (except for 11.6). I'm thinking of accepting rewrites until some point during the break when I will post the solutions to the graded problems.
Here are the solutions to bits of Homework 6 which are not graded and not takehome bits of the exam. 11.6 will be the basis for the takehome problem on Test II: I will talk about this today. I will post a document with hints and instructions about the takehome today or tomorrow. Rewrites will be accepted (either under my door or electronically) until Wednesday 5 pm during break: Wednesday night I will post the complete Homework 6 solutions (except for 11.6). The inclass exam is Monday after break, if you haven't noticed yet. I still owe you a few more notes on various things.
Here is the text of the Test II takehome problem (now with typo pointed out by alert student corrected). You may not ask anyone but me for help or advice on this problem. Please note that I have made the instructions more precise: I expect you to fill in the exact partial proof outline I gave in class, which is reproduced on this document. This is due at the beginning of the inclass exam Monday after break.
Here are complete solutions to the practice problems.
Here are the Homework 6 solutions (except 11.6).
Here is the solution set with rubric for Test II.
Here is a model Test III. Test III is optional. Taking it will not lower your grade. It will be a closed book exam given in the final exam period.
Here are solutions to the model test III. Please point out any errors and/or typos that you detect. Remember that I commented that this model test had no questions about integration, and I might ask something. Make sure you are familiar with the definitions of upper sum and lower sum of a partition. Good luck! I am working rather slowly: I'm hoping to have homework marked and out by a reasonable time but I do not offer a guarantee.
Here is a complete solution set for the integration homework. I am doubtful that I will have this marked before exam time, particularly as I am now ill and getting worse rather than better in addition to my other distractions. Any question on this material on Test III will be taken basically from my lectures on the section, and will be avoidable in any case. The test has a format similar to Test II: you get to choose some of the problems to work. Do point out typos and/or errors; I expect there to be some, as I am actually in rather bad shape as I write this. Grading of homework I do not get to will be handled administratively (you will get credit for handing it in).
Time Commitments: I am teaching Math 187 2:40-3:30 pm MTWF on campus and EdTech 597 4-6 pm Thursdays online from home. I have a piano lesson Tuesday at 10 am. Other time commitments will be posted here as my schedule firms up.
Official Office Hours: Office hours for both classes are to be announced. Those for Math 187 will be held in my office on campus (and any EdTech 597 students who are physically here may use them). Office hours for EdTech 597 will be held online in Second Life, and any Math 187 student adventurous enough to visit may use them.
Proposed official hours at MG240A are 1:30-2:15 MTWF and 3:30-4 pm MTF (note that I leave campus immediately after class on Wednesday). These hours will not be held on days of Math 170 exams.
Office hours for EdTech 597 will be held in Second Life (IM me to get my attention) 10-11 am SL time (11-12 Boise time) MWTh, and other times by arrangement. Students in either class are welcome to use the office hours of the other, if able to do so.
Other Times: I will work at home some days or parts of days; I will try to make it clearer what my habits are in that respect as things develop. There will be extensive blocks of time other than my posted hours when I will usually be on campus, and these will be indicated.
This is my preliminary plan for my time in a typical week this term:
Here is the logic worksheet.
Here is the computer lab manual for this class. This will be the place to look for computer exercises when they are assigned.
Here is the arguments worksheet. It is mostly a reference on forms of proofs but there are some straightforward truth table based exercises at the end. I will do examples of what is expected on Monday.
Old Test I papers: fall 2006; spring 2007. The Spring 2007 exam is more similar to the one you will see. I probably have more exam papers in other computer archives which I will investigate, and I will post them if I find them.
Here are the grades on Test I.
I have looked at sample Test II papers and most of them are not very similar to what you will see. This one, the test I gave in Fall 2008 the last time I taught the course, is closest (actually not too far off). We have not covered binomial coefficients, but most of the parts of the question which mentions them can be done using section 15 ideas (I will demonstrate). We *have* covered the Inclusion-Exclusion Principle enough to do the problem shown, but I haven't called it that: I will explain. I may produce some more review problems, and I will post solutions for the sample test sometime tomorrow or Thursday. I will do sample test problems on request in class.
I am writing at about 2:20 pm. I have graded your section 14 homework; I will drive to campus as soon as I finish typing this and put papers outside my door. Allow about half an hour for this process.
The sample Test II now contains solutions. Follow the original link -- you will now get the version with solutions.
Here are the Test II grades.
Here are the Test III review problems taken from past tests. At least one more piece of review material is coming: some counting problems and the solutions. I strongly suggest working on them without solutions before looking at the solutions.
Graded 19-21 papers are at my door. The two assignments are marked as one 20 point assignment.
Here are the grades on Test III.
Here is the worksheet on modular
exponentiation, due on Tuesday.
Here are Test III and Test IV papers for review for the coming test. fall 08 Test IV; fall 08 test III; spring 07 test 3; another spring 07 test 3; spring 07 test 4; summer 06 test 3; summer 07 test 3; summer 06 final. That should give you plenty to work on. I should put up final exams soon.
Here are the sample finals I have: fall 2006; spring 2007; summer 2006. These are all pretty good sample finals with some minor differences in coverage.
Here are the final exam and course letter grades. Have a nice summer!
Here is the original flyer advertising this class, which contains a link to the syllabus.
Here is a place to get videos for this class. I am not sure YouTube is up to the job.
Here are some sample test papers. fall 2003; spring 2002; spring 2003; summer 2009. Fully worked out solutions to the 2009 test are here.
The grades for Test I are here. (really, I fixed the broken link I put up originally)
Here are some sample Test II papers. No guarantees that they have the exact same coverage! fall 03; summer 09 (likely to be most like yours); spring 03; an old practice test (some of this will look unfamiliar, some of it will be useful); spring 2002; another fall 03.
(writing Saturday at noon) Just so you know, the homework is at my door. I put it out last night but forgot to post the fact. I kept the few 4.7 papers; I'm checking them off (and not penalizing those who didn't turn in 4.7) but I may want to look them over. Happy studying, and Happy Fourth of July!
Here are the solutions to the Summer 09 test.
Here are the Test II grades.
Here are some sample Test III papers. summer 2009; fall 03; spring 2003. These are all excellent
practice papers with the right coverage (except no variation of
parameters). The older ones are better in that they have varieties of
problem you are likely to see which I did not put on the summer 2009
test. I may post solutions to some or all of these tests; no guarantees.
Here are the Test III grades.
Sample test 4 and final exam papers: summer 2009 test 4 and final; fall 2003 final; test 4 fall 2003 (has some stuff in it we haven't done); test 4 spring 2003.
Here are the Test IV, final exam, and course grades. Enjoy August!
Summer 2010
Fall 2010
I am posting some sample test papers. There are some differences in coverage from the books I was using when these tests were given: fall 2007 test 1; fall 2007 test 2 (both test 1 and test 2 material is relevant; you should be able to recognize what we have done and what we have not done, and I'll talk about coverage tomorrow). another test I paper; another test I paper; another test I paper; another test I paper; another test II paper; another test II paper; another test II paper. Things to be aware of on the sample tests: hand-drawn pictures are not shown, of course; we have not done implicit differentation, infinite limits or limits at infinity, related rates word problems, among other topics. In the test II papers you should certainly look at the lists of derivatives but we do not have derivatives of special functions (exponential, logarithmic, trigonometric).
Here is a study guide for Test I.
Here are the Test I grades posted by Test ID with information about grading and distribution.
Here is the worksheet of homework problems for curve sketching. It is due on Wednesday, when I will post complete worked-out solutions (they are there). We will be doing a number of problems like these over the days before the test.
Here are the Test II grades.
SAMPLE TEST PAPERS: First of all, look at all the sample Test II papers above. There will be derivative calculation questions with new functions. Here I give some Test III papers: Fall 2007; Fall 2007 makeup; a 2002 test;Fall 2002; Spring 2005; Summer 2003.
Papers to look at for Test III: I seem to have reposted a bunch of Test III papers ;-) Some of the Test II papers posted above have related rates problems in them. Here is a relevant Test III paper. Here is another one, and another one and yet another. One more Test III. For integration you need Test IV papers: a first one; another one; I seem to be a bit short of Test IV papers but those ones have good examples in them.
Here are the Test III grades.
Sample Finals: Fall 2002; Spring 2005; Summer 2002; Summer 2003; Fall 2007; Fall 2009; something old.
Here is the study guide for Test I. It is the topic outline I wrote just before starting to write the test. It is of course subject to change.
Here is the study guide for Test II. It is not an outline for the test to quite the extent that the first one was (I am not writing the test until Thursday), but it should give a clear idea of my intentions.
Here are the grades on Test II.
Here is a study guide for Test III. I may hunt up some sample tests if I can find good matches: watch this space. I hope everyone realizes the test is on MONDAY.
Here are the grades on Test III. Good job!
SAMPLE FINAL EXAMS: These come with no warranty express or implied. Fall '03; another final paper; Summer '09.
General Information: The schedule of academic deadlines, exam dates, and homework assignments for both my classes is here. It will be updated frequently: always refresh the page before using it.
Office and Other Hours: In Spring 2011 I am teaching Math 333 9:40-10:30 am MTWF in MG120 and Math 314 12:40-1:30 MTWF in ILC404. I expect to be on campus from sometime between 9 and 9:30 pm to sometime between 3 and 5 pm MTWF (this depends on delivery and pickup of my son from school). My official office hours are 10:40-11:30 MWF (not Tuesday) and 1:40-2:30 MTWF. I have a piano lesson at 9:30 am Tuesday and logic seminar at 10:40 am Tuesday. I do not expect to be routinely on campus on Thursdays, but this may change.
Math 314 (Introduction to Real Analysis): The syllabus is here. The schedule of events for both my classes is above (and there is a link to it in the syllabus). Watch this space: announcements for the class and useful documents will appear here.
Here is a manual of logical style which may be useful to form your thinking about proofs. You should not get the idea from this that proofs are commonly written in esoteric logical notations: generally, they are written in technical English, but the logical moves that we make in proofs are of the same kind as the moves we would make in a proof written entirely in logical symbolism, and it is easier to describe these logical maneuvers in the abstract using symbolism.
Here are the lecture notes, in which I will put all information that I give in class before we start using the book. I may add to it even after that point. It now contains rather more than we hav covered so far, and can be used as a reference for doing the first homework assignment, which will appear here tomorrow morning (writing late Thursday night).
Here is Homework 1, which is due Feb 4.
the first computer lab which is due Friday the 11th. No paper homework will be given Friday, though some might appear on Monday or Wednesday. Remember that we meet in MG104 on Friday.
The notes have been updated to cover up to the beginning of the proof of commutativity of addition. Use the link above.
Rewrites of problems 3,4,5 in homework 1 will be accepted up to the beginning of class on Wednesday if you had a score of 3 or below on the problem. Please attach your rewrites to your entire original paper. Late rewrites will not be accepted.
Here is Homework 2. Read the instructions for due dates.
The lecture notes are up to date to the lecture of Monday the 14th. Use the link above.
Here are the examples and instructions for Lab II. We will meet in MG104 Friday morning the 18th!
If you turned in your draft of Homework 2 early (either on paper or electronically), it is in the envelope on the door of my office. I will have evaluated the rest by Tuesday.
Here are the grades on Test I.
. Here is a set of solutions to Test I. Please bring any bloopers to my attention.
Homework 3 is up in the homework schedule. There is quite a lot to do; get started on it right away.
The lecture notes (use the link above) are updated to include proofs from chapter 5 and some hints on the current homework.
I have marked Homework 4 and decided against doing rewrites. Instead, I am giving a practice test and worksheet (now with solutions). It includes instructions. Test II will be on April 11th.
Here are some proofs which might be useful for thinking about Homework 5. One of these proofs, if rewritten slightly, the solution to one of the problems; I'm not giving anything away by posting it because it is a proof I did in class!
Here are the Test II grades.
Here are some notes on chapter 8 (and chapter 22) proofs; it now contains the proof of the equivalence of the Intermediate Value Theorem and the Least Upper Bound Axiom, the proof of the Extreme Value Theorem, and the proof of the Monotone Convergence Theorem for series. The last proof is what you should be looking at as a model for problem 8a, chapter 8. More material will be added.
Here is a practice test. I will probably add more sample problems as the week goes on.
Here are the practice test solutions.
Here are the Test III and course grades for those who took the exam in class.
Math 333 (Differential Equations): The syllabus is here. The schedule of events for both my classes is above (and there is a link to it in the syllabus). Watch this space: announcements for the class and useful documents will appear here.
Here is the study guide for Test I. Wednesday Feb 16 about 4 pm: Your homework is available outside my door. Take the packet with your last name on it.Here are the grades for Test I.
Here is the Test II study guide.
Here are the Test II grades.
Here is a cute little numerical DE solver. I'll demonstrate in class.
Here is a review sheet for Test III.
Here is the 5.6 worksheet. It will be due on Monday the 25th, since I didn't post it until Wednesday morning.
Here are the grades on Test III.
Here are complete solutions to the 5.6 worksheet; you can self-assess.
Here is an Excel spreadsheet with examples of differential equations we did in class set up in both 6.1 (Euler method) and 6.2 (second-order Runge-Kutta method) style. The sheet is wide, make sure you read all the way across it. I will be using it in my 6.2 lecture on Monday, but it is also a model you can use to set up 6.1 or 6.2 homework. Make sure that you do some examples of both 6.1 and 6.2 by hand (just single equations, not systems!) Here is the Open Office version of the same spreadsheet, which you might be able to run if you arent on a Windows platform.
SAMPLE FINAL EXAMS: These come with no warranty express or implied. Fall '03; another final paper; Summer '09.
Here are the grades on test 4, the final exam, and your letter grade for the course, posted by the ID on your final paper.
Math 175, section 030: Here is the syllabus. It contains a link to the course schedule.
Here are the test grades from Test I posted by your test ID. If you took the test other than in ET110, you will receive your grade Monday in email. The papers will not be returned Monday, as someone has not yet taken the test.Here is the additional worksheet on section 9.5. It now includes some solutions (reload the same link).
Here are the Test II grades for all students posted by the ID number on your test. If you do not know the ID number, send me email from your offical Bronco mail and I will send you your grade. Papers will be returned tomorrow and you will get an estimate of your current standing in the course as well.
Here is the 11.1 homework assignment.
Here is the 11.2 worksheet. Do notice that you also have some Schaum's problems.
Here are the grades on Test III. The test will not be returned or discussed Monday as someone has yet to take it.
Here is a sheet of problems for sections 11.3-5, in addition to the problems from the book for section 11.3. Some short answers have been added, as well as some 11.7 problems.
Here is the 11.8 worksheet.
Here is the review sheet of topics to be covered on Test IV and the final.
Here are some sample finals. Please look at the review sheet to see what kinds of problems we will actually have: there are topics on these exams that we have not covered. spring 2008; an ancient Test IV; a final from 2001; a final from 2002; a test 4 from spring 2009.
These are not going to be very much like your test overall, but they may have problems that are very good practice.
Here are the Test IV, final exam, and course letter grades posted by Test ID on your final paper. I'll post these to BroncoWeb tomorrow or Sunday.
Math 170 section 009: Here is the syllabus. It contains a link to the class homework schedule.
Please read the department ALEKS page. You must take the ALEKS exam before August 26th. You can read details of this department policy at the indicated site or in the syllabus. Do not put this off until the last minute.
Here is the first test I gave in Fall 2010. Question 7 and question 9b are on material we haven't covered yet. Pictures in the original were hand-drawn and so are not present.
Here is Test I from fall 2007. Problem 4 is not relevant to you.
Here is a Test I from an earlier year. Problem 4 is not relevant.
Here is another Test I. There are a number of ways coverage on this one differs from your test but there are things you should be able to do.
Here are the grades on Test I posted by the ID number on your test paper.
Here is the 4.1 worksheet.
Here are some Test II papers. I will add relevant problem numbers later. Most of what is on the fall 2010 test (but not all of it) is on your test: the older tests differ more. Here is the Fall 2010 Test II (you should also look at the long list of derivatives which is the last question on the Fall 2010 Test I). another test; another test; another test; another test.
Here are the grades on Test II.
Here is the first chapter 5 worksheet.
Here is the second chapter 5 worksheet. This is due the last day before the exam; I will post solutions to it at that time so I suggest keeping a copy of your work.
Here is some review material for Test III. You should look at problems 5 and 6 on the Fall 2010 Test II (above). Here is Test III from Fall 2010. Problems 1-4 are relevant to you (we will be covering the problem 4 material Tuesday). I will post older tests later today; I have to sort through them to see what problems in what tests are relevant.
Below find links to the other Test III papers I have. Relatively few of them have related rates problems; I think those may be found in some of the Test II papers above. But there are some. The Mean Value theorem is something we have not covered yet. I'm not going to ask questions about topics we have already covered, and certainly not about topics we havent even heard of yet. I think it should be pretty obvious what is relevant.
Fall 07 makeup; Fall 07 Test 3; 2002 alternative test; 2002 test; FA 2002 test; SPR 2005 test; Summer 2003 test. Please note that I will post solutions to the extra curve sketching worksheet and to the 6.1 quiz if I give one; it would be a good idea to keep a copy of your work on the curve sketching worksheet.
Here is a document with solutions to the 6.1 quiz, most of the curve sketching worksheet, and the 6.4 problems from the fall 2010 exam.
Here are the Test III grades. Test III papers will be returned and discussed on Wednesday; there is a student who has not yet taken the test.
Here is the I may add suggested problems to this document later if I have time; I don't promise to do this.
Here is the last worksheet (on total change formula and acceleration problems).
Most Recent Sample Final: Here is the final from fall 2010.Older Sample Finals: Fall 2002; Spring 2005; Summer 2002; Summer 2003; Fall 2007; Fall 2009 (this one is a Test IV and final); something old.
Here are the grades for Test 4, the final exam, and the course.
Math 314 section 001: Here is the syllabus. It contains a link to the class homework schedule.
Here are the Spring 2011 M314 class notes, provided without any warranty.
Here is the current version of the course notes, updated 12/09/2011, containing notes on the last lecture. It is not impossible that some more remarks will be added to the notes; this will be signalled on this page if it happens. Please note theorems labelled STAR in section 6.6 and later: you should be able to write these proofs (or proofs of very similar statements) for the exam.
Here is homework assignment 1. It is due at class time on Wednesday September 14th.
Here is the text for the first computer lab, which we will be having in MG104 during the Friday class session. You can attempt the instructions for starting the Marcel theorem prover if you like, though I will be doing a version update on Marcel on the MG104 machines between now (2:36 PM Th) and class time. The version update will not cause major changes in the demo section of the lab; it does make the actual lab exercises go differently (more easily, where negations are to be proved).
Here is a file with the starting commands set up for each assigned problem in the computer lab. If you can paste these into the ML interpreter window, you will be set.
Here are the examples and problems for computer lab 2. Here are the initial commands for the exercises in lab 2 set up in a text file.
Here is Homework II. Drafts are due September 30th (anytime, you can hand them in in the afternoon), final version October 5th.
Here is Test I from the Spring class. You should expect that your Test I Part I will be longer than the propositional logic part of the Spring exam, but it will not be in intention a full hour exam. It might have 3 formal proofs as you see but also a truth table question or two. In general, anything on Homework I is fair game.
Here are solutions to the propositional logic part of the Spring Test I. I'm not posting the full solutions as they include a complete solution to one of the parts of Homework II.
Here are the grades on Test I Part I, Test I Part 2, and your final Test I grade.
Here is the Test II paper from the last term. It strongly resembles the test you will take in both content and format.
Here are the grades for Test II.
The notes have been updated to cover the December 9th lecture.
For your general information, here is Test III from last term.
The notes are updated Dec 7. Note proofs labelled STAR in sections 6.6 and later; you should be able to write proofs of these or very similar statements on the exam. There may be some relevant discussion and counterexamples still to be added, but the notes are largely up to date.
Here is a practice test from last term. No warranty express or implied...Here are the practice test solutions.
Here are the Test 3 and course grades. Have a nice holiday break!