Instructor: Florent Baudier
Office: Blocker 525J
Office hours: T 10:30 a.m.-noon or by appointment
Term Paper Instructions
| Tasks | Suggested deadline |
| #1 | Download a LaTeX distribution that is compatible with your operating system. I strongly recommend that you use TexShop if you are a Mac user or TexWorks if your are working with Windows. Type your first LaTeX document with a title ''Term Paper of Firstname Lastname'' and a first section ''Mathematical Logic'' and try to familiarize yourself with the software (helpful tutorials, Wikibook LaTeX). | Friday 09/02 |
| #2 | In your section called Mathematical Logic draw the truth table of the following logical connective: negation, conjunction, disjunction, implication. Make sure that your tables have a caption and are centered.
| Friday 09/09 |
| #3 | In your section called Mathematical Logic: First recall the two DeMorgan Laws. then, state the following exercise and provide a solution.
Exercise: Are the statement forms P∨((Q∧R)∨ S) and ¬((¬ P)∧(¬(Q∧ R)∧ (¬ S))) logically equivalent?
| Friday 09/16 |
| #4 | This assignment must be turned in. By Friday September 23, 8am you must upload in Canvas two files: the .tex file and the .pdf file.
The names of the files must be of the following form: yourlastname_draft1.tex and yourlastname_draft1.pdf. You must turn in a printed copy of your PDF file in my mailbox (Blocker 3rd floor) by Friday September 23, 8am | Friday 09/27 |
| #5 | Create a section called Principle of Mathematical Induction. In this section you will prove that the principle of mathematical induction is equivalent to the principle of strong mathematical induction. More precisely you need to provide a proof for the following two statements:
1. The principle of mathematical induction implies the principle of strong mathematical induction.
2. The principle of strong mathematical induction implies the principle of mathematical induction. This assignment must be turned in (by the deadline indicated) according the same procedure as before. | Friday 10/14, noon |
| #6 |
Create a new section called "A soft introduction to topology". In this section reproduce the template for the project on a soft introduction to topology. Provide a solution for all the exercises in the template. This assignment must be turned in (by the deadline indicated) according to the same procedure as before,
| Friday 11/11, noon |
#7 | Create a new section called "A soft introduction to measure theory". In this section reproduce the template for the project on a soft introduction to measure theory. Provide a solution for all the exercises in the template. This assignment must be turned in (by the deadline indicated) according to the same procedure as before.
| Friday 11/18, noon |
#8 |
Create a new section called "A soft introduction to cardinality theory". In this section reproduce the template for the project on a soft introduction to cardinality theory. Provide a solution for all the exercises in the template. This assignment must be submitted through Canvas (by the deadline indicated) according to the same procedure as before. You do not have to print a copy of your darft anymore.
| Monday 12/02, noon |