Policies
This page contains all the essential policies for the course.
Basic facts
The lecturer for the first semester is Paul Johnson. Email paul.johnson@sheffield.ac.uk, Office Hicks J6b. The second semester lecturer is Evgeny Shinder.
Lectures are in the Hicks building, Thursday at 2 in Lecture Theatre C, and Thursday at 4 in F28. It’s slightly awkward to have both lectures so close together; I’m going to experiment with having informal office hours in a coffeeshop in the hour in between.
Office hours are currently scheduled for:

They may change with input from the class later in the semester. Always feel free to ask questions during or after class, in an email, or to set up a time to chat in person.
Marking
There is no exam for this module. Instead, there will be weekly assessed problem sets.
Problem sets will be assigned in lecture every week, and will be due the next week at the beginning of the first lecture. You can email the problem sets to me before lecture starts, hand a paper copy in at the beginning of lecture, or slip it under my door before lecture starts.
You are allowed, and in fact encouraged, to meet in small groups to discuss the course, including the problem sets. Working with friends is a great way to learn and is usually more fun. ``Small’’ here means two or three people; larger groups are not allowed, as it becomes too easy to just listen and not contribute.
Every student must hand in their own solutions, and the group shouldn’t ``write up’’ the proofs together. On the front of each problem set put your name, a list of the members of your group that you worked with the problems on, and your registration number.
What’s allowed to be done on the group?
Doing mathematics typically has two parts: the informal ``what is even going on here?’’ way we work in our heads, and the formal proofs and definitions that we read and write. We are constantly going back and forth between these, and solving a problem set will typically involve
 Digesting the formal statement of the problem into an informal
 Coming up with an informal solution
 Refining that informal solution into a formal, written proof
The first two steps are what can be down with your group, the third step should be done alone. Obviously, the steps blend together some and separating the exact line is not really feasible. But you should not be discussing the linebyline organization of the proof together, or sitting next to each other and asking questions as you write up the proof.
Writing proofs
I recommend latexing your assignments, but this is not required. A previous incarnation of the course had the following handout, which has some useful discussion of writing proofs. We will take time to have discussions about writing proofs as the course continues.
Proofs are not perfect platonic objects living in a vacuum, they are social constructs that are a form of communication. As such, neatness and style are important and will be evaluated.