Introduction

This file is rather like an attic. I have been pasting the teaching sections of my web page into it for years, new stuff at the bottom. I ought to reorganize it! Students, if you hunt around for material from earlier years related to a course you are taking from me, you may find material of interest.

The Attic

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:

·         course syllabus (Postscript)

·         course syllabus (PDF)

·         homework schedule (Postscript)

·         homework schedule (PDF)

·         final grade report

NOTICE for 108 Students (August 2, 1:30 pm): 12 pm July 9: I am leaving my office in Boise and coming to Nampa as soon as I can (I have to go home by bus to pick up my car). I have graded 7.2-9.3 papers, for what it's worth. I hope to be at the Canyon County campus by 3 pm if not a little before. {\bf UPDATE:} 3 pm is looking very unlikely - I'm still hoping to be there by 3:30 or 4.

Students in Math 257, section 030, summer 2001 can find resources here:

·         course syllabus (Postscript)

·         course syllabus (PDF)

·         homework schedule (Postscript)

·         homework schedule (PDF)

·         final grade report

Students in Math 147, section 007, fall 2001 should watch this space for developments. Here is the syllabus. Note that this section is participating in the Core Online project: there will be substantial administrative and course content materials available through the SMITC Blackboard site .

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).

·         Lesson 1 (covering sections 3.1 and 3.5 in the book). I have changed the colors to make the graphs readable!

·         Lesson 2 (covering sections 4.5 and 4.6 in the book).

·         Lesson 3 (covering sections 4.5 and 4.6 in the book). (posted to the web page Nov. 20 -- link should appear later today on Blackboard)

Students in Math 307 = CS 367/567 (Cryptology I), section 001, fall 2001 should watch this space for developments. Here is the syllabus.

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.

·         Math 333, section 1: You can look at the syllabus here.

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.

·         Math 175, section 2: You can look at the syllabus here. It's useful to know that we are currently two days behind schedule: on Friday the 15th, I am assigning the first homework for 7.1, which was scheduled for the previous Tuesday. I'm not planning to revise the posted schedule -- this would be quite laborious!

Here are dvi files for all the homework quizzes and tests.

·         Math 171, section 8: You can look at the syllabus here.

Here is Assignment 1 (a Postscript file).

·         Math 333 spring 2002 grades have been computed. You can request them from me by e-mail; I'm sorry I forgot about codes for posting grades!

·         Math 175 spring 2002 grades are here (both final exam score and course letter grade).

·         Math 171 spring 2002 grades will be sent by e-mail.

Math 170/1, summer 2002: You can see the syllabus here. You can see policies, exam dates, and the full homework schedule.

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.

Fall 2002 Classes

·         I can now announce office hours for the semester: I will be in the office 9:40--10:30 daily and 1:40--2:30 MWF (not on Tuesday or Thursday). I teach M170 7:40--9:30 Thursday, Friday and alternate Wednesdays; I teach M275 daily 12:40--1:30. I eat lunch at noon. I have a piano lesson from 2:00--2:30 on Tuesday which often runs over (say to 2:45 or so). I participate in the logic seminar 2:40--3:40 Thursday. I seldom leave the office before 3:30 pm, and may be here as late as 5 pm. If I'm in my office, I am usually available to talk to you. I'll try to warn you all if I have to miss a posted office hour.

·         A provisional syllabus and schedule for Math 170/1, section 1, fall 2002 is here.

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

·         A provisional syllabus and schedule for Math 275, section 2, fall 2002 is here.

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.

Teaching Stuff (for spring 2003)

·         Office Hours: I note that I have neglected to post official office hours. I hope that everyone is already aware that I am mostly in my office from 8:40 AM to 3:30 PM and almost always willing to help those who drop in, but I do announce the following official hours: I undertake to be in my office from 9:40 AM to 10:30 AM daily, from 2:00 PM to 3:00 PM MTF and from 2:40 PM to 3:30 PM Wednesday and Thursday. Other regular items in my schedule: I have a piano lesson at 1:30 PM on Wednesday, which will often go as late as 2:15 PM. I participate in the logic seminar on Thursdays 1:40--2:30 PM. Between 11:30 AM and 1 PM I might be at lunch.

·         spring 2003 online Math 143: Here is the introductory letter. Here is the syllabus.

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).

·         spring 2003 Math 333: Here is the syllabus and assignment schedule for the class. The contents are subject to change.

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.

Fall 2003 Classes

·         Office hours (both classes please note): MTWF 9:40 am - 10:30 am and MWF 1:40 pm - 2:30 pm. I will try to notify you when I miss an official hour.

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.

·         Fall 2003 Math 147:

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.

·         Fall 2003 Math 333:

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.

Spring 2004 Classes

·         Requests for Final Grades: If you e-mail me from your official BSU mailing address, I will send you your final exam and course grade (this applies to either class). These should be ready by the end of the day tomorrow.

The grades for Math 187 have been turned in. The average on the final was 81 and the median 86.

·         Office Hours and Schedule Information: Office hours (for students in either class) are 9:40-10:30 am and 1:00-2:00 pm MTWF.

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.

·         Math 187, section 1: The syllabus and class schedule is now available. Here is a directory where I will put Postscript (.ps) and PDF (.pdf) versions of handouts.

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.

·         Math 387, section 1: The syllabus and class schedule is now available. Here are the lecture notes in Postscript and PDF formats. Here is a directory containing Postscript and PDF files of the handouts.

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 :-).

Fall 2004 Stuff

o    Office hours (for both classes): Provisionally, I am considering official office hours at 10:40-11:30 MTWF (the next period after my Math 301 class on the days it meets) and TTh 3-4 pm (I decided against M 3-4). I will consult with both classes about this before making this final.

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.

o    Math 301, Linear Algebra: Here find a syllabus with link to calendar. The syllabus is final; the calendar now contains a schedule of sections to be covered for the entire term and will be updated with homework assignments each week..

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.

o    Math 497/Phil 497, Philosophy of Mathematics: For the final version of the syllabus, you can look here. There is a link in the syllabus to a calendar which contains important dates for this course and will be updated with the reading assignments.

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.

o    For old course stuff, look here.

Spring 2005 classes

·         Math 170, Calculus I: Here is the syllabus. Here is the Spring 2005 semester schedule for both classes.

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.

·         Math 187, Foundational and Discrete Mathematics Here is the syllabus. Here is the Spring 2005 semester schedule for both my classes.

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.

Summer 2005 stuff

o    Summer Office Hours: Office hours will be MTWTh 9:30-10:00 am (for questions right after class) and MTWTh 11:10-11:40 am. Between 10:00 am and 11:10 am I will be elsewhere (piano practice). I am still planning to be on campus at least until 3:30 pm most days.

o    Summer Calendar Here is the Summer semester schedule for summer M187.

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.

o    Math 187, Discrete and Foundational Mathematics, summer 2005: Here is the syllabus and the schedule .

Various new stuff here is blinking for your attention. Eventually I'll stop amusing myself in this antisocial way...

Here are your final grades (remember that after this I can't blink 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)

o    For old course stuff, look here.

A senior seminar talk, 2005

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).

Visit to philosophy of science class, fall 2005

For Dr. Peddicord's philosophy of science class, my notes for the class, G. H. Hardy, A Mathematician's Apology (PDF) and a brief snippet from St. Augustine on the reality of numbers.

spring and summer 2006

o    Math 187, summer 2006: Here is the current draft of the schedule of assignments and academic deadlines. Here is the syllabus.

Get your final and course grades here. Have a nice relaxing August!

o    Math 175 (Calculus II) section 04: Here is the syllabus. See General Information for the class schedule.

Here are the final exam and course grades posted by the ID number on your final exam paper.

o    Math 275 (Calculus III) section 01: Here is the syllabus. See General Information for the class schedule.

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).

Fall 2006 Courses

Math 187 fall 2006 syllabus.

Here is the worksheet on modular calculations and the RSA algorithm.

Here is the new RSA examples worksheet with solutions Now with detailed solutions to the first two examples. 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.

·         Math 502: The syllabus for this course appears here: I leave the old announcement.

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.

Spring 2007 Classes

·         General Information: Here is the schedule of homework, tests, and academic deadlines for both classes. Look at this regularly: changes and additions are always happening!

·         Schedule Information and Office Hours: My classes meet at 8:40 am and 10:40 am. I attend M580 from 1:40 pm - 2:55 pm T Th. On Thursday, you should not expect as a rule to be able to find me in my office; if you lie in wait for me outside my office at about 3 pm you have a good chance of catching me at least briefly, but no guarantee. I have a piano lesson Wed at 1 pm and you should not count on my being back before 2 pm.

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.

·         Math 187, section 001: Here is the syllabus.

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.

Gas Leak News: 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

·         Math 314, section 001: Here is the syllabus.

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.

Here 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).

Gas Leak News: 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

Summer 2007

·         Math 187, section 030, summer 2007: Here is the syllabus and the schedule of assignments and deadlines.

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.

 

·         General Information: Here is the schedule of assignments and academic deadlines for both classes, which is always being updated. I have office hours from 8:40--9:30 MTWF and from 1-2 PM MWF (not Tuesdays). My independent study student has priority during the 1-2 PM hours but he will not always be using them. I have a piano lesson at 2 PM Tues and logic seminar at 3:40 Tues. I am not likely to be reliably available at the University on Thursday; on MTWF I expect to be on campus from 8:40 (and perhaps earlier some days) until 3 PM (and perhaps later on some days).

·         Math 301, Linear Algebra: Here is the syllabus. Look under General Information above for final official office hours.

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.

Here is the 2004 final exam

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!

Fall 2007 Stuff

·         Math 170, Calculus I: Here is the syllabus. Notice that I now list official office hours above under General Information.

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.

Final Exam and Course Grades!

·         Graduate Independent Study and Thesis: I am directing a graduate student in an independent study (3 credits, titled "Logic for Automated Reasoning") and 2 credits of thesis. Note that this student has priority for use of my 1-2 PM office hour, though other students may also attend this hour. A brief course description and descriptions of assignments will appear in this space as they develop.

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.

Spring 2008

Math 175

Here is the syllabus.

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, NOW WITH SOLUTIONS. 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.

·         Math 175, Calculus II: Here are the final exam and course grades. You will not see them on BroncoWeb until Monday.

·         Math 502, Logic and Set Theory: Here is the syllabus.

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.

·         Math 593, Thesis: I am supervising 5 credits of thesis for a graduate student, who will receive his instructions here.

set theory sequent rules with assignment

·         Fall 2007 classes: Look at the end of the old courses document (follow the link just below).

Teaching Stuff, fall 2008

·         General Information: A schedule of assignments and academic deadlines for my fall classes is here. Office hours for both classes will be 8:30--9:15 MTWF and 12:30--1:15 TWTh (I will be in before class on Mondays as well, but my piano lesson at noon is likely to run over so I make no promise about when I will arrive; on Friday my logic seminar now goes 1 1/2 hours). You can make appointments to see me at other times, or just drop by. My classes are 9:40 am and 1:40 pm MTWF. I will have a piano lesson M at 12:00 pm. One Friday mornings, I meet my graduate student at 10:40 am and I have logic seminar at 11:40 am. You should not expect to find me on campus on Thursdays, though I do attend a meeting weekly at 1:40 pm: I have added an official office hour during the hour before that meeting. There is a global problem with my morning office hour: if I have to deliver my son to school I will arrive at 8:45 am or so instead of 8:30 am; if I do not have to deliver my son to school I usually walk and arrive at about 7:40 am. The time at which I leave school is variable: I will sometimes leave right after class at 2:30 pm, and sometimes work in my office until 4 or 5 pm. Do be aware that if I am in my office I am usually available to talk to you, except right before classes (that's why my official office hours end at quarter after the hour).

·         Math 187: The syllabus is now available. See above or in the syllabus for a link to the schedule.

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.

·         Math 301: The syllabus is now available. See above or in the syllabus for a link to the schedule.

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.

Spring 2009 Classes

·         General Information: A schedule of assignments and academic deadlines for my Spring 2009 classes is here. I have now posted official office hours. My classes meet MTWF at 9:40 and at 11:40. I will hold an office hour from 10:40-11:15 MWF (not T, which is reserved for my grad student) and 2 pm - 3 pm TWF (not Monday, when I have a logic seminar at 2:40). I have piano roughly 1-1:45 Tuesday. In general I will try to get here on foot at about 7:40 am, but I will sometimes have to drive a child to school, which will put me here by car at about 8:45 am. If I have to pick up my child from school I will be leaving about 3 pm, and otherwise somewhere between 3 and 5 pm. I am usually available for you to consult if I am in the office. I will often be working at home on Thursdays. I have no scheduled office hours on the days of exams (this does not affect one class on the day of the other's exam if they are different).

·         Math 175, section 2: The syllabus is now available. See above or in the syllabus for a link to the schedule. You might find this link to my last M175 course schedule useful if I forget to post homework; assignments are likely to be the same or very similar for each section.

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!

·         Math 387, section 1: The syllabus is now available. See above or in the syllabus for a link to the schedule.

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.

·         Summer class: Math 333, section 031: This is Math 333, Differential Equations. A syllabus is here! A schedule is here, containing academic deadlines, test dates, and homework assignments.

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.

Fall 2009 Classes

o    Math 170, section 007, fall 2009: Here is the syllabus.

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.

o    Math 314, section 001, fall 2009: Here is the syllabus.

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).

Spring 2010

·         General Information: The schedule of assignments and academic deadlines for both of my classes (the link is live and getting more filled out).

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:

o    Monday work morning at home, go to office at noon, go home at 5

o    Tuesday walk to work by 9:30 am, piano at 10 am, leave 4:30 or 5 pm.

o    Wednesday work morning at home, go to office at noon, go home immediatelay after class.

o    Thursday work at home except for meetings

o    Friday walk to work by 9:30 am, go home at 4:30 or 5

·         Math 187, Foundational and Discrete Mathematics: the syllabus is available. There is a pointer to the homework schedule above and also in the syllabus.

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!

·         EdTech 597: Teaching Mathematics in Virtual Worlds: Information about this class is found on the EdTech department's Moodle site, here. This class is taught online in Second Life.

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.

Summer 2010

·         Math 333, Differential Equations, section 030: Here is the schedule of assignments and academic deadlines. Here is the syllabus.

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!

Fall 2010

·         There may be some details still to be filled in, and the Math 170 part of the schedule of events above is not filled in except for the test dates. If you don't know about the ALEKS exam, make sure you find out about it; there is information here. This is important and your action needs to be prompt: if you do not have a satisfactory ALEKS score by August 27th and do not drop the class, the department instructs me to lower your final grade by one full letter. There is a link right here to your free online textbook.

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.

Spring 2011 Classes

o    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.

o    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.

o    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.

o    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.

Summer 2011

o    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.

Fall 2011 classes

o    The homework schedule for both classes is here.

o    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 section-by-section discussion of what will be on Test IV and the cumulative part of the final. 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.

o    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!

Spring 2012 classes

 

·         Office Hours and general availability: M311 meets TTh 8:15-9:30 am; M187 meets MTWF 1:40-2:30 pm. Official office hours, to be held in MG240A (I may hold them in MG104 during periods when one or the other class has computer labs they are working on; this will be indicated by a notice on my door):

o    TWTh 9:40--10:30 am (I will usually also be in M at this time but there is an occasional conflict which causes me not to list this as an office hour);

o    Th 1:40--2:30 pm;

o    MTW 3:40--4:30 pm.

I am planning to arrive on campus by 8:15 MTWTh; I will be more relaxed on Fridays. My times of leaving campus will be consistent with my class meeting times and stated office hours. I will indicate times of seminars and other regular events which will cause me not to be in my office: logic seminar is 10:40--11:30 W and there will often be a department meeting right after my class on F basically for the rest of the afternoon. Here is my office door notice!

Here is my Google Calendar.

·         Here is the class schedule with information on assignments, test dates and academic deadlines for both my courses.

·         Math 187 Foundational and Discrete Mathematics, section 004: Here is the syllabus. Here is the class web page where announcements and worksheets may appear.

·         Math 311 Foundations of Geometry, section 001: Here is the syllabus. Here is the class web page where announcements and worksheets may appear.

Spring 2013 Classes

·         My office is MG 240A (in the Math/Geology Building). My official office hours are 8-8:45 am MTWThF (every weekday) and 1-2 pm MTWF (every day except Thursday). Im quite willing to talk to students at other times. To help understand when you might find me: my intentions are to arrive at work each day a little before 8 pm and leave sometime between 3 and 5 pm. My classes are M187 MWF 9-10:15 am and M311 TTh 10:30-11:45 pm. I attend the set theory seminar 1:30-2:30 pm Th. Do be aware that severe winter weather may affect the time that I arrive on campus.

Here is the class schedule for both of my classes. Academic deadlines and test dates are already here, and assignments will be posted.

·         Math 187, section 001: Please note that this section is for MATH MAJORS ONLY. The intention is to focus on writing proofs at a level needed by math majors. If you convince the office staff that you need to be in this section, which is not impossible, my expectations of you with regard to proof writing will be the same as my expectations of the math majors who will be the majority of the class.

Here is the syllabus. See above for the calendar for both my classes. Here is the class announcements page, which is the place to look for worksheets and other documents that we use as well as important class announcements. Get in the habit of looking at it!

·         Math 311 section 001: Here is the syllabus. See above for the calendar for both my classes. Here is the class announcements page, which is the place to look for worksheets and other documents that we use as well as important class announcements. Get in the habit of looking at it!

Summer 2013 Class

·         General Information and Office Hours: My office is MG240A. My class meets 7:30 am –9:10 am. My office hours for the summer will be 9:30 am—10:30 am or by appointment (but I am stereotypically absent-minded and prefer to avoid making appointments unless absolutely necessary). I am planning to often but not always walk home after that. I will not be on campus on Fridays.

·         Math 275, Multivariable and Vector Calculus: Here is the syllabus (which includes the homework schedule at the top: you should look at the homework schedule regularly as that is where homework assignments will appear). Class announcements will appear in this file.

Fall 2013 Classes

·         General Information and Office Hours: My office is MG240A. My classes meet WF 9-10:15 and MWF 1:30-2:45 PM. My office hours will be 10:30—11:30 MWF and 3-4 PM WF. I have logic seminar at 3 PM Monday, so I will not be in my office then. I may add hours on T, Th later.

·         Math 275, Multivariable and Vector Calculus: Here is the syllabus. Class announcements will appear in this file.

·         Math 187 Foundational and Discrete Mathematics: Here is the syllabus. Class announcements will appear in this file.

Teaching Stuff (Spring 2014)

·         General information and office hours: My office is MB240A. I have M287 (Communication in Mathematics) 12-2 pm T/Th and M406 (Number Theory) 10:30-11:45 am WF. I have logic seminar on Tuesdays at 2 pm. My official office hours will be 10:30-11:45 T/Th and 3:15-4:45 T/W/Th/F effective immediately. Students should be warned that afternoon department meetings or colloquium talks may cause 3:15 office hours to be cancelled; I will provide notification of this on my door, and will try to provide other notification online when I can. I will very likely not be on campus on Mondays; on the other four weekdays I will usually be on campus from 10:30 (or possibly earlier) to 5. If I am in my office I will usually be available to you.

·         Math 287, Communication in Mathematics, section 001: Here is the syllabus. Here is the class announcements page.

·         Math 406, Number Theory, section 001: Here is the syllabus. Here is the class announcements page.

 

 

Fall 2014 Classes

Spring 2015 Classes

Fall 2015 Classes

Spring 2016 Courses

Summer 2016

Teaching Stuff (Fall 2016)

Teaching Stuff (Spring 2017)