It is aimed at MSc and PhD students in Mathematics, and will assume standard undergraduate mathematical background, such as familiarity with linear algebra, groups and rings. No programming background is required, but an interest in learning about computers is a necessity.

This web page will be updated closer to the start of the semester.

**Instructor:**Dan Christensen**E-mail:**jdc@uwo.ca**Office:**Middlesex 103b.**Office Phone:**661-2111 x86530.**Office Hours:**TBA**Class times and location:**TBA.**Prerequisites:**No official prerequisites, but see the statement above.

A tentative list of possible topics is:

- Linear algebra and homology computations
- Group theory and GAP
- Grobner bases
- Number theory and cryptography
- P vs NP, complexity theory and computability
- The lambda calculus
- Intuitionistic logic and the Coq proof assistant
- Software that may be used: Sage, GAP, Maple, python, Coq, and more.
- Software development topics: efficiency, data structures, numerical stability, common pitfalls, version control.

**Text:** There is no textbook for the course, but I will
add recommended references later.

**Homework:** Problem sets will be due roughly every 1.5 weeks,
and will often involve software.
Doing problems and talking about the
material are both essential for learning the material in this course,
so you are encouraged to **discuss**
the problems with classmates and with me.
But you must write up the solutions **on your own** and must not
look at other students' written solutions nor should you attempt to
find solutions to problems online or in textbooks.
Your solutions should be **clear** and **carefully written** and
you should give **credit** to
those who helped you and to any references you used.
Homework will be graded based on both correctness and clarity.
Late problem sets will not be accepted unless arranged in advance
for a good reason.

**Copying solutions** from other students, online sources,
textbooks, etc., or showing your work to other students
constitutes a scholastic offense and will result
in a grade of **negative 100%** for the assignment and in some cases
expulsion from the program.
All academic offenses are added to your student record.

** Presentations:** In the second half of the semester,
each student will give a presentation on a topic related to the course.
A list of potential topics will be posted later.

**Evaluation:** Evaluation will be based upon homework,
presentations and possibly a final exam.

**Scholastic offences:** Scholastic offences are taken
seriously and students are directed to read the appropriate policy,
specifically, the definition of what constitutes a Scholastic Offence,
at the following Web site:
http://www.uwo.ca/univsec/handbook/appeals/scholastic_discipline_grad.pdf