Instructor: Andres Caicedo. Contact Information: See here. Time: MWF 10:30-11:45 am. Place: Business, Room 204. Office Hours: Th 3-4:30 (starting Jan. 31), or by appointment (email me a few times/dates you have available).

Text: Calculus (Michael Spivak), fourth edn. Publish or Perish, Inc. Here are some reviews.

If you want an additional text to supplement your reading, I suggest Calculus. Whitman College (David Guichard and others). The text is distributed under a Creative Commons license. It can be downloaded from Whitman’s page. You may also want to consider as an amusing, quick reference, The cartoon guide to Calculus (Larry Gonick).

Contents: The department’s course description reads:

Definitions of limit, derivative and integral. Computation of the derivative, including logarithmic, exponential and trigonometric functions. Applications of the derivative, approximations, optimization, mean value theorem. Fundamental Theorem of Calculus, brief introduction to applications of the integral and to computations of antiderivatives.

We will see some applications, but our emphasis is on understanding the theory. The material to cover is roughly the first 18-and-a-bit chapters of Spivak’s book.

The grade will be decided based on homework, quizzes, and a final exam (20%). The date of the final is Monday, May 13, 12-2 pm. Details of homework and quiz policy will be given in due time.

I post links to supplementary material on Google+. Circle me and let me know if you are interested, and I’ll add you to my Calculus circle.

This entry was posted on Wednesday, January 23rd, 2013 at 4:33 pm and is filed under 170: Calculus I. You can follow any responses to this entry through the RSS 2.0 feed.
You can leave a response, or trackback from your own site.

Stefan, "low" cardinalities do not change by passing from $L({\mathbb R})$ to $L({\mathbb R})[{\mathcal U}]$, so the answer to the second question is that the existence of a nonprincipal ultrafilter does not imply the existence of a Vitali set. More precisely: Assume determinacy in $L({\mathbb R})$. Then $2^\omega/E_0$ is a successor cardinal to ${ […]

Marginalia to a theorem of Silver (see also this link) by Keith I. Devlin and R. B. Jensen, 1975. A humble title and yet, undoubtedly, one of the most important papers of all time in set theory.

Given a positive integer $a$, the Ramsey number $R(a)$ is the least $n$ such that whenever the edges of the complete graph $K_n$ are colored using only two colors, we necessarily have a copy of $K_a$ with all its edges of the same color. For example, $R(3)= 6$, which is usually stated by saying that in a party of 6 people, necessarily there are 3 that know e […]

No, this is not consistent. Todorčević has shown in ZF that, in fact, there is no function $F\!:\mathcal W(S)\to S$ with the property you require. Here, $\mathcal W(S)$ is the collection of subsets of $S$ that are well-orderable. This is corollary 6 in MR0793235 (87d:03126). Todorčević, Stevo. Partition relations for partially ordered sets. Acta Math. 155 (1 […]

As suggested by Gerald, the notion was first introduced for groups. Given a directed system of groups, their direct limit was defined as a quotient of their direct product (which was referred to as their "weak product"). The general notion is a clear generalization, although the original reference only deals with groups. As mentioned by Cameron Zwa […]

Gödel sentences are by construction $\Pi^0_1$ statements, that is, they have the form "for all $n$ ...", where ... is a recursive statement (think "a statement that a computer can decide"). For instance, the typical Gödel sentence for a system $T$ coming from the second incompleteness theorem says that "for all $n$ that code a proof […]

When I first saw the question, I remembered there was a proof on MO using Ramsey theory, but couldn't remember how the argument went, so I came up with the following, that I first posted as a comment: A cute proof using Schur's theorem: Fix $a$ in your semigroup $S$, and color $n$ and $m$ with the same color whenever $a^n=a^m$. By Schur's theo […]

It depends on what you are doing. I assume by lower level you really mean high level, or general, or 2-digit class. In that case, 54 is general topology, 26 is real functions, 03 is mathematical logic and foundations. "Point-set topology" most likely refers to the stuff in 54, or to the theory of Baire functions, as in 26A21, or to descriptive set […]

In the presence of the axiom of foundation, it is true as you indicate that no set belongs to itself, and so the definition of transitive set can be written with $\subset$ (or $\subsetneq$, whichever symbol you prefer). However, one may study also set theories where foundation fails, and then it is natural to define transitive sets in a way that allows self- […]

You do not need much to recover the full ultrapower. In fact, the $\Sigma_1$-weak Skolem hull should suffice, where the latter is defined by using not all Skolem functions but only those for $\Sigma_1$-formulas, and not even that, but only those functions defined as follows: given a $\Sigma_1$ formula $\varphi(t,y_1,\dots,y_n)$, let $f_\varphi:{}^nN\to N$ be […]