Math 2110 Sections 101 & 102 Homepage
News & Announcements
11/24 All that remains are Final Projects!
Final Project Guidelines [Source: (.tex)]
Simple Sample Slides [Source: (.tex)]
Other slide examples:
Some Old Slides [Source: (.tex)] from a talk I gave here.
Beamer Slide Examples
You can do much fancier things in LaTeX slides, but maybe it's not worth the trouble this time around:
Fancy Technical Slides [Source: (.tex)] these won't compile in Overleaf. They are not compatible with "pdfLatex".
SOME of these projects have extra example slides you can download/modify.
I should receive an email with...
(1) A pdf of your "handout"
(2) A pdf of your slides
(3) A link to your video presentation
...no later than noon on Wednesday, December 9th.
11/13 Final homework...yay!
Homework #11 [Source: (.tex)] is due Friday, November 20th.
11/11 Euclidean Algorithm [Source: (.tex)]
11/06 Relations [Source: (.tex)]
Homework #10 [Source: (.tex)] is due Friday, November 13th.
I returned Test #2. Scores were low (because the test was a bit too tough
and a tad too long). So instead of just curving, I've decided to offer
test corrections. You can get a blank copy of the test here.
Rewrite solutions (correctly) and you can get up to half of your missed points
back -- for those with higher scores, I'll offer an extra bonus. So even if you
got a 96, I'll make it worth your time to do corrections. For example: A "40" could
become a "40+(100-40)/2 = 40+30 = 70"!
You can work together. You can ask for help from math lab or me. Please submit corrections
no later than Wednesday, November 18th.
11/05 Final Project Guidelines [Source: (.tex)]
Simple Sample Slides [Source: (.tex)]
Other slide examples:
Some Old Slides [Source: (.tex)] from a talk I gave here.
Beamer Slide Examples
You can do much fancier things in LaTeX slides, but maybe it's not worth the trouble this time around:
Fancy Technical Slides [Source: (.tex)] these won't compile in Overleaf. They are not compatible with "pdfLatex".
11/04 Handouts:
Cantor-Schroder-Bernstein [Source: (.tex)]
Zermelo-Frankel Axiom of Choice Set Theory [Source: (.tex)]
Possibly of interest: Types of Infinity Preprint
10/29 Test #2 is Monday (November 2nd). It covers everything since the last test.
In other words, Test #2 covers Chapter 3, Chapter 4, and 5.1-5.4 plus our handouts:
Function Facts [Source: (.tex)]
Examples of Divergent Sequences [Source: (.tex)]
There are infinitely many primes [Source: (.tex)]
Convex Polygons Induction Example [Source: (.tex)]
plus Homeworks #5-#9: Homework #5, Homework #6, Homework #7, Homework #8, and Homework #9
Don't worry about System E and PA formal stuff. I won't be asking you to do any "fairly-formal"
proof or to compute using PA axioms like at the beginning of Homework #5.
We will discuss more details in class on Friday.
The test will be held in our regular classroom.
Some old Test #2 problems from Math 2510 might be of interest.
[Spring 2010 and 2015's Test #2 problems 1-3 cover relevant material.]
10/28 Cantor-Schroder-Bernstein [Source: (.tex)]
10/23 Homework #9 [Source: (.tex)] is due Friday, October 30th.
10/20 Homework #8 had a typo. Problem 3 should say to prove that A union B equals C (not interesection).
Typo #2 corrected: B should be stuff of the form 8n+4 (not 8n+2).
My Homework #8 grade: FAIL!
10/19 Function Facts [Source: (.tex)]
10/16 Homework #8 [Source: (.tex)] is due Friday, October 23rd.
10/09 Examples of Divergent Sequences [Source: (.tex)]
A quick video about credible sources: Credible Sources (3mins).
Note: It is interesting that mathematical writing often does not fit in with writing in
most other disciplines. We don't tend to have to worry about bias or out of date resources.
We don't even care about whether the author is an "official" expert. We really only care
about whether the text has been vetting via rigorous peer review.
10/07 Homework #7 [Source: (.zip)] is due Wednesday, October 14th.
09/30 Homework #6 [Source: (.tex)] is due Wednesday, October 7th.
09/28 Another handout: There are infinitely many primes [Source: (.tex)]
09/24 I'll hand out copies of this on Friday: Convex Polygons Induction Example [Source: (.tex)]
We discussed this today (Section 102) and yesterday (Section 101), but I thought it might be good
have it written up a little more carefully.
09/23 Homework #5 [Source: (.tex)] is due Wednesday, September 30th.
09/18 Don't forget that Homework #4 [Source: (.tex)] is due Monday.
[I just noticed the typo on that said it was due on a non-existant date!]
Handout from today:
Systems E & PA [Source: (.tex)]
As I mentioned in class, don't take these axiom systems too seriously.
We will be approaching things much less formally from here on.
09/15 Test #1 covering chapters 1 & 2 (homeworks 1-4 material) is tomorrow and Thursday.
Section 101 = Test #1 is Wednesday (tomorrow) at 8am.
Section 102 = Test #2 is Thursday at 8am.
The test will be held in our regular classroom. I plan on giving an approximately 4 page test
where page 1 is drawn from homework 1 material, page 2 from homework 2, etc.
I will provide a copy of Systems L and K Summary Sheet [Source: (.tex)] with each test.
You just need to bring your own self and something to write with! :)
09/11 Homework #4 [Source: (.tex)] is due Monday, September 21st.
Test #1 is next week. I will provide a copy of the following sheet:
Systems L and K Summary Sheet [Source: (.tex)]
09/07 Note: Minor typo on Homework #3 -- fixed (i.e., the end of problem 3 was missing one more ")").
09/02 Homework #3 [Source: (.tex)] is due Friday, September 11th.
Proof System K [Source: (.tex)]
08/28 Today's Overleaf/LaTeX example: Compiled Paper and Source Code: (.tex)
08/26 I plan on discussing LaTeX some today (or tomorrow). We will type up some of the
next homework set using LaTeX. You can do so in a webbrowser using Overleaf.com
Homework #2 [Source: (.tex)] is due Wednesday, September 2nd.
08/21 Proof System L [Source: (.tex)]
The Deduction Theorem [Source: (.tex)]
08/18 Homework #1 [Source: (.tex)] is due Wednesday, August 26th.
My Microsoft Surface Pro did a better job recording. Hopefully that'll work
going forward. I sent out a Zoom link via email this morning.
Our Text: A Primer for Logic and Proof (2015 Edition) by Holly P. Hirst and Jeffry L. Hirst
I also added a link to the bulleted list above. :)
Homework coming soon.
08/17 As mentioned in class, I intend to record the 8am (Section 101) classes on MTWF.
I sent out a link to today's VERY LOW QUALITY recording. Hopefully, I can find a
better method of recording future classes.
08/11 The Math Lab offers free help (tutoring) for our students. Do be aware
that not all tutors have taken MAT 2110. Some might be helpful regarding
this class' material - others not.
From Lisa Maggiore (our Math Lab coordinator):
-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-
Hi All,
The general tutor lab will be offered Sunday-Thursday from 4-7 pm through
Zoom only, beginning Tuesday August 18th. I will forward a schedule of
tutors and their course work as soon as possible. Please note that we are
working to have a tutor for STT 1810/2810/2820 available every hour we are
open.
Here is the link: https://appstate.zoom.us/my/genmatlearninglab
Many thanks to those of you that are continuously kind enough to refer
possible tutor team additions to me.
Please let me know at any time if you have any questions or concerns,
Lisa
-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-
08/10 Syllabus, schedule, suggested homework posted.
Course Data
MAT 2110 Section 101
TECHNIQUES OF PROOF
MTWF 8:00am-8:50am
BLIC 421 GH 119 (i.e., I.G. Greer room 119)
MAT 2110 Section 102
TECHNIQUES OF PROOF
MWF 9:00am-9:50am in LLA 219 GH 119 (i.e., I.G. Greer room 119)
R 8:00am-8:50am in BLIC 421 DH 200 (i.e., L.S. Dougherty 200)
Notes:
I.G. Greer is next to the Roess Dining Hall. We are on the first floor (which
is a little tricky to navigate to). L.S. Dougherty is right up next to the
Plemmons Student Union and is across from I.G. Greer and the Roess Dining Hall.
Our rooms have changed multiple times. Hopefully they won't change again!!!
Any questions about this class?
Send me an email at cookwj@appstate.edu
Course Title & Description:
-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-
A study of methods of proof used in mathematics. Formal proof topics
include propositional calculus, predicate calculus, and several first
order theories. Informal proof topics are drawn from number theory,
set theory, and other areas of mathematics. Additional topics include
introductions to writing mathematics, searching for mathematical
content and sources, and careers in mathematics.
Prerequisite: MAT 1120 or permission of the instructor.
-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-